/* Formal in Silico — programme site. Palette shared with the charter. */
:root{
  --paper:#F2F5F4; --surface:#FFFFFF; --sunk:#E8EEEC;
  --ink:#131D1A; --ink-2:#33413C; --muted:#5C6B66;
  --rule:#D0D9D5; --rule-2:#E2E8E6;
  --math:#2445AE; --math-bg:#E7ECFA;
  --soft:#08705F; --soft-bg:#DDF0EB;
  --fp:#94570A; --fp-bg:#F5EAD8;
  --t2:#6B3FA0; --t2-bg:#EFE7F8;
  --none:#B7C2BE;
  --grid:rgba(19,29,26,.055);
  --c1:#2445AE; --c2:#B06A0C;
  --sans:"Inter","Noto Sans SC","PingFang SC","Hiragino Sans GB","Microsoft YaHei",system-ui,sans-serif;
  --serif:"Source Serif 4","Noto Serif SC","Songti SC","STSong",Georgia,serif;
  --mono:"JetBrains Mono","SFMono-Regular",Menlo,Consolas,monospace;
}
:root:lang(zh-CN){
  --sans:"Noto Sans SC","PingFang SC","Hiragino Sans GB","Microsoft YaHei",system-ui,sans-serif;
  --serif:"Noto Serif SC","Songti SC","STSong","SimSun",Georgia,serif;
}
@media (prefers-color-scheme: dark){
  :root:not([data-theme="light"]){
    color-scheme:dark;
    --paper:#0D1312; --surface:#141C1A; --sunk:#101816;
    --ink:#E2E9E6; --ink-2:#C0CCC7; --muted:#8C9B96;
    --rule:#2A3532; --rule-2:#1F2927;
    --math:#9BB0F4; --math-bg:#1A2240;
    --soft:#5FCAB5; --soft-bg:#102D27;
    --fp:#E2AA55; --fp-bg:#2F230F;
    --t2:#C3A3EC; --t2-bg:#2A1D3D;
    --none:#3A4744;
    --grid:rgba(226,233,230,.045);
    --c1:#6F88E0; --c2:#B87C25;
  }
}
:root[data-theme="dark"]{
  color-scheme:dark;
  --paper:#0D1312; --surface:#141C1A; --sunk:#101816;
  --ink:#E2E9E6; --ink-2:#C0CCC7; --muted:#8C9B96;
  --rule:#2A3532; --rule-2:#1F2927;
  --math:#9BB0F4; --math-bg:#1A2240;
  --soft:#5FCAB5; --soft-bg:#102D27;
  --fp:#E2AA55; --fp-bg:#2F230F;
  --t2:#C3A3EC; --t2-bg:#2A1D3D;
  --none:#3A4744;
  --grid:rgba(226,233,230,.045);
  --c1:#6F88E0; --c2:#B87C25;
}

*{box-sizing:border-box}
html{-webkit-text-size-adjust:100%;scroll-behavior:smooth;scroll-padding-top:72px}
@media (prefers-reduced-motion: reduce){html{scroll-behavior:auto}}
body{margin:0;background:var(--paper);color:var(--ink);font:400 16px/1.75 var(--sans)}
:lang(zh-CN) body,body:lang(zh-CN){line-height:1.85}
a{color:var(--math);text-underline-offset:3px}
a:focus-visible,button:focus-visible{outline:2px solid var(--math);outline-offset:2px}
i.v{font-family:var(--serif);font-style:italic}
sub,sup{font-size:.72em;line-height:0}
.mono,code{font-family:var(--mono);font-size:.88em}

