/* ─── geometrie.css — Thème : Épure architecturale, plan géométrique ──────── */
@import url('https://fonts.googleapis.com/css2?family=Raleway:ital,wght@0,200;0,300;0,400;0,600;0,700;1,300&family=Source+Serif+4:ital,opsz,wght@0,8..60,300;0,8..60,400;1,8..60,300&family=Roboto+Mono:wght@400;500&display=swap');

:root {
  --white:       #ffffff;
  --off-white:   #f8fafc;
  --gray-50:     #f1f5f9;
  --gray-100:    #e2e8f0;
  --gray-200:    #cbd5e1;
  --ink:         #0f172a;
  --ink-mid:     #334155;
  --ink-light:   #64748b;
  --teal:        #0f766e;
  --teal-2:      #0d9488;
  --teal-pale:   #f0fdfa;
  --teal-mid:    #ccfbf1;
  --slate:       #1e293b;
  --amber:       #b45309;
  --amber-pale:  #fffbeb;
  --violet:      #4c1d95;
  --violet-pale: #f5f3ff;
  --rose:        #be185d;
  --rose-pale:   #fff1f2;
  --border:      #e2e8f0;
  --font-display:'Raleway', sans-serif;
  --font-body:   'Source Serif 4', Georgia, serif;
  --font-mono:   'Roboto Mono', monospace;
  --sidebar-w:   260px;
  --radius:      8px;
}

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

body {
  font-family: var(--font-body);
  background: var(--white);
  color: var(--ink);
  font-size: 16.5px;
  line-height: 1.75;
  /* Blueprint-style dot grid */
  background-image: radial-gradient(circle, var(--gray-200) 1px, transparent 1px);
  background-size: 28px 28px;
  background-attachment: fixed;
}

/* ─── Progress bar ───────────────────────────────────────────────────────── */
.progress-bar {
  position:fixed; top:0; left:0; height:3px; width:0%;
  background: linear-gradient(90deg, var(--teal), var(--teal-2));
  z-index:200; transition:width .08s linear;
  box-shadow: 0 1px 4px rgba(15,118,110,.4);
}

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

/* ─── Sidebar ────────────────────────────────────────────────────────────── */
.sidebar {
  width:var(--sidebar-w); flex-shrink:0;
  background:var(--white);
  border-right:1px solid var(--border);
  position:sticky; top:0; height:100vh;
  overflow-y:auto; display:flex; flex-direction:column;
  scrollbar-width:thin; scrollbar-color:var(--gray-200) transparent;
  /* Double border accent */
  box-shadow: inset -4px 0 0 var(--teal);
}

.sidebar-header {
  padding:30px 22px 20px; border-bottom:1px solid var(--border);
  background:var(--off-white);
}

.sidebar-site-link {
  font-family:var(--font-display); font-size:.62rem; letter-spacing:.2em;
  text-transform:uppercase; font-weight:600;
  color:var(--teal-2); text-decoration:none; display:block; margin-bottom:12px;
}

.sidebar-title {
  font-family:var(--font-display); font-size:1.3rem; font-weight:700;
  color:var(--ink); letter-spacing:.03em; text-transform:uppercase;
}

.sidebar-title span { color:var(--teal); }

.toc-nav { padding:12px 0 16px; flex:1; }

.toc-section-label {
  font-family:var(--font-display); font-size:.58rem; letter-spacing:.2em;
  text-transform:uppercase; font-weight:600;
  color:var(--ink-light); padding:10px 22px 4px;
}

.toc-link {
  display:block; padding:5px 22px 5px 26px;
  font-family:var(--font-display); font-size:.78rem; font-weight:400;
  color:var(--ink-mid); text-decoration:none;
  border-left:2px solid transparent; transition:all .15s;
}

.toc-link:hover { color:var(--teal); border-left-color:var(--teal); background:var(--teal-pale); }
.toc-link.active { color:var(--teal); border-left-color:var(--teal); font-weight:600; background:var(--teal-pale); }

.sidebar-subject-nav { padding:14px 22px; border-top:1px solid var(--border); background:var(--off-white); }
.sidebar-subject-nav p { font-family:var(--font-display); font-size:.58rem; letter-spacing:.2em; text-transform:uppercase; font-weight:600; color:var(--ink-light); margin-bottom:8px; }
.sidebar-subject-nav a { display:block; font-family:var(--font-display); font-size:.78rem; color:var(--ink-light); text-decoration:none; padding:3px 0; transition:color .15s; }
.sidebar-subject-nav a:hover { color:var(--teal); }
.sidebar-subject-nav a.current { color:var(--teal); font-weight:600; }

/* ─── Main ───────────────────────────────────────────────────────────────── */
.main { flex:1; min-width:0; padding:0 60px 100px; max-width:860px; background:white; }

/* ─── Header ─────────────────────────────────────────────────────────────── */
.page-header {
  padding:60px 0 40px; margin-bottom:52px;
  border-bottom:1px solid var(--border);
  position:relative;
}

