/* ─── topologie.css — Thème : Abstraction topologique, espace connexe ──────── */
@import url('https://fonts.googleapis.com/css2?family=Josefin+Sans:ital,wght@0,200;0,300;0,400;0,600;1,200&family=Merriweather:ital,wght@0,300;0,400;1,300;1,400&family=IBM+Plex+Mono:wght@400;500&display=swap');

:root {
  --void:      #020b0f;
  --deep:      #061218;
  --surface:   #0c2030;
  --surface-2: #122d40;
  --surface-3: #1a3d52;
  --border:    rgba(6,182,212,.15);
  --border-hi: rgba(6,182,212,.4);
  --ink:       #e0f7fc;
  --ink-mid:   #80cfe0;
  --ink-dim:   #3a7a8f;
  --cyan:      #06b6d4;
  --cyan-2:    #22d3ee;
  --cyan-glow: rgba(6,182,212,.18);
  --cyan-pale: rgba(6,182,212,.08);
  --emerald:   #10b981;
  --em-pale:   rgba(16,185,129,.08);
  --violet:    #8b5cf6;
  --vi-pale:   rgba(139,92,246,.08);
  --orange:    #f97316;
  --or-pale:   rgba(249,115,22,.08);
  --amber:     #fbbf24;
  --am-pale:   rgba(251,191,36,.08);
  --font-display:'Josefin Sans', sans-serif;
  --font-body:   'Merriweather', Georgia, serif;
  --font-mono:   'IBM Plex Mono', monospace;
  --sidebar-w: 265px;
  --radius:    6px;
}

*,*::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:16px;
  line-height:1.8;
  background-image:
    radial-gradient(ellipse at 30% 20%, rgba(6,182,212,.06) 0, transparent 50%),
    radial-gradient(ellipse at 70% 80%, rgba(139,92,246,.04) 0, transparent 40%);
  background-attachment:fixed;
}

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

/* ─── 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:28px 22px 20px;
  border-bottom:1px solid var(--border);
}

.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.35rem;font-weight:600;
  color:var(--cyan);letter-spacing:.08em;text-transform:uppercase;
}

.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:.8rem;font-weight:300;letter-spacing:.04em;
  color:var(--ink-mid);text-decoration:none;
  border-left:2px solid transparent;transition:all .18s;
}
.toc-link:hover,.toc-link.active{color:var(--cyan);border-left-color:var(--cyan);background:var(--cyan-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:.78rem;font-weight:300;color:var(--ink-dim);text-decoration:none;padding:3px 0;transition:color .15s;letter-spacing:.04em;}
.sidebar-subject-nav a:hover{color:var(--cyan);}
.sidebar-subject-nav a.current{color:var(--cyan);font-weight:600;}

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

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

.page-header::after{
  content:'';position:absolute;bottom:0;left:0;right:0;height:1px;
  background:linear-gradient(90deg,var(--cyan),transparent);
  box-shadow:0 0 10px var(--cyan-glow);
}

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

h1.page-title{
  font-family:var(--font-display);font-size:3.4rem;font-weight:600;
  color:var(--ink);line-height:1.0;letter-spacing:.04em;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:64px;scroll-margin-top:28px;}

h2.section-title{
  font-family:var(--font-display);font-size:1.4rem;font-weight:600;
  color:var(--ink);letter-spacing:.06em;text-transform:uppercase;
  margin-bottom:22px;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:.7rem;color:var(--cyan);
  background:var(--cyan-pale);border:1px solid var(--border-hi);
  padding:3px 10px;border-radius:var(--radius);font-weight:400;
}

h3.sub-title{
  font-family:var(--font-display);font-size:1rem;font-weight:600;
  color:var(--cyan);margin:30px 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:17px 21px 15px;margin:20px 0;
  border-radius:var(--radius);border:1px solid var(--border);
  background:var(--surface);
}

.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{background:var(--cyan-pale);border-color:var(--border-hi);}
.box.def .box-label{color:var(--cyan);}

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

.box.prop{background:var(--vi-pale);border-color:rgba(139,92,246,.3);}
.box.prop .box-label{color:var(--violet);}

.box.corollary{background:var(--em-pale);border-color:rgba(16,185,129,.3);}
.box.corollary .box-label{color:var(--emerald);}

.box.example{background:var(--or-pale);border-color:rgba(249,115,22,.3);}
.box.example .box-label{color:var(--orange);}

.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(--cyan);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(--cyan);color:var(--void);box-shadow:0 0 10px var(--cyan-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:.92rem;font-style:italic;}
.qed{float:right;color:var(--cyan);font-family:var(--font-mono);font-size:.85rem;font-style:normal;}

/* ─── Formula ────────────────────────────────────────────────────────────── */
.formula-block{text-align:center;padding:20px 16px;margin:18px 0;background:var(--surface);border:1px solid var(--border);border-radius:var(--radius);overflow-x:auto;box-shadow:0 0 15px rgba(6,182,212,.05);}

/* ─── 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:.78rem;font-weight:600;letter-spacing:.1em;text-transform:uppercase;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(--cyan-pale);}
.math-table td:first-child{font-family:var(--font-mono);font-size:.8rem;color:var(--cyan);}

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

.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: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(--cyan);font-size:1.3rem;cursor:pointer;}
.mobile-title{font-family:var(--font-display);font-size:1rem;font-weight:600;letter-spacing:.08em;text-transform:uppercase;color:var(--cyan);}
.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:265px;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;}
}