/* ---------- top bar ---------- */
.bar{position:sticky;top:0;z-index:10;background:color-mix(in srgb,var(--paper) 88%,transparent);backdrop-filter:blur(8px);-webkit-backdrop-filter:blur(8px);border-bottom:1px solid var(--rule)}
.bar-in{max-width:1180px;margin:0 auto;padding:0 24px;height:56px;display:flex;align-items:center;gap:20px}
.brand{font:700 17px/1 var(--serif);color:var(--ink);text-decoration:none;white-space:nowrap;margin-right:auto}
.nav{display:flex;align-items:center;gap:4px}
.nav a{font-size:14px;color:var(--muted);text-decoration:none;padding:6px 10px;border-radius:3px;white-space:nowrap}
.nav a:hover{color:var(--ink);background:var(--sunk)}
.nav a[aria-current="page"]{color:var(--ink);font-weight:500}
.nav .lang{font:500 12px/1 var(--mono);letter-spacing:.04em;border:1px solid var(--rule);padding:6px 9px;margin-left:6px}
.theme{background:none;border:1px solid var(--rule);color:var(--muted);border-radius:3px;width:30px;height:28px;cursor:pointer;display:grid;place-items:center;padding:0}
.theme:hover{color:var(--ink)}
.theme svg{width:15px;height:15px}
@media (max-width:560px){
  .bar-in{padding:0 16px;gap:8px}
  .nav a{padding:6px 7px}
  .brand{font-size:15px}
}

/* ---------- hero ---------- */
.hero{border-bottom:1px solid var(--rule);background-color:var(--paper);
  background-image:linear-gradient(var(--grid) 1px,transparent 1px),linear-gradient(90deg,var(--grid) 1px,transparent 1px);background-size:28px 28px}
.hero-in{max-width:1180px;margin:0 auto;padding:clamp(44px,7vw,80px) 24px clamp(36px,5vw,56px)}
.eyebrow{font:500 12px/1.4 var(--mono);letter-spacing:.08em;text-transform:uppercase;color:var(--muted);margin:0}
h1{font:800 clamp(42px,8vw,88px)/1.02 var(--serif);letter-spacing:-.025em;margin:.28em 0 .2em;text-wrap:balance}
.hero.small h1{font-size:clamp(36px,6vw,60px)}
.sub{font:600 clamp(20px,3vw,28px)/1.4 var(--serif);color:var(--ink-2);margin:0 0 20px;text-wrap:balance}
.lead{max-width:42em;font-size:17.5px;color:var(--ink-2);margin:0}
.judgments{display:flex;flex-wrap:wrap;gap:10px;margin-top:28px}
.j{display:flex;align-items:baseline;gap:12px;font:400 14px/1.5 var(--serif);padding:9px 14px;background:var(--surface);border:1px solid var(--rule);border-radius:3px;max-width:100%;overflow-x:auto}
.j .k{font:500 11px/1 var(--mono);letter-spacing:.08em;text-transform:uppercase;white-space:nowrap}
.j.m .k{color:var(--math)} .j.s .k{color:var(--soft)} .j.f .k{color:var(--fp)}
.j .e{white-space:nowrap}
.cta{display:flex;flex-wrap:wrap;gap:12px;margin-top:30px}
.btn{display:inline-block;font-size:15px;font-weight:500;text-decoration:none;padding:10px 18px;border-radius:3px;border:1px solid var(--ink);color:var(--paper);background:var(--ink)}
.btn.ghost{background:transparent;color:var(--ink);border-color:var(--rule)}
.btn:hover{opacity:.88}

/* ---------- stats ---------- */
.stats{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));gap:1px;background:var(--rule);border:1px solid var(--rule);margin-top:36px}
.stat{background:var(--surface);padding:18px 20px}
.stat b{display:block;font:700 clamp(24px,3.2vw,38px)/1.1 var(--serif);font-variant-numeric:tabular-nums;letter-spacing:-.01em;white-space:nowrap}
.stat span{display:block;font-size:13.5px;line-height:1.5;color:var(--muted);margin-top:6px}
@media (max-width:760px){.stats{grid-template-columns:repeat(2,minmax(0,1fr))}}

