/* ─── probabilites.css — Thème : Cosmos probabiliste, espace profond ──────── */
@import url('https://fonts.googleapis.com/css2?family=DM+Sans:ital,opsz,wght@0,9..40,300;0,9..40,400;0,9..40,500;0,9..40,700;1,9..40,300&family=Newsreader:ital,opsz,wght@0,6..72,300;0,6..72,400;1,6..72,300;1,6..72,400&family=JetBrains+Mono:ital,wght@0,400;0,500;1,400&display=swap');

:root {
  --void:        #07070f;
  --deep:        #0e0e1e;
  --surface:     #13132a;
  --surface-2:   #1a1a35;
  --surface-3:   #222242;
  --border:      rgba(140,120,255,.15);
  --border-hi:   rgba(140,120,255,.4);
  --ink:         #e8e4ff;
  --ink-mid:     #9990cc;
  --ink-dim:     #554e88;
  --violet:      #9b6dff;
  --violet-2:    #7c3aed;
  --violet-glow: rgba(124,58,237,.2);
  --violet-pale: rgba(124,58,237,.08);
  --cyan:        #22d3ee;
  --cyan-glow:   rgba(34,211,238,.15);
  --emerald:     #34d399;
  --emerald-pale:rgba(52,211,153,.08);
  --amber:       #fbbf24;
  --amber-pale:  rgba(251,191,36,.08);
  --rose:        #fb7185;
  --rose-pale:   rgba(251,113,133,.08);
  --font-display:'DM Sans', sans-serif;
  --font-body:   'Newsreader', Georgia, serif;
  --font-mono:   'JetBrains Mono', monospace;
  --sidebar-w:   268px;
  --radius:      8px;
}

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

body {
  font-family: var(--font-body);
  background: var(--void);
  color: var(--ink);
  font-size: 17px;
  line-height: 1.78;
  /* Starfield: scattered dots */
  background-image:
    radial-gradient(circle at 20% 30%, rgba(124,58,237,.07) 0, transparent 50%),
    radial-gradient(circle at 80% 70%, rgba(34,211,238,.05) 0, transparent 40%),
    radial-gradient(1px 1px at 10% 20%, rgba(255,255,255,.4) 0, transparent 1px),
    radial-gradient(1px 1px at 40% 80%, rgba(255,255,255,.3) 0, transparent 1px),
    radial-gradient(1px 1px at 60% 15%, rgba(255,255,255,.35) 0, transparent 1px),
    radial-gradient(1px 1px at 85% 50%, rgba(255,255,255,.25) 0, transparent 1px),
    radial-gradient(1px 1px at 30% 60%, rgba(255,255,255,.3) 0, transparent 1px),
    radial-gradient(1px 1px at 70% 40%, rgba(255,255,255,.2) 0, transparent 1px);
  background-attachment: fixed;
}

/* ─── Progress bar ───────────────────────────────────────────────────────── */
.progress-bar {
  position:fixed; top:0; left:0; height:2px; width:0%;
  background: linear-gradient(90deg, var(--violet), var(--cyan));
  z-index:200; transition:width .08s linear;
  box-shadow: 0 0 10px var(--violet), 0 0 20px var(--violet-glow);
}

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

/* ─── Sidebar ────────────────────────────────────────────────────────────── */
.sidebar {
  width:var(--sidebar-w); flex-shrink:0;
  background:var(--deep);
  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(--surface-3) transparent;
}

.sidebar-header {
  padding:30px 22px 20px;
  border-bottom:1px solid var(--border);
  background: linear-gradient(180deg, var(--surface) 0%, var(--deep) 100%);
}

.sidebar-site-link {
  font-family:var(--font-mono); font-size:.6rem; letter-spacing:.15em;
  color:var(--ink-dim); 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); line-height:1.2;
}

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

/* Subtle orbit icon */
.sidebar-title::after {
  content:' ∿'; color:var(--cyan); font-size:.9rem;
}

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

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

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

.toc-link:hover,
.toc-link.active {
  color:var(--violet); border-left-color:var(--violet); background:var(--violet-pale);
}

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

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

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

/* Violet glow under title */
.page-header::after {
  content:''; position:absolute; bottom:0; left:0;
  width:200px; height:1px;
  background:linear-gradient(90deg, var(--violet), transparent);
  box-shadow: 0 0 12px var(--violet-glow);
}

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

