:root{
  --bg:#0e1012;
  --bg-2:#14171a;
  --bg-3:#191d21;
  --line:#2a3036;
  --line-2:#363d44;
  --text:#cdd2d6;
  --muted:#828a92;
  --dim:#575f66;
  --accent:#8fb3c9;
  --accent-dim:#4d6b7d;
  --ok:#8bb59a;
  --bad:#b58b8b;
  --mono:"IBM Plex Mono",ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;
  --sans:"IBM Plex Sans",system-ui,-apple-system,"Segoe UI",Helvetica,Arial,sans-serif;
  --nav-w:248px;
}
*{box-sizing:border-box}
html{color-scheme:dark}
body{margin:0;background:var(--bg);color:var(--text);font-family:var(--sans);font-size:15px;line-height:1.65;-webkit-font-smoothing:antialiased}
a{color:var(--accent);text-decoration:none;border-bottom:1px solid var(--accent-dim)}
a:hover{border-bottom-color:var(--accent)}
a:focus-visible,button:focus-visible{outline:1px solid var(--accent);outline-offset:2px}
code,kbd,pre,.mono{font-family:var(--mono)}
code{font-size:.9em;color:var(--text);background:var(--bg-3);padding:.05em .35em;border:1px solid var(--line);border-radius:2px}
pre{margin:0;background:var(--bg-3);border:1px solid var(--line);padding:14px 16px;overflow-x:auto;font-size:13px;line-height:1.6;color:var(--text)}
pre code{background:none;border:0;padding:0;font-size:inherit}
h1,h2,h3{font-family:var(--mono);font-weight:500;letter-spacing:-.01em;text-wrap:balance;margin:0}
h1{font-size:26px;line-height:1.25}
h2{font-size:18px;line-height:1.3;color:var(--text);padding-top:8px}
h3{font-size:14px;color:var(--text);margin-top:26px}
p{margin:0 0 14px;max-width:68ch}
ul,ol{margin:0 0 14px;padding-left:22px;max-width:68ch}
li{margin-bottom:4px}
hr{border:0;border-top:1px solid var(--line);margin:34px 0}
.eyebrow{font-family:var(--mono);font-size:11px;letter-spacing:.12em;text-transform:uppercase;color:var(--muted)}
.secno{font-family:var(--mono);color:var(--dim);margin-right:10px;font-weight:400}

/* frame */
.topbar{position:sticky;top:0;z-index:20;background:var(--bg);border-bottom:1px solid var(--line);height:44px;display:flex;align-items:center;gap:18px;padding-inline:18px;font-family:var(--mono);font-size:12px;color:var(--muted)}
.topbar .brand{color:var(--text);font-weight:500;letter-spacing:.04em}
.topbar .sep{color:var(--dim)}
.topbar .grow{flex:1}
.topbar .pill{border:1px solid var(--line-2);padding:2px 8px;border-radius:2px;color:var(--text);font-size:11px;letter-spacing:.06em}
.topbar .pill b{color:var(--ok);font-weight:500}
.navtoggle{display:none;background:none;border:1px solid var(--line-2);color:var(--text);font:inherit;padding:3px 9px;border-radius:2px;cursor:pointer}
.frame{display:grid;grid-template-columns:var(--nav-w) minmax(0,1fr);min-height:calc(100vh - 44px)}
.nav{border-right:1px solid var(--line);background:var(--bg-2);position:sticky;top:44px;height:calc(100vh - 44px);overflow-y:auto;padding:22px 0 30px;font-family:var(--mono);font-size:12.5px}
.nav .group{padding:0 18px;margin-bottom:18px}
.nav .group-title{color:var(--dim);font-size:10.5px;letter-spacing:.12em;text-transform:uppercase;margin-bottom:8px}
.nav a{display:flex;gap:10px;color:var(--muted);border:0;padding:4px 0 4px 10px;border-left:1px solid transparent;margin-left:-11px;line-height:1.4}
.nav a .n{color:var(--dim);min-width:26px}
.nav a:hover{color:var(--text)}
.nav a.active{color:var(--text);border-left-color:var(--accent)}
.nav a.active .n{color:var(--accent)}
main{padding:40px 56px 120px;max-width:980px}
section{scroll-margin-top:60px;margin-bottom:56px}
.doc-head{margin-bottom:44px;padding-bottom:28px;border-bottom:1px solid var(--line)}
.doc-head .meta{display:grid;grid-template-columns:repeat(auto-fit,minmax(170px,1fr));gap:12px 26px;margin-top:22px;font-family:var(--mono);font-size:12px}
.doc-head .meta div{border-top:1px solid var(--line);padding-top:8px}
.doc-head .meta .k{color:var(--dim);font-size:10.5px;letter-spacing:.1em;text-transform:uppercase;display:block;margin-bottom:3px}
.lead{font-size:16.5px;color:var(--text);max-width:64ch}