/* ---------- layout ---------- */
.wrap{max-width:1180px;margin:0 auto;padding-inline:24px;display:grid;grid-template-columns:190px minmax(0,1fr);gap:64px}
.toc{position:sticky;top:84px;align-self:start;padding-block:40px}
.toc p{font:500 11px/1 var(--mono);letter-spacing:.1em;text-transform:uppercase;color:var(--muted);margin:0 0 14px}
.toc ol{list-style:none;margin:0;padding:0;display:grid;gap:2px}
.toc a{display:grid;grid-template-columns:28px 1fr;font-size:14px;line-height:1.8;color:var(--muted);text-decoration:none;border-left:2px solid transparent;padding-left:10px}
.toc a span{font:400 12px/2.1 var(--mono)}
.toc a:hover{color:var(--ink)}
.toc a.on{color:var(--ink);border-left-color:var(--ink)}
main{min-width:0;padding-block:16px 96px}
@media (max-width:920px){.wrap{grid-template-columns:minmax(0,1fr);gap:0}.toc{display:none}}
@media (max-width:480px){.wrap,.hero-in,footer .in{padding-inline:16px}}

section{padding-top:56px}
.sec-no{font:500 12px/1 var(--mono);letter-spacing:.08em;color:var(--muted);margin:0 0 10px}
h2{font:700 clamp(25px,3.2vw,33px)/1.3 var(--serif);margin:0 0 18px;text-wrap:balance;letter-spacing:-.01em}
h3{font:700 19px/1.4 var(--serif);margin:0 0 8px;text-wrap:balance}
h4{font:600 15.5px/1.5 var(--sans);margin:0 0 4px}
.prose{max-width:42em}
.prose p{margin:0 0 1em}
.muted{color:var(--muted)}
.small{font-size:14px}

.tag{display:inline-block;font:500 11px/1 var(--mono);letter-spacing:.05em;padding:4px 7px;border-radius:2px;white-space:nowrap;vertical-align:.12em}
.tag.m{color:var(--math);background:var(--math-bg)}
.tag.s{color:var(--soft);background:var(--soft-bg)}
.tag.f{color:var(--fp);background:var(--fp-bg)}
.tag.p{color:var(--t2);background:var(--t2-bg)}
.tag.n{color:var(--muted);background:var(--sunk)}

/* ---------- cards ---------- */
.cards{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:18px;margin:24px 0}
.cards.three{grid-template-columns:repeat(3,minmax(0,1fr))}
.card{background:var(--surface);border:1px solid var(--rule);padding:20px 22px;min-width:0}
.card .yr{font:500 12px/1 var(--mono);letter-spacing:.06em;color:var(--muted)}
.card h3{margin-top:8px}
.card p{margin:0 0 .6em}
.card p:last-child{margin-bottom:0}
.card .lesson{border-top:1px solid var(--rule-2);padding-top:10px;margin-top:10px;font-size:14.5px;color:var(--ink-2)}
@media (max-width:760px){.cards,.cards.three{grid-template-columns:minmax(0,1fr)}}

/* ---------- layer chain ---------- */
.chain{list-style:none;margin:24px 0;padding:0;border-left:2px solid var(--rule)}
.chain > li{position:relative;padding:0 0 0 26px}
.layer{background:var(--surface);border:1px solid var(--rule);padding:14px 18px;display:grid;grid-template-columns:44px minmax(0,1fr);gap:4px 14px}
.layer .no{font:700 20px/1.2 var(--mono);color:var(--muted);grid-row:span 2}
.layer h4{margin:0}
.layer p{margin:0;font-size:14.5px;color:var(--ink-2)}
.chain > li:not(.ob)::before{content:"";position:absolute;left:-7px;top:22px;width:12px;height:12px;border-radius:50%;background:var(--paper);border:2px solid var(--muted)}
.ob{padding:10px 0 10px 26px;font-size:14px;color:var(--ink-2)}
.ob::before{content:"↓";font-family:var(--mono);color:var(--muted);margin-right:10px}
.ob .tag{margin-right:6px}

.ineq{background:var(--surface);border:1px solid var(--rule);padding:22px 24px;margin:28px 0}
.ineq .formula{font:400 clamp(17px,2.6vw,22px)/1.6 var(--serif);text-align:center;overflow-x:auto;white-space:nowrap;padding-bottom:4px}
.ineq .formula .m{color:var(--math)} .ineq .formula .fp{color:var(--fp)}
.ineq ul{margin:16px 0 0;padding:0;list-style:none;display:grid;gap:6px;font-size:14.5px}
.ineq li{display:flex;gap:10px;align-items:baseline}

