/* ─── pib.css — Thème : Dashboard statistique, teal limpide, données ──────── */
@import url('https://fonts.googleapis.com/css2?family=Plus+Jakarta+Sans:ital,wght@0,300;0,400;0,500;0,600;0,700;0,800;1,300;1,400&family=Spectral:ital,wght@0,300;0,400;0,600;1,300;1,400&family=Ubuntu+Mono:ital,wght@0,400;0,700;1,400&display=swap');

:root {
  --white:#ffffff; --gray-25:#f9fbfc; --gray-50:#f2f7f7; --gray-100:#deeaea;
  --gray-200:#b8d4d4; --gray-400:#70a0a0; --ink:#061414; --ink-mid:#1e4040; --ink-light:#50808080;
  --teal:#0f766e; --teal-2:#0d9488; --teal-3:#14b8a6; --teal-pale:#f0fdfa;
  --teal-mid:#99f6e4; --teal-glow:rgba(15,118,110,.15);
  --blue:#1e40af; --blue-pale:#eff6ff; --blue-mid:#bfdbfe;
  --amber:#b45309; --amber-pale:#fffbeb;
  --rose:#be123c; --rose-pale:#fff1f2;
  --violet:#6d28d9; --vi-pale:#f5f3ff;
  --green:#166534; --green-pale:#f0fdf4;
  --border:#cce8e4; --shadow:0 1px 3px rgba(15,118,110,.07);
  --font-display:'Plus Jakarta Sans',sans-serif;
  --font-body:'Spectral',Georgia,serif;
  --font-mono:'Ubuntu Mono',monospace;
  --sidebar-w:263px; --radius:10px;
}
*,*::before,*::after{box-sizing:border-box;margin:0;padding:0;}
html{scroll-behavior:smooth;}

body{font-family:var(--font-body);background:var(--gray-25);color:var(--ink);font-size:17px;line-height:1.78;}

.progress-bar{position:fixed;top:0;left:0;height:3px;width:0%;background:linear-gradient(90deg,var(--teal),var(--teal-3));z-index:200;transition:width .08s linear;box-shadow:0 1px 6px var(--teal-glow);}

.page-layout{display:flex;min-height:100vh;}

.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-100) transparent;
  box-shadow:inset -3px 0 0 var(--teal-2);
}
.sidebar-header{padding:28px 20px 20px;border-bottom:1px solid var(--border);}
.sidebar-site-link{font-family:var(--font-display);font-size:.62rem;font-weight:700;letter-spacing:.2em;text-transform:uppercase;color:var(--teal-2);text-decoration:none;display:block;margin-bottom:10px;}
.sidebar-title{font-family:var(--font-display);font-size:1.3rem;font-weight:800;color:var(--ink);letter-spacing:-.01em;}
.sidebar-title .accent{color:var(--teal);}
.toc-nav{padding:12px 0 16px;flex:1;}
.toc-section-label{font-family:var(--font-display);font-size:.6rem;font-weight:700;letter-spacing:.2em;text-transform:uppercase;color:var(--gray-400);padding:10px 20px 4px;}
.toc-link{display:block;padding:5px 20px 5px 24px;font-family:var(--font-display);font-size:.82rem;font-weight:400;color:var(--ink-mid);text-decoration:none;border-left:2px solid transparent;transition:all .15s;}
.toc-link:hover,.toc-link.active{color:var(--teal);border-left-color:var(--teal);background:var(--teal-pale);}
.toc-link.active{font-weight:600;}
.sidebar-subject-nav{padding:14px 20px;border-top:1px solid var(--border);background:var(--gray-50);}
.sidebar-subject-nav p{font-family:var(--font-display);font-size:.6rem;font-weight:700;letter-spacing:.2em;text-transform:uppercase;color:var(--gray-400);margin-bottom:8px;}
.sidebar-subject-nav a{display:block;font-family:var(--font-display);font-size:.8rem;color:var(--gray-400);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:700;}

.main{flex:1;min-width:0;padding:0 58px 100px;max-width:840px;}

.page-header{padding:56px 0 38px;margin-bottom:50px;border-bottom:2px solid var(--teal);position:relative;}
.subject-tag{font-family:var(--font-display);font-size:.65rem;font-weight:700;letter-spacing:.22em;text-transform:uppercase;color:var(--teal);margin-bottom:12px;}
h1.page-title{font-family:var(--font-display);font-size:3.4rem;font-weight:800;color:var(--ink);line-height:1.0;letter-spacing:-.03em;}
h1.page-title .accent{color:var(--teal-2);}
.page-intro{margin-top:16px;font-size:1rem;color:var(--ink-mid);font-style:italic;max-width:540px;font-family:var(--font-body);}

