/* ─── calcul_differentiel.css — Thème : Revue d'analyse, éditorial raffiné ─ */
@import url('https://fonts.googleapis.com/css2?family=Playfair+Display:ital,wght@0,400;0,600;0,700;0,900;1,400;1,600&family=Lora:ital,wght@0,400;0,500;0,600;1,400;1,500&family=DM+Mono:ital,wght@0,400;0,500;1,400&display=swap');

:root {
  --cream:       #fffdf8;
  --cream-2:     #f8f4ed;
  --cream-3:     #f0ead8;
  --ink:         #1a0a08;
  --ink-mid:     #4a2020;
  --ink-light:   #8a6060;
  --crimson:     #8b1c26;
  --crimson-2:   #c0392b;
  --crimson-pale:#fff0f0;
  --crimson-mid: #fde8e8;
  --gold:        #c9922a;
  --gold-pale:   #fdf6e8;
  --sage:        #2a5a3a;
  --sage-pale:   #e8f4ec;
  --indigo:      #2c3e7a;
  --indigo-pale: #eef0fb;
  --border:      #e0d0c8;
  --font-display:'Playfair Display', Georgia, serif;
  --font-body:   'Lora', Georgia, serif;
  --font-mono:   'DM Mono', monospace;
  --sidebar-w:   268px;
}

*,*::before,*::after { box-sizing:border-box; margin:0; padding:0; }
html { scroll-behavior:smooth; }

body {
  font-family: var(--font-body);
  background: var(--cream);
  color: var(--ink);
  font-size: 17px;
  line-height: 1.8;
}

/* ─── Progress bar ───────────────────────────────────────────────────────── */
.progress-bar {
  position:fixed; top:0; left:0; height:4px; width:0%;
  background: var(--crimson);
  z-index:200; transition:width .08s linear;
}

/* ─── Layout ─────────────────────────────────────────────────────────────── */
.page-layout { display:flex; min-height:100vh; }

/* ─── Sidebar ────────────────────────────────────────────────────────────── */
.sidebar {
  width:var(--sidebar-w); flex-shrink:0;
  background:var(--crimson);
  position:sticky; top:0; height:100vh;
  overflow-y:auto; display:flex; flex-direction:column;
  scrollbar-width:thin; scrollbar-color:rgba(255,255,255,.15) transparent;
}

.sidebar-header {
  padding:34px 24px 22px;
  border-bottom:1px solid rgba(255,255,255,.1);
}

.sidebar-site-link {
  font-family:var(--font-mono); font-size:.62rem; letter-spacing:.2em;
  color:rgba(255,255,255,.4); text-decoration:none; display:block; margin-bottom:12px;
}

.sidebar-title {
  font-family:var(--font-display); font-size:1.5rem; font-weight:700;
  color:#fff; line-height:1.2;
}

.toc-nav { padding:14px 0 18px; flex:1; }

.toc-section-label {
  font-family:var(--font-mono); font-size:.58rem; letter-spacing:.2em;
  text-transform:uppercase; color:rgba(255,255,255,.35); padding:10px 24px 4px;
}

.toc-link {
  display:block; padding:5px 24px 5px 28px;
  font-family:var(--font-body); font-size:.88rem;
  color:rgba(255,255,255,.6); text-decoration:none;
  border-left:2px solid transparent; transition:all .18s;
}

