/* ─── economie_verte.css — Thème : Forêt profonde, organique, terre ─────────── */
@import url('https://fonts.googleapis.com/css2?family=Fraunces:ital,opsz,wght@0,9..144,300;0,9..144,400;0,9..144,600;0,9..144,700;1,9..144,300;1,9..144,400&family=Nunito+Sans:ital,wght@0,300;0,400;0,600;0,700;1,300;1,400&family=Inconsolata:wght@400;500&display=swap');

:root {
  --forest:   #0a1a0a; --forest-2:#0f2411; --forest-3:#162e18;
  --moss:     #1a4225; --moss-2:#1e5c2e; --moss-pale:rgba(30,92,46,.08);
  --leaf:     #2d8a47; --leaf-2:#38a85a; --leaf-glow:rgba(56,168,90,.2);
  --lime:     #84cc16; --lime-pale:rgba(132,204,22,.1);
  --earth:    #8b5e3c; --earth-pale:#fdf8f4; --earth-mid:#e8d5c0;
  --stone:    #d4cfc8; --stone-2:#b8b2aa; --cream:#faf8f5;
  --ink:      #e8f0e8; --ink-mid:#8fa88f; --ink-dim:#3a5a3a;
  --border:   rgba(56,168,90,.15); --border-hi:rgba(56,168,90,.4);
  --amber:    #d97706; --amber-pale:rgba(217,119,6,.08);
  --sky:      #0ea5e9; --sky-pale:rgba(14,165,233,.08);
  --font-display:'Fraunces',Georgia,serif;
  --font-body:'Nunito Sans',sans-serif;
  --font-mono:'Inconsolata',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(--forest);color:var(--ink);font-size:16.5px;line-height:1.8;
  background-image:
    radial-gradient(ellipse at 10% 80%, rgba(30,92,46,.12) 0,transparent 50%),
    radial-gradient(ellipse at 90% 20%, rgba(132,204,22,.05) 0,transparent 40%),
    repeating-linear-gradient(90deg,transparent,transparent 59px,rgba(56,168,90,.02) 59px,rgba(56,168,90,.02) 60px),
    repeating-linear-gradient(0deg,transparent,transparent 59px,rgba(56,168,90,.02) 59px,rgba(56,168,90,.02) 60px);
  background-attachment:fixed;
}

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

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

.sidebar{width:var(--sidebar-w);flex-shrink:0;background:var(--forest-2);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(--forest-3) transparent;}
.sidebar-header{padding:28px 22px 20px;border-bottom:1px solid var(--border);position:relative;overflow:hidden;}
.sidebar-header::before{content:'🌿';position:absolute;right:-6px;top:6px;font-size:4rem;opacity:.07;pointer-events:none;}
.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:600;color:var(--leaf-2);line-height:1.2;font-style:italic;}
.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-body);font-size:.83rem;color:var(--ink-mid);text-decoration:none;border-left:2px solid transparent;transition:all .15s;}
.toc-link:hover,.toc-link.active{color:var(--leaf-2);border-left-color:var(--leaf);background:var(--moss-pale);}
.toc-link.active{color:var(--lime);}
.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:.18em;text-transform:uppercase;color:var(--ink-dim);margin-bottom:8px;}
.sidebar-subject-nav a{display:block;font-family:var(--font-body);font-size:.82rem;color:var(--ink-dim);text-decoration:none;padding:3px 0;transition:color .15s;}
.sidebar-subject-nav a:hover{color:var(--leaf-2);}
.sidebar-subject-nav a.current{color:var(--lime);font-weight:600;}

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

.page-header{padding:56px 0 38px;margin-bottom:50px;border-bottom:1px solid var(--border);position:relative;}
.page-header::after{content:'';position:absolute;bottom:0;left:0;width:160px;height:1px;background:linear-gradient(90deg,var(--leaf),transparent);box-shadow:0 0 10px var(--leaf-glow);}
.subject-tag{font-family:var(--font-mono);font-size:.62rem;letter-spacing:.22em;text-transform:uppercase;color:var(--leaf);margin-bottom:12px;}
h1.page-title{font-family:var(--font-display);font-size:3.1rem;font-weight:600;color:var(--ink);line-height:1.0;font-style:italic;text-shadow:0 0 30px var(--leaf-glow);}
h1.page-title span{color:var(--leaf-2);}
.page-intro{margin-top:16px;font-size:1rem;color:var(--ink-mid);font-style:italic;max-width:540px;}