/* tables */
.tbl{width:100%;border-collapse:collapse;font-size:13.5px;margin:14px 0 20px}
.tbl th{font-family:var(--mono);font-weight:500;font-size:11px;letter-spacing:.1em;text-transform:uppercase;color:var(--muted);text-align:left;padding:8px 10px;border-bottom:1px solid var(--line-2)}
.tbl td{padding:9px 10px;border-bottom:1px solid var(--line);vertical-align:top}
.tbl td:first-child{font-family:var(--mono);color:var(--muted);white-space:nowrap;font-size:12.5px}
.tbl tr:last-child td{border-bottom:0}
.tblwrap{overflow-x:auto;border:1px solid var(--line);background:var(--bg-2);margin:14px 0 20px}
.tblwrap .tbl{margin:0}
.tblwrap .tbl th{background:var(--bg-3)}

/* callouts */
.note{border:1px solid var(--line);border-left:2px solid var(--accent-dim);background:var(--bg-2);padding:14px 16px;margin:18px 0;max-width:72ch}
.note .eyebrow{margin-bottom:6px;display:block}
.note p:last-child{margin-bottom:0}
.quote{border-left:2px solid var(--line-2);padding:4px 0 4px 16px;margin:18px 0;color:var(--text);max-width:66ch;font-style:normal}
.quote .who{display:block;margin-top:8px;font-family:var(--mono);font-size:12px;color:var(--muted)}

/* stat strip */
.stats{display:grid;grid-template-columns:repeat(auto-fit,minmax(150px,1fr));border:1px solid var(--line);background:var(--bg-2);margin:20px 0}
.stats>div{padding:14px 16px;border-right:1px solid var(--line)}
.stats>div:last-child{border-right:0}
.stats .v{font-family:var(--mono);font-size:22px;font-variant-numeric:tabular-nums;color:var(--text);line-height:1.1}
.stats .k{font-family:var(--mono);font-size:11px;color:var(--muted);letter-spacing:.08em;text-transform:uppercase;margin-top:6px}
.bar{display:flex;height:10px;border:1px solid var(--line-2);margin:8px 0 6px;max-width:520px}
.bar .a{background:var(--ok);flex:38}
.bar .b{background:var(--bg-3);flex:14}
.legend{font-family:var(--mono);font-size:12px;color:var(--muted);display:flex;gap:18px;flex-wrap:wrap}
.legend i{display:inline-block;width:9px;height:9px;border:1px solid var(--line-2);margin-right:6px;vertical-align:-1px}
.legend .ok{background:var(--ok)}
.legend .no{background:var(--bg-3)}

/* people */
.people{display:grid;grid-template-columns:repeat(auto-fit,minmax(220px,1fr));gap:1px;background:var(--line);border:1px solid var(--line);margin:18px 0 20px}
.people>div{background:var(--bg-2);padding:16px}
.people .name{font-family:var(--mono);font-size:14px;color:var(--text)}
.people .life{font-family:var(--mono);font-size:12px;color:var(--dim);margin-bottom:8px}
.people p{font-size:13.5px;margin:0;color:var(--muted)}

/* timeline */
.tl{list-style:none;padding:0;margin:18px 0 20px;max-width:none;border-top:1px solid var(--line)}
.tl li{display:grid;grid-template-columns:130px 1fr;gap:18px;padding:12px 0;border-bottom:1px solid var(--line);margin:0}
.tl .d{font-family:var(--mono);font-size:12.5px;color:var(--accent);white-space:nowrap}
.tl .t{font-size:14px;max-width:66ch}
.tl .t b{font-weight:500;color:var(--text)}

