/* ─── logique_formelle.css — Thème : Rigueur formelle, noir/blanc, rouge ───── */
@import url('https://fonts.googleapis.com/css2?family=Anonymous+Pro:ital,wght@0,400;0,700;1,400&family=Spectral:ital,wght@0,300;0,400;0,600;1,300;1,400&family=Spectral+SC:wght@400;600&display=swap');

:root {
  --white:       #ffffff;
  --near-white:  #fafafa;
  --gray-50:     #f4f4f4;
  --gray-100:    #e8e8e8;
  --gray-200:    #d0d0d0;
  --gray-400:    #909090;
  --gray-600:    #505050;
  --ink:         #0a0a0a;
  --ink-mid:     #303030;
  --red:         #c8001a;
  --red-2:       #e8001f;
  --red-pale:    #fff5f5;
  --red-mid:     #ffc8c8;
  --black:       #000000;
  --border:      #d0d0d0;
  --font-display:'Spectral SC', Georgia, serif;
  --font-body:   'Spectral', Georgia, serif;
  --font-mono:   'Anonymous Pro', Courier, monospace;
  --sidebar-w:   265px;
  --radius:      0px;
}

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

/* ─── Progress ───────────────────────────────────────────────────────────── */
.progress-bar{
  position:fixed;top:0;left:0;height:3px;width:0%;
  background:var(--red);
  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(--ink);
  border-right:4px solid var(--red);
  position:sticky;top:0;height:100vh;
  overflow-y:auto;display:flex;flex-direction:column;
  scrollbar-width:thin;scrollbar-color:rgba(255,255,255,.1) transparent;
}

.sidebar-header{
  padding:28px 22px 22px;
  border-bottom:1px solid rgba(255,255,255,.08);
}

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

.sidebar-title{font-family:var(--font-display);font-size:1.15rem;font-weight:600;color:#fff;letter-spacing:.05em;line-height:1.3;}
.sidebar-title span{color:var(--red-2);}

.toc-nav{padding:12px 0 16px;flex:1;}
.toc-section-label{font-family:var(--font-mono);font-size:.6rem;letter-spacing:.15em;text-transform:uppercase;color:rgba(255,255,255,.22);padding:10px 22px 4px;}

.toc-link{display:block;padding:5px 22px 5px 26px;font-family:var(--font-mono);font-size:.8rem;color:rgba(255,255,255,.5);text-decoration:none;border-left:2px solid transparent;transition:all .15s;}
.toc-link:hover,.toc-link.active{color:#fff;border-left-color:var(--red);background:rgba(200,0,26,.12);}
.toc-link.active{color:var(--red-mid);}

.sidebar-subject-nav{padding:14px 22px;border-top:1px solid rgba(255,255,255,.07);}
.sidebar-subject-nav p{font-family:var(--font-mono);font-size:.6rem;letter-spacing:.12em;text-transform:uppercase;color:rgba(255,255,255,.22);margin-bottom:8px;}
.sidebar-subject-nav a{display:block;font-family:var(--font-mono);font-size:.78rem;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(--red-2);font-weight:700;}

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

/* ─── Header ─────────────────────────────────────────────────────────────── */
.page-header{
  padding:56px 0 38px;margin-bottom:50px;
  border-bottom:3px solid var(--ink);position:relative;
}

/* Bold red accent line */
.page-header::after{
  content:'';position:absolute;bottom:-3px;left:0;width:80px;height:3px;
  background:var(--red);
}

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

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

.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:60px;scroll-margin-top:28px;}

h2.section-title{
  font-family:var(--font-display);font-size:1.7rem;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;letter-spacing:.02em;
}
h2.section-title .num{
  font-family:var(--font-mono);font-size:.75rem;color:var(--red);font-weight:400;
  padding:0 8px;border:1px solid var(--border);
}

h3.sub-title{font-family:var(--font-display);font-size:1.2rem;font-weight:600;color:var(--red);margin:30px 0 12px;letter-spacing:.02em;}
h4.sub-sub-title{font-family:var(--font-mono);font-size:.88rem;color:var(--gray-600);margin:20px 0 8px;text-transform:uppercase;letter-spacing:.08em;}

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

/* ─── Boxes ──────────────────────────────────────────────────────────────── */
.box{padding:17px 22px 15px;margin:20px 0;border:1px solid var(--border);}
.box-label{font-family:var(--font-mono);font-size:.65rem;font-weight:700;letter-spacing:.15em;text-transform:uppercase;display:block;margin-bottom:8px;}

.box.def{background:var(--gray-50);border-color:var(--ink);border-top:3px solid var(--ink);}
.box.def .box-label{color:var(--ink);}

.box.theorem{background:var(--red-pale);border-color:var(--red-mid);border-top:3px solid var(--red);}
.box.theorem .box-label{color:var(--red);}

.box.prop{background:var(--near-white);border-color:var(--gray-200);border-left:4px solid var(--gray-600);}
.box.prop .box-label{color:var(--gray-600);}

.box.corollary{background:var(--white);border:1px dashed var(--gray-400);}
.box.corollary .box-label{color:var(--gray-600);}

.box.example{background:#fffff8;border-color:var(--border);border-left:4px solid var(--ink);}
.box.example .box-label{color:var(--ink);}

.box.remark{background:var(--gray-50);border-color:var(--border);}
.box.remark .box-label{color:var(--gray-400);}

/* ─── Proof ──────────────────────────────────────────────────────────────── */
.proof-toggle{display:inline-flex;align-items:center;gap:6px;font-family:var(--font-mono);font-size:.75rem;letter-spacing:.08em;color:var(--ink);border:1px solid var(--ink);padding:4px 12px;cursor:pointer;background:transparent;margin-top:8px;transition:all .15s;user-select:none;}
.proof-toggle:hover{background:var(--ink);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 dashed var(--gray-200);color:var(--ink-mid);font-size:.94rem;font-style:italic;}
.qed{float:right;color:var(--ink);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(--gray-50);border:1px solid var(--border);overflow-x:auto;}

/* ─── Table ──────────────────────────────────────────────────────────────── */
.math-table{width:100%;border-collapse:collapse;margin:18px 0;font-size:.9rem;border:1px solid var(--ink);}
.math-table th{background:var(--ink);color:#fff;padding:10px 16px;text-align:left;font-family:var(--font-mono);font-size:.76rem;letter-spacing:.1em;text-transform:uppercase;}
.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(--red);}

code{font-family:var(--font-mono);font-size:.82em;background:var(--gray-100);color:var(--ink);padding:2px 6px;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(--ink);border-bottom:3px solid var(--red);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;letter-spacing:.04em;}
.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,.6);}
.drawer-panel{position:relative;z-index:1;width:265px;background:var(--ink);height:100%;overflow-y:auto;padding:16px 0;border-right:4px solid var(--red);}

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