/* ---------- pillars ---------- */
.pillars{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:18px;margin:24px 0}
.pillar{background:var(--surface);border:1px solid var(--rule);border-top:3px solid var(--ink);padding:20px 22px}
.pillar.m{border-top-color:var(--math)} .pillar.s{border-top-color:var(--soft)} .pillar.f{border-top-color:var(--fp)} .pillar.b{border-top-color:var(--t2)}
.pillar ul{margin:8px 0;padding-left:1.1em;font-size:15px}
.pillar li{margin-bottom:4px}
.pillar .tool{font-size:14px;color:var(--ink-2);border-top:1px solid var(--rule-2);padding-top:10px;margin:12px 0 0}
@media (max-width:760px){.pillars{grid-template-columns:minmax(0,1fr)}}

/* ---------- tables ---------- */
.tbl{overflow-x:auto;margin:22px 0;border:1px solid var(--rule);background:var(--surface)}
table{border-collapse:collapse;width:100%;font-size:14.5px;line-height:1.6}
th,td{text-align:left;vertical-align:top;padding:10px 14px;border-bottom:1px solid var(--rule-2)}
th{font:600 12.5px/1.4 var(--sans);color:var(--muted);background:var(--sunk);letter-spacing:.02em}
tr:last-child td{border-bottom:0}
td.l{font:600 13px/1.6 var(--mono);white-space:nowrap;color:var(--ink-2)}
.matrix td{min-width:220px}
.matrix td.l{min-width:0}
td.st{white-space:nowrap}

/* ---------- tiers ---------- */
.tiers{display:grid;grid-template-columns:repeat(5,minmax(0,1fr));gap:10px;margin:24px 0}
.tier{background:var(--surface);border:1px solid var(--rule);padding:16px}
.tier .t{font:700 22px/1 var(--mono)}
.tier h4{margin:10px 0 4px}
.tier p{margin:0;font-size:13.5px;color:var(--ink-2);line-height:1.6}
@media (max-width:900px){.tiers{grid-template-columns:repeat(2,minmax(0,1fr))}}
@media (max-width:420px){.tiers{grid-template-columns:minmax(0,1fr)}}
.c-t4{color:var(--soft)} .c-t3{color:var(--math)} .c-t2{color:var(--t2)} .c-t1{color:var(--ink-2)} .c-t0{color:var(--fp)}

/* ---------- principles ---------- */
.principles{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:0 36px;margin:20px 0;counter-reset:p}
.principle{border-top:1px solid var(--rule);padding:14px 0 16px 38px;position:relative;counter-increment:p}
.principle::before{content:counter(p,decimal-leading-zero);position:absolute;left:0;top:16px;font:500 12px/1.4 var(--mono);color:var(--muted)}
.principle p{margin:0;font-size:15px;color:var(--ink-2)}
@media (max-width:760px){.principles{grid-template-columns:minmax(0,1fr)}}

/* ---------- roadmap ---------- */
.phases{list-style:none;margin:24px 0;padding:0;display:grid;gap:14px}
.phase{background:var(--surface);border:1px solid var(--rule);display:grid;grid-template-columns:150px minmax(0,1fr);}
.phase .hd{padding:18px;border-right:1px solid var(--rule-2);background:var(--sunk)}
.phase .hd b{display:block;font:700 13px/1 var(--mono);color:var(--muted);letter-spacing:.06em}
.phase .hd strong{display:block;font:700 18px/1.35 var(--serif);margin:8px 0 10px}
.phase .bd{padding:16px 20px}
.phase .bd p{margin:0 0 .6em;font-size:15px}
.phase .bd p:last-child{margin:0}
.phase .k{font:600 12px/1.4 var(--sans);color:var(--muted);text-transform:uppercase;letter-spacing:.06em;margin-right:6px}
@media (max-width:640px){.phase{grid-template-columns:minmax(0,1fr)}.phase .hd{border-right:0;border-bottom:1px solid var(--rule-2)}}

.goal{background:var(--surface);border:1px solid var(--rule);border-left:4px solid var(--soft);padding:18px 22px;margin:18px 0}
.goal h3{margin:0 0 6px}
.goal p{margin:0 0 .5em;font-size:15px}
.goal p:last-child{margin:0}