/* trace */
.trace{border:1px solid var(--line);background:var(--bg-2);margin:18px 0 20px;max-width:760px}
.trace .head{display:flex;align-items:center;gap:12px;padding:10px 14px;border-bottom:1px solid var(--line);font-family:var(--mono);font-size:12px;color:var(--muted);flex-wrap:wrap}
.trace .head .grow{flex:1}
.trace button{font-family:var(--mono);font-size:12px;background:var(--bg-3);color:var(--text);border:1px solid var(--line-2);padding:4px 10px;border-radius:2px;cursor:pointer}
.trace button:hover{border-color:var(--accent-dim)}
.trace button:disabled{opacity:.4;cursor:default}
.trace .rows{font-family:var(--mono);font-size:13px}
.trace .row{display:grid;grid-template-columns:34px 1fr 220px;gap:14px;padding:10px 14px;border-bottom:1px solid var(--line);color:var(--dim);transition:color .25s}
.trace .row:last-child{border-bottom:0}
.trace .row.on{color:var(--text)}
.trace .row.on .why{color:var(--muted)}
.trace .row.on.goal{color:var(--ok)}
.trace .row .why{color:var(--dim);font-size:12px}
.trace .status{font-family:var(--mono);font-size:12px;padding:8px 14px;border-top:1px solid var(--line);color:var(--muted);min-height:34px}
.trace .status b{color:var(--ok);font-weight:500}

/* svg diagram */
.fig{border:1px solid var(--line);background:var(--bg-2);padding:16px;margin:18px 0 8px;max-width:760px;overflow-x:auto}
.fig svg{display:block;width:100%;height:auto;max-width:100%;min-width:520px}
.figcap{font-family:var(--mono);font-size:12px;color:var(--muted);margin:0 0 20px;max-width:70ch}
.n-fill{fill:var(--bg-3)}
.n-line{stroke:var(--line-2);fill:none}
.n-txt{fill:var(--text);font-family:var(--mono);font-size:11px}
.n-dim{fill:var(--dim);font-family:var(--mono);font-size:10px}
.e-live{stroke:var(--accent);stroke-width:1.4;fill:none}
.e-dead{stroke:var(--line-2);stroke-dasharray:3 3;fill:none}
.n-goal{stroke:var(--ok)}
.n-cut{stroke:var(--bad)}

/* token */
.spec{display:grid;grid-template-columns:150px 1fr;border:1px solid var(--line);background:var(--bg-2);margin:18px 0 20px;max-width:760px;font-size:13.5px}
.spec>div{padding:10px 14px;border-bottom:1px solid var(--line)}
.spec>div:nth-last-child(-n+2){border-bottom:0}
.spec .k{font-family:var(--mono);font-size:11px;letter-spacing:.1em;text-transform:uppercase;color:var(--muted);padding-top:13px}
.spec .v{font-family:var(--mono);display:flex;align-items:center;gap:10px;flex-wrap:wrap;word-break:break-all}
.spec .pending{color:var(--dim)}
.spec button{font-family:var(--mono);font-size:11px;background:var(--bg-3);color:var(--muted);border:1px solid var(--line-2);padding:2px 8px;border-radius:2px;cursor:pointer}
.spec button:hover{color:var(--text);border-color:var(--accent-dim)}
.links{display:flex;gap:10px;flex-wrap:wrap;margin:6px 0 20px}
.links a{font-family:var(--mono);font-size:12px;border:1px solid var(--line-2);padding:6px 12px;border-radius:2px;color:var(--text)}
.links a:hover{border-color:var(--accent)}
.links a.pending{color:var(--dim);border-style:dashed;pointer-events:none}
.gloss dt{font-family:var(--mono);font-size:13px;color:var(--text);margin-top:12px}
.gloss dd{margin:2px 0 0;color:var(--muted);font-size:13.5px;max-width:66ch}
.refs{font-size:13.5px;color:var(--muted)}
.refs li{margin-bottom:8px}
footer{border-top:1px solid var(--line);margin-top:60px;padding-top:18px;font-family:var(--mono);font-size:11.5px;color:var(--dim);display:flex;gap:18px;flex-wrap:wrap}

@media (max-width:900px){
  .frame{grid-template-columns:1fr}
  .nav{position:fixed;left:0;right:0;top:44px;height:auto;max-height:calc(100vh - 44px);border-right:0;border-bottom:1px solid var(--line);display:none;z-index:15}
  .nav.open{display:block}
  .navtoggle{display:inline-block}
  main{padding:28px 18px 90px}
  .tl li{grid-template-columns:1fr;gap:4px}
  .trace .row{grid-template-columns:28px 1fr}
  .trace .row .why{grid-column:2}
  .spec{grid-template-columns:1fr}
  .spec .k{padding-bottom:0;border-bottom:0}
  .spec>div:nth-last-child(-n+2){border-bottom:1px solid var(--line)}
  .spec>div:last-child{border-bottom:0}
  .topbar .hide-s{display:none}
}
@media (prefers-reduced-motion:reduce){*{transition:none!important}}