/* Stat cards dans le header */
.stat-cards{display:flex;gap:12px;margin-top:22px;flex-wrap:wrap;}
.stat-card{background:var(--white);border:1px solid var(--border);border-radius:var(--radius);padding:12px 18px;min-width:130px;box-shadow:var(--shadow);}
.stat-card .label{font-family:var(--font-display);font-size:.62rem;font-weight:700;text-transform:uppercase;letter-spacing:.12em;color:var(--gray-400);}
.stat-card .value{font-family:var(--font-display);font-size:1.4rem;font-weight:800;color:var(--teal);line-height:1.2;margin-top:3px;}
.stat-card .sub{font-family:var(--font-display);font-size:.7rem;color:var(--gray-400);margin-top:2px;}

.section{margin-bottom:60px;scroll-margin-top:28px;}
h2.section-title{font-family:var(--font-display);font-size:1.5rem;font-weight:700;color:var(--ink);margin-bottom:20px;padding-bottom:10px;border-bottom:1px solid var(--border);display:flex;align-items:center;gap:12px;letter-spacing:-.01em;}
h2.section-title .num{font-family:var(--font-mono);font-size:.7rem;color:white;background:var(--teal);padding:3px 9px;border-radius:20px;font-weight:400;}
h3.sub-title{font-family:var(--font-display);font-size:1.05rem;font-weight:700;color:var(--teal);margin:28px 0 12px;}
p{margin-bottom:.9em;}ul,ol{padding-left:1.4em;margin-bottom:.9em;}li{margin-bottom:.28em;}

.box{padding:16px 20px 14px;margin:18px 0;border-radius:var(--radius);box-shadow:var(--shadow);}
.box-label{font-family:var(--font-display);font-size:.63rem;font-weight:700;letter-spacing:.15em;text-transform:uppercase;display:block;margin-bottom:8px;}
.box.def{background:var(--teal-pale);border:1px solid var(--teal-mid);border-top:3px solid var(--teal-2);}
.box.def .box-label{color:var(--teal);}
.box.theorem{background:var(--blue-pale);border:1px solid var(--blue-mid);border-top:3px solid var(--blue);}
.box.theorem .box-label{color:var(--blue);}
.box.prop{background:var(--amber-pale);border:1px solid #fde68a;border-top:3px solid var(--amber);}
.box.prop .box-label{color:var(--amber);}
.box.corollary{background:var(--rose-pale);border:1px solid #fecaca;border-top:3px solid var(--rose);}
.box.corollary .box-label{color:var(--rose);}
.box.example{background:var(--vi-pale);border:1px solid #ddd6fe;border-top:3px solid var(--violet);}
.box.example .box-label{color:var(--violet);}
.box.remark{background:var(--white);border:1px solid var(--border);}
.box.remark .box-label{color:var(--gray-400);}

.proof-toggle{display:inline-flex;align-items:center;gap:6px;font-family:var(--font-display);font-size:.75rem;font-weight:700;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:#fff;}
.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:.93rem;font-style:italic;}
.qed{float:right;color:var(--teal);font-family:var(--font-mono);font-size:.82rem;}

.formula-block{text-align:center;padding:20px 16px;margin:16px 0;background:var(--white);border:1px solid var(--border);border-radius:var(--radius);overflow-x:auto;box-shadow:var(--shadow);}

.math-table{width:100%;border-collapse:collapse;margin:16px 0;font-size:.91rem;border-radius:var(--radius);overflow:hidden;box-shadow:var(--shadow);}
.math-table th{background:var(--teal);color:#fff;padding:10px 14px;text-align:left;font-family:var(--font-display);font-size:.78rem;font-weight:700;text-transform:uppercase;letter-spacing:.06em;}
.math-table td{padding:9px 14px;border-bottom:1px solid var(--border);vertical-align:top;background:#fff;}
.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);}
.math-table .up{color:var(--green);font-weight:600;}
.math-table .down{color:var(--rose);font-weight:600;}
code{font-family:var(--font-mono);font-size:.82em;background:var(--teal-pale);color:var(--teal);padding:2px 6px;border-radius:5px;border:1px solid var(--teal-mid);}
.two-col{display:grid;grid-template-columns:1fr 1fr;gap:14px;margin:14px 0;}
.two-col .box{margin:0;}

.mobile-header{display:none;position:sticky;top:0;z-index:50;background:#fff;border-bottom:2px solid var(--teal);padding:12px 18px;align-items:center;justify-content:space-between;box-shadow:var(--shadow);}
.mobile-menu-btn{background:none;border:none;color:var(--teal);font-size:1.3rem;cursor:pointer;}
.mobile-title{font-family:var(--font-display);font-size:1rem;font-weight:800;color:var(--ink);}
.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,.4);}
.drawer-panel{position:relative;z-index:1;width:263px;background:#fff;height:100%;overflow-y:auto;padding:16px 0;border-right:3px solid var(--teal);}
@media(max-width:960px){.sidebar{display:none;}.mobile-header{display:flex;}.main{padding:0 20px 70px;}h1.page-title{font-size:2.4rem;}.stat-cards{gap:8px;}.two-col{grid-template-columns:1fr;}}