/* ---------- decisions ---------- */
.decision{background:var(--surface);border:1px solid var(--rule);padding:20px 24px;margin:18px 0}
.decision .meta{font:500 12px/1.4 var(--mono);color:var(--muted);letter-spacing:.04em}
.decision h3{margin:8px 0 12px}
.decision dl{margin:0;display:grid;grid-template-columns:110px minmax(0,1fr);gap:8px 18px;font-size:15px}
.decision dt{font-weight:600;color:var(--muted);font-size:13.5px;padding-top:2px}
.decision dd{margin:0}
.decision dd ul{margin:0;padding-left:1.1em}
@media (max-width:600px){.decision dl{grid-template-columns:minmax(0,1fr)}.decision dt{padding-top:6px}}

.refs{font-size:14px;color:var(--ink-2);padding-left:1.3em}
.refs li{margin-bottom:6px}

/* ---------- progress bars ---------- */
.legend{display:flex;flex-wrap:wrap;gap:6px 18px;font-size:13px;color:var(--ink-2);margin:12px 0}
.legend span{display:inline-flex;align-items:center;gap:6px}
.legend i{width:11px;height:11px;border-radius:2px;display:inline-block}
.sw-t4{background:var(--soft)} .sw-t3{background:var(--math)} .sw-t2{background:var(--t2)} .sw-t0{background:var(--fp)} .sw-no{background:var(--none)}
.sw-done{background:var(--soft)} .sw-align{background:var(--math)} .sw-impl{background:var(--fp)} .sw-todo{background:var(--none)}

.sbar{display:flex;height:14px;border-radius:2px;overflow:hidden;background:var(--sunk);gap:2px}
.sbar.big{height:26px}
.sbar > i{display:block;height:100%;min-width:3px}
.rows{display:grid;gap:0;margin:18px 0;background:var(--surface);border:1px solid var(--rule)}
.row{display:grid;grid-template-columns:minmax(0,1.4fr) 56px minmax(0,2fr);gap:16px;align-items:center;padding:11px 16px;border-bottom:1px solid var(--rule-2);font-size:14.5px}
.row:last-child{border-bottom:0}
.row .n{font:500 13px/1 var(--mono);text-align:right;color:var(--ink-2);font-variant-numeric:tabular-nums}
.row .cap{font-size:12.5px;color:var(--muted);margin-top:4px;font-family:var(--mono)}
@media (max-width:640px){.row{grid-template-columns:minmax(0,1fr) 40px}.row .barcell{grid-column:1 / -1}}

.ms{display:grid;gap:0;margin:18px 0;background:var(--surface);border:1px solid var(--rule)}
.ms .row{grid-template-columns:52px minmax(0,1.3fr) minmax(0,1.6fr) 64px}
.ms .code{font:700 13px/1 var(--mono);color:var(--muted)}
@media (max-width:640px){.ms .row{grid-template-columns:40px minmax(0,1fr) 48px}.ms .barcell{grid-column:1 / -1;order:4}}

.feat td:first-child{min-width:190px}
.feat td:last-child{min-width:260px;color:var(--ink-2)}
.st-done{color:var(--soft);background:var(--soft-bg)}
.st-align{color:var(--math);background:var(--math-bg)}
.st-impl{color:var(--fp);background:var(--fp-bg)}
.st-todo{color:var(--muted);background:var(--sunk)}

.planned{columns:2;column-gap:36px;font-size:14.5px;color:var(--ink-2);padding-left:1.1em;margin:10px 0}
.planned li{break-inside:avoid;margin-bottom:4px}
@media (max-width:640px){.planned{columns:1}}
details.more{margin:10px 0 0;border-top:1px solid var(--rule-2);padding-top:10px}
details.more summary{cursor:pointer;font-size:14.5px;font-weight:500;color:var(--ink-2)}

