/* ─── theorie_des_ensembles.css — Thème : Formel, diagrammatique, indigo ──── */
@import url('https://fonts.googleapis.com/css2?family=IBM+Plex+Serif:ital,wght@0,300;0,400;0,600;1,300;1,400&family=IBM+Plex+Sans:wght@300;400;500;600&family=IBM+Plex+Mono:ital,wght@0,400;0,500;1,400&display=swap');

:root {
  --white:      #ffffff;
  --gray-25:    #fafafa;
  --gray-50:    #f5f7ff;
  --gray-100:   #e8ecff;
  --gray-200:   #d0d8ff;
  --ink:        #0f0f2e;
  --ink-mid:    #2e2e6e;
  --ink-light:  #6060a0;
  --indigo:     #3730a3;
  --indigo-2:   #4f46e5;
  --indigo-pale:#eef2ff;
  --indigo-mid: #c7d2fe;
  --violet:     #7c3aed;
  --vi-pale:    #f5f3ff;
  --blue:       #1d4ed8;
  --blue-pale:  #dbeafe;
  --emerald:    #065f46;
  --em-pale:    #ecfdf5;
  --rose:       #9f1239;
  --ro-pale:    #fff1f2;
  --border:     #e0e4f8;
  --font-display:'IBM Plex Serif', Georgia, serif;
  --font-body:   'IBM Plex Sans', sans-serif;
  --font-mono:   'IBM Plex Mono', monospace;
  --sidebar-w:  268px;
  --radius:     4px;
}

*,*::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:16px;
  line-height:1.78;
}

/* ─── Progress ───────────────────────────────────────────────────────────── */
.progress-bar{
  position:fixed;top:0;left:0;height:4px;width:0%;
  background:var(--indigo-2);
  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(--indigo);
  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:30px 22px 22px;
  border-bottom:1px solid rgba(255,255,255,.1);
}

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

.sidebar-title{font-family:var(--font-display);font-size:1.3rem;font-weight:600;color:#fff;line-height:1.25;font-style:italic;}
.sidebar-title span{color:var(--indigo-mid);font-style:normal;}

.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:rgba(255,255,255,.3);padding:10px 22px 4px;}

.toc-link{display:block;padding:5px 22px 5px 26px;font-family:var(--font-body);font-size:.83rem;font-weight:400;color:rgba(255,255,255,.55);text-decoration:none;border-left:2px solid transparent;transition:all .18s;}
.toc-link:hover,.toc-link.active{color:#fff;border-left-color:var(--indigo-mid);background:rgba(255,255,255,.06);}
.toc-link.active{color:var(--indigo-mid);}

.sidebar-subject-nav{padding:14px 22px;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:.82rem;color:rgba(255,255,255,.4);text-decoration:none;padding:3px 0;transition:color .15s;}
.sidebar-subject-nav a:hover{color:#fff;}
.sidebar-subject-nav a.current{color:var(--indigo-mid);font-weight:600;}

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

/* ─── Header ─────────────────────────────────────────────────────────────── */
.page-header{
  padding:56px 0 40px;margin-bottom:52px;
  border-bottom:3px solid var(--indigo);
  position:relative;
}
.page-header::after{content:'';position:absolute;bottom:-3px;left:0;width:60px;height:3px;background:var(--indigo-mid);}

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

h1.page-title{font-family:var(--font-display);font-size:3.2rem;font-weight:600;color:var(--ink);line-height:1.05;letter-spacing:-.01em;}

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

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

h2.section-title{
  font-family:var(--font-display);font-size:1.85rem;font-weight:600;
  color:var(--ink);margin-bottom:22px;padding-bottom:10px;border-bottom:1px solid var(--border);
  display:flex;align-items:baseline;gap:14px;
}
h2.section-title .num{
  font-family:var(--font-mono);font-size:.72rem;color:white;font-weight:500;
  background:var(--indigo-2);padding:3px 10px;border-radius:var(--radius);letter-spacing:.08em;
}

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

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);}
.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(--indigo-pale);border-left:4px solid var(--indigo-2);border:1px solid var(--indigo-mid);border-left-width:4px;}
.box.def .box-label{color:var(--indigo-2);}

.box.theorem{background:var(--gray-50);border-left:4px solid var(--blue);border:1px solid var(--blue-pale);border-left-width:4px;}
.box.theorem .box-label{color:var(--blue);}

.box.prop{background:var(--vi-pale);border-left:4px solid var(--violet);border:1px solid #ddd6fe;border-left-width:4px;}
.box.prop .box-label{color:var(--violet);}

.box.corollary{background:var(--em-pale);border-left:4px solid var(--emerald);border:1px solid #a7f3d0;border-left-width:4px;}
.box.corollary .box-label{color:var(--emerald);}

.box.example{background:#fffbeb;border-left:4px solid #d97706;border:1px solid #fde68a;border-left-width:4px;}
.box.example .box-label{color:#92400e;}

.box.remark{background:var(--gray-25);border-left:4px solid var(--border);border:1px solid var(--border);border-left-width:4px;}
.box.remark .box-label{color:var(--ink-light);}

/* ─── Proof ──────────────────────────────────────────────────────────────── */
.proof-toggle{display:inline-flex;align-items:center;gap:6px;font-family:var(--font-body);font-size:.82rem;font-weight:500;color:var(--indigo-2);border:1px solid var(--indigo-2);padding:4px 14px;border-radius:var(--radius);cursor:pointer;background:transparent;margin-top:8px;transition:all .18s;user-select:none;}
.proof-toggle:hover{background:var(--indigo-2);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:.94rem;font-style:italic;}
.qed{float:right;color:var(--indigo-2);font-family:var(--font-mono);font-size:.85rem;}

/* ─── Formula ────────────────────────────────────────────────────────────── */
.formula-block{text-align:center;padding:20px 16px;margin:18px 0;background:var(--gray-25);border:1px solid var(--border);border-top:2px solid var(--indigo-2);border-radius:0 0 var(--radius) var(--radius);overflow-x:auto;}

/* ─── Table ──────────────────────────────────────────────────────────────── */
.math-table{width:100%;border-collapse:collapse;margin:18px 0;font-size:.9rem;border:1px solid var(--border);border-radius:var(--radius);overflow:hidden;}
.math-table th{background:var(--indigo);color:#fff;padding:10px 16px;text-align:left;font-family:var(--font-display);font-size:.95rem;font-style:italic;}
.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:.82rem;color:var(--indigo-2);}

code{font-family:var(--font-mono);font-size:.82em;background:var(--indigo-pale);color:var(--indigo-2);padding:2px 6px;border-radius:3px;border:1px solid var(--indigo-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:var(--indigo);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:1rem;color:#fff;font-style:italic;}
.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(--indigo);height:100%;overflow-y:auto;padding:16px 0;}

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