.toc-link:hover,
.toc-link.active { color:#fff; border-left-color:rgba(255,255,255,.8); background:rgba(0,0,0,.15); }
.toc-link.active { color:#ffe4e4; border-left-color:#ffe4e4; }

.sidebar-subject-nav { padding:16px 24px; border-top:1px solid rgba(255,255,255,.08); }
.sidebar-subject-nav p { font-family:var(--font-mono); font-size:.58rem; letter-spacing:.15em; text-transform:uppercase; color:rgba(255,255,255,.25); margin-bottom:8px; }
.sidebar-subject-nav a { display:block; font-family:var(--font-body); font-size:.86rem; color:rgba(255,255,255,.45); text-decoration:none; padding:3px 0; transition:color .15s; }
.sidebar-subject-nav a:hover { color:#fff; }
.sidebar-subject-nav a.current { color:#ffe4e4; font-style:italic; }

/* ─── Main ───────────────────────────────────────────────────────────────── */
.main { flex:1; min-width:0; padding:0 64px 100px; max-width:840px; }

/* ─── Header ─────────────────────────────────────────────────────────────── */
.page-header {
  padding:60px 0 44px; margin-bottom:54px;
  position:relative;
}

/* Large crimson rule */
.page-header::before {
  content:''; position:absolute;
  left:-64px; top:0; width:8px; height:100%;
  background:var(--crimson);
}

.subject-tag {
  font-family:var(--font-mono); font-size:.65rem; letter-spacing:.22em;
  text-transform:uppercase; color:var(--crimson); margin-bottom:14px;
}

h1.page-title {
  font-family:var(--font-display); font-size:3.6rem; font-weight:900;
  color:var(--ink); line-height:1.0; letter-spacing:-.02em;
}

.page-intro {
  margin-top:20px; font-size:1.1rem; color:var(--ink-mid);
  font-style:italic; max-width:560px; line-height:1.65;
}

/* ─── Sections ───────────────────────────────────────────────────────────── */
.section { margin-bottom:68px; scroll-margin-top:30px; }

h2.section-title {
  font-family:var(--font-display); font-size:2rem; font-weight:700;
  color:var(--ink); margin-bottom:24px;
  display:flex; align-items:baseline; gap:14px;
  padding-bottom:12px; border-bottom:2px solid var(--crimson);
}

h2.section-title .num {
  font-size:.9rem; color:var(--crimson); font-style:italic; font-weight:400;
}

h3.sub-title {
  font-family:var(--font-display); font-size:1.4rem; font-weight:600;
  color:var(--crimson); margin:34px 0 14px; font-style:italic;
}

p { margin-bottom:.95em; }
ul,ol { padding-left:1.5em; margin-bottom:.9em; }
li { margin-bottom:.3em; }

/* ─── Boxes ──────────────────────────────────────────────────────────────── */
.box { padding:18px 22px 16px; margin:22px 0; border-radius:3px; }

.box-label {
  font-family:var(--font-display); font-size:.75rem; font-weight:700;
  letter-spacing:.12em; text-transform:uppercase; display:block; margin-bottom:8px;
}

.box.def       { background:var(--crimson-pale); border-left:5px solid var(--crimson); }
.box.def .box-label   { color:var(--crimson); }

.box.theorem   { background:var(--gold-pale); border-left:5px solid var(--gold); border-top:1px solid #e8d090; }
.box.theorem .box-label { color:var(--gold); }

.box.prop      { background:var(--indigo-pale); border-left:5px solid var(--indigo); }
.box.prop .box-label   { color:var(--indigo); }

.box.corollary { background:var(--crimson-mid); border-left:5px solid #e05060; }
.box.corollary .box-label { color:#c0392b; }

.box.example   { background:var(--sage-pale); border-left:5px solid var(--sage); }
.box.example .box-label  { color:var(--sage); }

.box.remark    { background:var(--cream-2); border-left:5px solid var(--border); }
.box.remark .box-label   { color:var(--ink-light); }

/* ─── Proof ──────────────────────────────────────────────────────────────── */
.proof-toggle {
  display:inline-flex; align-items:center; gap:6px;
  font-family:var(--font-display); font-style:italic; font-size:.88rem;
  color:var(--crimson); border:1px solid var(--crimson);
  padding:4px 14px; border-radius:2px; cursor:pointer;
  background:transparent; margin-top:8px; transition:all .18s; user-select:none;
}
.proof-toggle:hover { background:var(--crimson); color:#fff; }
.proof-toggle .arrow { transition:transform .2s; font-style:normal; }
.proof-toggle.open .arrow { transform:rotate(90deg); }

.proof-content { max-height:0; overflow:hidden; transition:max-height .3s ease; }
.proof-content.open { max-height:900px; }

.proof-inner {
  margin-top:12px; padding:14px 18px; font-style:italic;
  background:var(--cream-2); border:1px dashed var(--border);
  border-radius:2px; color:var(--ink-mid); font-size:.96rem;
}

.qed { float:right; font-family:var(--font-display); font-size:1.1rem; font-style:normal; }

/* ─── Formula ────────────────────────────────────────────────────────────── */
.formula-block {
  text-align:center; padding:22px 16px; margin:18px 0;
  background:#fff; border:1px solid var(--border); border-top:3px solid var(--crimson);
  border-radius:0 0 3px 3px; overflow-x:auto;
  box-shadow:0 2px 8px rgba(139,28,38,.06);
}

/* ─── Table ──────────────────────────────────────────────────────────────── */
.math-table { width:100%; border-collapse:collapse; margin:18px 0; font-size:.93rem; }

.math-table th {
  background:var(--crimson); color:#fff; padding:10px 16px;
  text-align:left; font-family:var(--font-display); font-size:.95rem;
}

.math-table td { padding:9px 16px; border-bottom:1px solid var(--border); vertical-align:top; }
.math-table tr:nth-child(even) td { background:var(--cream-2); }
.math-table td:first-child { font-family:var(--font-mono); font-size:.83rem; color:var(--crimson); }

/* ─── Code ───────────────────────────────────────────────────────────────── */
code { font-family:var(--font-mono); font-size:.82em; background:var(--cream-3); color:var(--crimson); padding:2px 6px; border-radius:2px; }

/* ─── Two col ────────────────────────────────────────────────────────────── */
.two-col { display:grid; grid-template-columns:1fr 1fr; gap:16px; margin:14px 0; }
.two-col .box { margin:0; }

/* ─── Mobile ─────────────────────────────────────────────────────────────── */
.mobile-header { display:none; position:sticky; top:0; z-index:50; background:var(--crimson); padding:12px 18px; align-items:center; justify-content:space-between; }
.mobile-menu-btn { background:none; border:none; color:#fff; font-size:1.3rem; cursor:pointer; }
.mobile-title { font-family:var(--font-display); font-size:1.1rem; color:#fff; }
.mobile-drawer { display:none; position:fixed; inset:0; z-index:100; }
.mobile-drawer.open { display:flex; }
.drawer-overlay { position:absolute; inset:0; background:rgba(0,0,0,.5); }
.drawer-panel { position:relative; z-index:1; width:268px; background:var(--crimson); height:100%; overflow-y:auto; padding:16px 0; }

@media (max-width:960px) {
  .sidebar { display:none; }
  .mobile-header { display:flex; }
  .main { padding:0 24px 70px; }
  .main .page-header::before { display:none; }
  h1.page-title { font-size:2.5rem; }
  .two-col { grid-template-columns:1fr; }
}