/* ---------- pipeline ---------- */
.pipe{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));gap:12px;margin:24px 0;position:relative}
.step{background:var(--surface);border:1px solid var(--rule);padding:16px 16px 18px;position:relative}
.step .who{font:500 11px/1 var(--mono);letter-spacing:.08em;text-transform:uppercase}
.step h4{margin:8px 0 6px}
.step p{margin:0;font-size:13.5px;line-height:1.6;color:var(--ink-2)}
.step.u{border-top:3px solid var(--fp)} .step.u .who{color:var(--fp)}
.step.c{border-top:3px solid var(--muted)} .step.c .who{color:var(--muted)}
.step.v{border-top:3px solid var(--math)} .step.v .who{color:var(--math)}
.step.o{border-top:3px solid var(--soft)} .step.o .who{color:var(--soft)}
.step:not(:last-child)::after{content:"→";position:absolute;right:-12px;top:50%;transform:translate(50%,-50%);font:500 16px/1 var(--mono);color:var(--muted);z-index:1}
@media (max-width:820px){.pipe{grid-template-columns:minmax(0,1fr)}.step:not(:last-child)::after{content:"↓";right:auto;left:50%;top:auto;bottom:-12px;transform:translate(-50%,50%)}}

.checks{list-style:none;padding:0;margin:16px 0;display:grid;gap:10px}
.checks li{background:var(--surface);border:1px solid var(--rule);padding:12px 16px;font-size:15px;display:grid;grid-template-columns:minmax(0,1fr) auto;gap:16px;align-items:baseline}
.checks li b{font:600 13.5px/1.4 var(--mono);color:var(--soft);white-space:nowrap}
@media (max-width:560px){.checks li{grid-template-columns:minmax(0,1fr)}}

.gaps{margin:16px 0;padding:0;list-style:none;display:grid;gap:10px}
.gaps li{background:var(--surface);border:1px solid var(--rule);border-left:3px solid var(--fp);padding:12px 16px;font-size:15px}
.gaps li strong{display:block;font-weight:600;margin-bottom:2px}

.note{font-size:13.5px;color:var(--muted);border-left:2px solid var(--rule);padding-left:12px;margin:14px 0}

/* ---------- footer ---------- */
footer{border-top:1px solid var(--rule);background:var(--sunk)}
footer .in{max-width:1180px;margin:0 auto;padding:28px 24px;font-size:13.5px;color:var(--muted);display:flex;flex-wrap:wrap;gap:8px 24px;justify-content:space-between}
footer a{color:var(--muted)}

/* ---------- domain navigation ---------- */
.nav .dom{font-family:var(--mono);font-size:13px;letter-spacing:.02em}
.nav .sep{width:1px;height:16px;background:var(--rule);margin:0 4px}
@media (max-width:860px){.nav .dom,.nav .sep{display:none}}
.domnav{display:flex;flex-wrap:wrap;gap:8px;margin:0 0 18px}
.domnav a{font:500 12px/1 var(--mono);letter-spacing:.05em;text-decoration:none;color:var(--muted);border:1px solid var(--rule);background:var(--surface);padding:7px 10px;border-radius:3px}
.domnav a:hover{color:var(--ink)}
.domnav a[aria-current="page"]{color:var(--paper);background:var(--ink);border-color:var(--ink)}

.domains{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:18px;margin:24px 0}
.domain{display:block;background:var(--surface);border:1px solid var(--rule);border-top:3px solid var(--ink);padding:18px 22px 20px;color:var(--ink);text-decoration:none;min-width:0}
.domain:hover{border-color:var(--muted)}
.domain.m{border-top-color:var(--math)} .domain.s{border-top-color:var(--soft)} .domain.f{border-top-color:var(--fp)} .domain.b{border-top-color:var(--t2)}
.domain .ref{font:500 11.5px/1.4 var(--mono);color:var(--muted);letter-spacing:.04em}
.domain h3{margin:6px 0 6px}
.domain p{margin:0 0 12px;font-size:14.5px;color:var(--ink-2)}
.domain .kv{display:grid;grid-template-columns:auto minmax(0,1fr);gap:4px 14px;font-size:13.5px;margin:0 0 12px}
.domain .kv b{font:600 13px/1.5 var(--mono);font-variant-numeric:tabular-nums;white-space:nowrap}
.domain .kv span{color:var(--muted)}
.domain .go{font-size:14px;font-weight:500;color:var(--math)}
@media (max-width:760px){.domains{grid-template-columns:minmax(0,1fr)}}