.section{margin-bottom:62px;scroll-margin-top:28px;}
h2.section-title{font-family:var(--font-display);font-size:1.7rem;font-weight:600;color:var(--ink);margin-bottom:20px;padding-bottom:10px;border-bottom:1px solid var(--border);display:flex;align-items:center;gap:12px;font-style:italic;}
h2.section-title .num{font-family:var(--font-mono);font-size:.7rem;color:var(--forest);background:var(--leaf);padding:3px 9px;border-radius:20px;font-weight:400;font-style:normal;box-shadow:0 0 6px var(--leaf-glow);}
h3.sub-title{font-family:var(--font-display);font-size:1.15rem;font-weight:600;color:var(--leaf-2);margin:28px 0 12px;font-style:italic;}
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);border:1px solid var(--border);background:var(--forest-3);}
.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(--moss-pale);border-color:var(--border-hi);}
.box.def .box-label{color:var(--leaf);}
.box.theorem{background:var(--lime-pale);border-color:rgba(132,204,22,.3);}
.box.theorem .box-label{color:var(--lime);}
.box.prop{background:var(--amber-pale);border-color:rgba(217,119,6,.25);}
.box.prop .box-label{color:var(--amber);}
.box.corollary{background:var(--sky-pale);border-color:rgba(14,165,233,.25);}
.box.corollary .box-label{color:var(--sky);}
.box.example{background:rgba(139,94,60,.06);border-color:rgba(139,94,60,.2);}
.box.example .box-label{color:var(--earth);}
.box.remark{background:var(--forest-2);border-color:var(--border);}
.box.remark .box-label{color:var(--ink-mid);}

.proof-toggle{display:inline-flex;align-items:center;gap:6px;font-family:var(--font-display);font-style:italic;font-size:.88rem;color:var(--leaf);border:1px solid var(--border-hi);padding:4px 14px;border-radius:20px;cursor:pointer;background:transparent;margin-top:8px;transition:all .18s;user-select:none;}
.proof-toggle:hover{background:var(--leaf);color:var(--forest);box-shadow:0 0 10px var(--leaf-glow);}
.proof-toggle .arrow{transition:transform .2s;font-style:normal;}
.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(--forest-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(--leaf);font-family:var(--font-display);font-style:normal;}

.formula-block{text-align:center;padding:20px 16px;margin:16px 0;background:var(--forest);border:1px solid var(--border);border-radius:var(--radius);overflow-x:auto;box-shadow:0 0 14px rgba(56,168,90,.04);}

.math-table{width:100%;border-collapse:collapse;margin:16px 0;font-size:.9rem;border-radius:var(--radius);overflow:hidden;border:1px solid var(--border);}
.math-table th{background:var(--moss);color:var(--ink);padding:10px 14px;text-align:left;font-family:var(--font-display);font-size:.95rem;font-style:italic;border-bottom:1px solid var(--border-hi);}
.math-table td{padding:9px 14px;border-bottom:1px solid var(--border);vertical-align:top;}
.math-table tr:hover td{background:var(--moss-pale);}
.math-table td:first-child{font-family:var(--font-mono);font-size:.82rem;color:var(--leaf-2);}
.math-table .ok{color:var(--lime);}
.math-table .warn{color:var(--amber);}
.math-table .bad{color:#f87171;}
code{font-family:var(--font-mono);font-size:.82em;background:var(--forest-2);color:var(--leaf-2);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(--forest-2);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(--leaf);font-size:1.3rem;cursor:pointer;}
.mobile-title{font-family:var(--font-display);font-size:1rem;color:var(--leaf-2);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,.7);}
.drawer-panel{position:relative;z-index:1;width:268px;background:var(--forest-2);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.3rem;}.two-col{grid-template-columns:1fr;}}