/* intro */
#intro{position:fixed;inset:0;z-index:40;background:var(--bg);display:flex;flex-direction:column;justify-content:center;padding:0 clamp(18px,8vw,120px) 40px;font-family:var(--mono);cursor:default;transition:opacity 1.1s ease,visibility 0s linear 1.1s}
#intro.out{opacity:0;visibility:hidden}
#intro .stamp{font-size:11px;letter-spacing:.14em;text-transform:uppercase;color:var(--dim);margin-bottom:26px;min-height:16px}
#intro .line{font-size:clamp(19px,5vw,46px);line-height:1.2;color:var(--text);min-height:1.2em;letter-spacing:-.01em;white-space:pre}
#intro .line.l2{color:var(--accent);margin-top:10px}
#intro .cur{display:inline-block;width:.5em;height:1em;background:var(--text);vertical-align:-.12em;margin-left:3px;animation:blink 1s steps(1) infinite}
#intro .line.l2 .cur{background:var(--accent)}
@keyframes blink{50%{opacity:0}}
#intro .log{position:absolute;left:clamp(18px,8vw,120px);right:18px;bottom:30px;font-size:11px;line-height:1.7;color:var(--dim);max-width:64ch;white-space:pre;overflow:hidden;max-height:6.8em;pointer-events:none}
#intro .ctl{position:absolute;right:20px;top:12px;display:flex;gap:8px}
#intro .skip,#intro .snd{font-family:var(--mono);font-size:11px;letter-spacing:.12em;text-transform:uppercase;color:var(--muted);background:none;border:1px solid var(--line-2);padding:4px 10px;border-radius:2px;cursor:pointer}
#intro .skip:hover,#intro .snd:hover{color:var(--text);border-color:var(--accent-dim)}
#intro .snd.locked{color:var(--accent);border-color:var(--accent-dim)}
#intro .rule{position:absolute;left:0;right:0;bottom:0;height:1px;background:var(--line)}
#intro .prog{position:absolute;left:0;bottom:0;height:1px;width:0;background:var(--accent);transition:width .6s ease}
body.intro-on{overflow:hidden}
.topbar,.frame{transition:opacity 1s ease .15s,transform 1s ease .15s}
body.intro-on .topbar,body.intro-on .frame{opacity:0;transform:translateY(14px)}
@media (max-width:600px){#intro .log{max-height:4em;bottom:22px}}
@media (prefers-reduced-motion:reduce){#intro,.topbar,.frame{transition:opacity .3s ease}#intro .cur{animation:none}}

/* guided read */
.toplink{font-family:var(--mono);font-size:11px;letter-spacing:.08em;text-transform:uppercase;color:var(--muted);border:0}
.toplink:hover{color:var(--text)}
.guide{display:grid;grid-template-columns:var(--nav-w) minmax(0,1fr);min-height:calc(100vh - 44px)}
.rail{border-right:1px solid var(--line);background:var(--bg-2);position:sticky;top:44px;height:calc(100vh - 44px);overflow-y:auto;padding:26px 0;font-family:var(--mono);font-size:12.5px}
.rail .rail-title{padding:0 18px;color:var(--dim);font-size:10.5px;letter-spacing:.12em;text-transform:uppercase;margin-bottom:12px}
.rail ol{list-style:none;margin:0;padding:0;max-width:none}
.rail li{display:flex;gap:12px;padding:7px 18px 7px 17px;border-left:1px solid transparent;color:var(--dim);margin:0;line-height:1.4}
.rail li .n{min-width:22px;color:var(--dim)}
.rail li.done{color:var(--muted);cursor:pointer}
.rail li.done .n{color:var(--accent)}
.rail li.done:hover{color:var(--text)}
.rail li.cur{color:var(--text);cursor:pointer}
.rail li.cur .n{color:var(--accent)}
.rail li.sel{border-left-color:var(--accent);background:var(--bg-3)}
.rail li.locked .n::after{content:""}
.rail .rail-foot{padding:18px 18px 0;color:var(--dim);font-size:11px;line-height:1.6;border-top:1px solid var(--line);margin-top:14px}
.progress{display:none}
.stage{padding:56px 48px 120px;max-width:760px}
.step{display:none}
.step.on{display:block;animation:stepin .45s ease both}
@keyframes stepin{from{opacity:0;transform:translateY(8px)}to{opacity:1;transform:none}}
.step .eyebrow{margin-bottom:14px}
.step h2{font-size:24px;line-height:1.25;margin-bottom:22px;max-width:22ch}
.step p{font-size:16px;line-height:1.7;max-width:62ch;margin-bottom:16px}
.step .body>*:last-child{margin-bottom:0}
.facts{display:grid;grid-template-columns:repeat(4,1fr);border:1px solid var(--line);background:var(--bg-2);margin:26px 0 0;max-width:620px}
.facts>div{padding:12px 14px;border-right:1px solid var(--line)}
.facts>div:last-child{border-right:0}
.facts .v{font-family:var(--mono);font-size:15px;color:var(--text)}
.facts .k{font-family:var(--mono);font-size:10.5px;color:var(--dim);letter-spacing:.08em;text-transform:uppercase;margin-top:4px}
.step .tblwrap{max-width:620px;margin:22px 0 0}
.step .bar{margin-top:22px}
.step .fig{margin-top:22px;max-width:620px}
.step .figcap{margin:8px 0 0}
.step .trace{margin:22px 0 0;max-width:620px}
.three{display:grid;grid-template-columns:1fr;gap:1px;background:var(--line);border:1px solid var(--line);margin:22px 0 0;max-width:620px}
.three>div{background:var(--bg-2);padding:14px 16px}
.three .t{font-family:var(--mono);font-size:13px;color:var(--text);margin-bottom:4px}
.three p{font-size:14px;line-height:1.6;color:var(--muted);margin:0}
.rows{border-top:1px solid var(--line);margin:22px 0 0;max-width:620px}
.rows>div{display:grid;grid-template-columns:64px 1fr;gap:16px;padding:10px 0;border-bottom:1px solid var(--line);font-size:14px}
.rows .y{font-family:var(--mono);color:var(--accent);font-size:12.5px;padding-top:2px}
.rows b{font-weight:500;color:var(--text)}
.rows span{color:var(--muted)}
.actions{display:flex;align-items:center;gap:16px;margin-top:34px;padding-top:22px;border-top:1px solid var(--line);max-width:620px;flex-wrap:wrap}
.btn{font-family:var(--mono);font-size:13px;background:var(--bg-3);color:var(--text);border:1px solid var(--line-2);padding:9px 16px;border-radius:2px;cursor:pointer}
.btn:hover{border-color:var(--accent)}
.btn:disabled{opacity:.4;cursor:default;border-color:var(--line-2)}
.btn.primary{background:var(--accent);color:var(--bg);border-color:var(--accent);font-weight:500}
.btn.primary:hover{background:var(--text);border-color:var(--text)}
a.btn{border-bottom:1px solid var(--line-2)}
a.btn.primary{border-bottom-color:var(--accent)}
.actions .hint{font-family:var(--mono);font-size:12px;color:var(--dim)}
.actions .count{font-family:var(--mono);font-size:12px;color:var(--dim);margin-left:auto;font-variant-numeric:tabular-nums}
.step .spec{margin-top:22px;max-width:620px}
.step .links{margin-top:14px}
body.intro-on .guide{opacity:0;transform:translateY(14px)}
.guide{transition:opacity 1s ease .15s,transform 1s ease .15s}
@media (max-width:900px){
  .guide{grid-template-columns:1fr}
  .rail{display:none}
  .progress{display:flex;align-items:center;gap:12px;position:sticky;top:44px;z-index:10;background:var(--bg-2);border-bottom:1px solid var(--line);margin:-30px -18px 26px;padding:8px 18px;font-family:var(--mono);font-size:11.5px;color:var(--muted)}
  .progress .track{flex:1;height:2px;background:var(--line)}
  .progress .fill{height:100%;background:var(--accent);width:0;transition:width .4s ease}
  .stage{padding:30px 18px 90px}
  .step h2{font-size:21px}
  .facts{grid-template-columns:1fr 1fr}
  .facts>div:nth-child(2){border-right:0}
  .facts>div:nth-child(-n+2){border-bottom:1px solid var(--line)}
  .rows>div{grid-template-columns:1fr;gap:2px}
}
@media (prefers-reduced-motion:reduce){.step.on{animation:none}}
.btn.restart{color:var(--muted)}
.btn.restart:hover{color:var(--text)}