/* ---------- run report excerpt ---------- */
.report{background:var(--surface);border:1px solid var(--rule);margin:20px 0;overflow:hidden}
.report .cmd{font:500 12.5px/1.6 var(--mono);color:var(--muted);background:var(--sunk);border-bottom:1px solid var(--rule-2);padding:8px 14px;overflow-x:auto;white-space:pre}
.report pre{margin:0;padding:12px 14px;font:400 12.5px/1.7 var(--mono);overflow-x:auto;color:var(--ink-2)}
.report pre b{color:var(--soft);font-weight:600}
.report pre .c{color:var(--muted)}
.outs td:first-child{font:600 12.5px/1.6 var(--mono);white-space:nowrap;color:var(--ink-2)}

/* ---------- charts ---------- */
.chart{background:var(--surface);border:1px solid var(--rule);margin:24px 0;padding:18px 18px 12px;position:relative}
.chart h4{margin:0 0 2px}
.chart .cap{font-size:13.5px;color:var(--muted);margin:0 0 10px;max-width:46em}
.chart .key{display:flex;flex-wrap:wrap;gap:6px 18px;font-size:13px;color:var(--ink-2);margin:0 0 6px}
.chart .key span{display:inline-flex;align-items:center;gap:7px}
.chart .key i{display:inline-block;width:16px;height:2px;border-radius:1px}
.chart .key i.dash{height:0;border-top:1.5px dashed var(--muted)}
.chart .plot{position:relative;width:100%}
.chart svg{display:block;width:100%;height:auto;overflow:visible;touch-action:pan-y}
.chart .ax line,.chart .ax path{stroke:var(--rule)}
.chart .gl{stroke:var(--rule-2)}
.chart text{fill:var(--muted);font:400 11.5px var(--mono)}
.chart text.lb{fill:var(--ink-2);font:500 12px var(--sans)}
.chart .ref{stroke:var(--muted);stroke-dasharray:4 4;stroke-width:1.2}
.chart .s1{stroke:var(--c1)} .chart .s2{stroke:var(--c2)}
.chart .f1{fill:var(--c1)} .chart .f2{fill:var(--c2)}
.chart .ln{fill:none;stroke-width:2;stroke-linejoin:round;stroke-linecap:round}
.chart .dot{stroke:var(--surface);stroke-width:2}
.chart .xh{stroke:var(--muted);stroke-width:1}
.chart .tip{position:absolute;pointer-events:none;background:var(--surface);border:1px solid var(--rule);box-shadow:0 4px 14px rgba(0,0,0,.08);padding:8px 10px;font-size:12.5px;line-height:1.5;min-width:150px;opacity:0;transition:opacity .08s}
.chart .tip.on{opacity:1}
.chart .tip .x{font:500 11.5px var(--mono);color:var(--muted);margin-bottom:2px}
.chart .tip .r{display:grid;grid-template-columns:14px auto;gap:0 8px;align-items:center}
.chart .tip .r i{display:block;width:12px;height:2px}
.chart .tip .r b{font:600 12.5px var(--mono);font-variant-numeric:tabular-nums;color:var(--ink)}
.chart .tip .r span{grid-column:2;color:var(--muted);font-size:12px;margin-bottom:3px}
.chart details{margin-top:6px;font-size:13px}
.chart details summary{cursor:pointer;color:var(--ink-2)}
.chart details .tbl{max-height:260px;overflow:auto;margin:8px 0 0}
.chart details td,.chart details th{padding:4px 10px;font:400 12px var(--mono)}

/* ---------- narrow screens ---------- */
@media (max-width:640px){
  .feat thead{display:none}
  .feat tr{display:block;border-bottom:1px solid var(--rule-2);padding:10px 0}
  .feat tr:last-child{border-bottom:0}
  .feat td{display:block;border:0;padding:2px 14px;min-width:0 !important}
  .feat td:first-child{font-weight:600}
  .feat td:last-child{font-size:14px}
}
@media (max-width:420px){
  .brand{font-size:14px}
  .nav a{font-size:13px;padding:6px 5px}
  .nav .lang{margin-left:2px}
}