h1.page-title {
  font-family:var(--font-display); font-size:3.4rem; font-weight:700;
  color:var(--ink); line-height:1.05; letter-spacing:-.02em;
  text-shadow: 0 0 40px var(--violet-glow);
}

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

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

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

h2.section-title .num {
  font-family:var(--font-mono); font-size:.72rem; color:var(--violet);
  background:var(--violet-pale); border:1px solid var(--border-hi);
  padding:3px 10px; border-radius:20px; font-weight:400;
  box-shadow:0 0 8px var(--violet-glow);
}

h3.sub-title {
  font-family:var(--font-display); font-size:1.2rem; font-weight:600;
  color:var(--violet); margin:32px 0 14px;
}

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

/* ─── Boxes ──────────────────────────────────────────────────────────────── */
.box {
  padding:18px 22px 16px; margin:20px 0;
  border-radius:var(--radius);
  border:1px solid var(--border);
  background:var(--surface);
  position:relative;
  backdrop-filter:blur(4px);
}

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

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

.box.theorem   { background:var(--amber-pale); border-color:rgba(251,191,36,.3); }
.box.theorem .box-label { color:var(--amber); }

.box.prop      { background:var(--cyan-glow); border-color:rgba(34,211,238,.25); }
.box.prop .box-label   { color:var(--cyan); }

.box.corollary { background:var(--rose-pale); border-color:rgba(251,113,133,.25); }
.box.corollary .box-label { color:var(--rose); }

.box.example   { background:var(--emerald-pale); border-color:rgba(52,211,153,.25); }
.box.example .box-label  { color:var(--emerald); }

.box.remark    { background:var(--surface-2); border-color:var(--border); }
.box.remark .box-label   { color:var(--ink-mid); }

/* ─── Proof ──────────────────────────────────────────────────────────────── */
.proof-toggle {
  display:inline-flex; align-items:center; gap:6px;
  font-family:var(--font-mono); font-size:.7rem; letter-spacing:.08em;
  color:var(--violet); border:1px solid var(--border-hi);
  padding:5px 14px; border-radius:20px; cursor:pointer;
  background:transparent; margin-top:8px; transition:all .18s; user-select:none;
}
.proof-toggle:hover { background:var(--violet); color:#fff; border-color:var(--violet); box-shadow:0 0 12px var(--violet-glow); }
.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(--surface-2); border:1px dashed var(--border);
  border-radius:var(--radius); color:var(--ink-mid); font-size:.93rem; font-style:italic;
}

.qed { float:right; color:var(--violet); font-family:var(--font-mono); font-size:.9rem; font-style:normal; }

/* ─── Formula ────────────────────────────────────────────────────────────── */
.formula-block {
  text-align:center; padding:22px 16px; margin:18px 0;
  background:var(--surface); border:1px solid var(--border);
  border-radius:var(--radius); overflow-x:auto;
  box-shadow: 0 0 20px rgba(124,58,237,.05), inset 0 1px 0 rgba(255,255,255,.03);
}

/* ─── Table ──────────────────────────────────────────────────────────────── */
.math-table { width:100%; border-collapse:collapse; margin:18px 0; font-size:.9rem; border-radius:var(--radius); overflow:hidden; }

.math-table th {
  background:var(--surface-3); color:var(--ink); padding:10px 16px;
  text-align:left; font-family:var(--font-display); font-size:.8rem; font-weight:700;
  border-bottom:1px solid var(--border-hi);
}

.math-table td { padding:9px 16px; border-bottom:1px solid var(--border); vertical-align:top; }
.math-table tr:hover td { background:var(--violet-pale); }
.math-table td:first-child { font-family:var(--font-mono); font-size:.82rem; color:var(--violet); }

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

/* ─── 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(--deep); border-bottom:1px solid var(--border); padding:12px 18px; align-items:center; justify-content:space-between; }
.mobile-menu-btn { background:none; border:none; color:var(--ink); font-size:1.3rem; cursor:pointer; }
.mobile-title { font-family:var(--font-display); font-size:1rem; font-weight:700; color:var(--violet); }
.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,.7); }
.drawer-panel { position:relative; z-index:1; width:268px; background:var(--deep); height:100%; overflow-y:auto; padding:16px 0; border-right:1px solid var(--border); }

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