.subject-tag {
  font-family:var(--font-display); font-size:.65rem; letter-spacing:.25em;
  text-transform:uppercase; font-weight:700;
  color:var(--teal); margin-bottom:16px;
}

h1.page-title {
  font-family:var(--font-display); font-size:3.4rem; font-weight:700;
  color:var(--ink); line-height:1.0; letter-spacing:-.01em;
  text-transform:uppercase;
}

.page-intro {
  margin-top:18px; font-size:1rem; color:var(--ink-mid);
  font-style:italic; max-width:540px; font-family:var(--font-body);
}

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

h2.section-title {
  font-family:var(--font-display); font-size:1.5rem; font-weight:700;
  color:var(--ink); text-transform:uppercase; letter-spacing:.05em;
  margin-bottom:24px; padding-bottom:12px;
  border-bottom:1px solid var(--border);
  display:flex; align-items:center; gap:14px;
}

h2.section-title .num {
  font-size:.7rem; color:white; font-weight:700;
  background:var(--teal); padding:3px 9px; border-radius:4px;
  letter-spacing:.1em; font-family:var(--font-mono);
}

h3.sub-title {
  font-family:var(--font-display); font-size:1rem; font-weight:700;
  color:var(--teal); margin:32px 0 12px; text-transform:uppercase;
  letter-spacing:.08em;
}

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

/* ─── Boxes ──────────────────────────────────────────────────────────────── */
.box {
  padding:16px 20px 14px; margin:20px 0;
  border-radius:var(--radius);
  border:1px solid var(--border);
  position:relative;
}

.box::after {
  content:''; position:absolute; top:8px; right:8px;
  width:6px; height:6px; border-radius:50%;
  background:currentColor; opacity:.3;
}

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

.box.def       { background:var(--teal-pale); border-color:var(--teal-2); }
.box.def::after { color:var(--teal); }
.box.def .box-label   { color:var(--teal); }

.box.theorem   { background:var(--amber-pale); border-color:var(--amber); }
.box.theorem::after { color:var(--amber); }
.box.theorem .box-label { color:var(--amber); }

.box.prop      { background:var(--violet-pale); border-color:var(--violet); }
.box.prop::after { color:var(--violet); }
.box.prop .box-label   { color:var(--violet); }

.box.corollary { background:var(--rose-pale); border-color:var(--rose); }
.box.corollary::after { color:var(--rose); }
.box.corollary .box-label { color:var(--rose); }

.box.example   { background:var(--teal-mid); border-color:var(--teal-2); }
.box.example::after { color:var(--teal); }
.box.example .box-label  { color:var(--teal); }

.box.remark    { background:var(--gray-50); border-color:var(--gray-200); }
.box.remark::after { color:var(--ink-light); }
.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-size:.7rem; font-weight:600; letter-spacing:.1em;
  text-transform:uppercase; color:var(--teal); border:1px solid var(--teal);
  padding:5px 14px; border-radius:var(--radius); cursor:pointer;
  background:transparent; margin-top:8px; transition:all .15s; user-select:none;
}
.proof-toggle:hover { background:var(--teal); color:white; }
.proof-toggle .arrow { transition:transform .2s; }
.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;
  background:var(--gray-50); border:1px solid var(--border);
  border-radius:var(--radius); color:var(--ink-mid); font-size:.92rem; font-style:italic;
}

.qed { float:right; color:var(--teal); font-family:var(--font-display); font-size:1rem; font-weight:700; font-style:normal; }

/* ─── Formula ────────────────────────────────────────────────────────────── */
.formula-block {
  text-align:center; padding:20px 16px; margin:18px 0;
  background:var(--off-white); border:1px solid var(--border);
  border-radius:var(--radius); overflow-x:auto;
  box-shadow:0 1px 3px rgba(0,0,0,.04);
}

/* ─── Table ──────────────────────────────────────────────────────────────── */
.math-table { width:100%; border-collapse:collapse; margin:18px 0; font-size:.91rem; border-radius:var(--radius); overflow:hidden; box-shadow:0 1px 4px rgba(0,0,0,.06); }

.math-table th {
  background:var(--slate); color:#fff; padding:10px 16px;
  text-align:left; font-family:var(--font-display); font-size:.75rem;
  font-weight:700; text-transform:uppercase; letter-spacing:.1em;
}

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

/* ─── Code ───────────────────────────────────────────────────────────────── */
code { font-family:var(--font-mono); font-size:.82em; background:var(--teal-pale); color:var(--teal); padding:2px 6px; border-radius:4px; border:1px solid var(--teal-mid); }

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

/* ─── Mobile ─────────────────────────────────────────────────────────────── */
.mobile-header { display:none; position:sticky; top:0; z-index:50; background:var(--teal); 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:.9rem; font-weight:700; text-transform:uppercase; letter-spacing:.1em; 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,.45); }
.drawer-panel { position:relative; z-index:1; width:260px; background:var(--white); height:100%; overflow-y:auto; padding:16px 0; border-right:4px solid var(--teal); }

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