:root{
  --bg:#F6F7F9;--surface:#FFFFFF;--surface-2:#EEF0F4;
  --ink:#1B2230;--ink-2:#4E5869;--ink-3:#8A93A3;--line:#C9CFD9;--line-soft:#DDE1E8;
  --ruby:#B3122E;--ruby-bg:#FBE7EB;--ruby-ink:#7A0C1F;--on-ruby:#FFFFFF;--dot:#E0314F;
  --steel:#2F5D8C;--steel-bg:#E3EDF7;--steel-ink:#1D3F63;
  --term:#161A22;--term-ink:#E8EBF1;--term-dim:#8C95A6;--term-ruby:#FF6B86;
  --sans:"IBM Plex Sans",system-ui,-apple-system,"Segoe UI",Roboto,sans-serif;
  --mono:"IBM Plex Mono",ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;
  --bar-h:84px;
  box-sizing:border-box;
  padding-top:env(safe-area-inset-top,0px);
  padding-bottom:env(safe-area-inset-bottom,0px);
}
@media (prefers-color-scheme:dark){
  :root:not([data-theme="light"]){
    --bg:#11141A;--surface:#181C24;--surface-2:#1F2530;
    --ink:#E6E9EF;--ink-2:#AEB6C4;--ink-3:#747E8F;--line:#3A4250;--line-soft:#2A313C;
    --ruby:#FF5C7A;--ruby-bg:#3A1720;--ruby-ink:#FFC2CE;--on-ruby:#1B0A0F;--dot:#FF8FA3;
    --steel:#7FB0E6;--steel-bg:#172738;--steel-ink:#CFE3F7;
    --term:#0B0D12;--term-ink:#E8EBF1;--term-dim:#7C8596;--term-ruby:#FF6B86;
  }
}
:root[data-theme="dark"]{
  --bg:#11141A;--surface:#181C24;--surface-2:#1F2530;
  --ink:#E6E9EF;--ink-2:#AEB6C4;--ink-3:#747E8F;--line:#3A4250;--line-soft:#2A313C;
  --ruby:#FF5C7A;--ruby-bg:#3A1720;--ruby-ink:#FFC2CE;--on-ruby:#1B0A0F;--dot:#FF8FA3;
  --steel:#7FB0E6;--steel-bg:#172738;--steel-ink:#CFE3F7;
  --term:#0B0D12;--term-ink:#E8EBF1;--term-dim:#7C8596;--term-ruby:#FF6B86;
}
html{scroll-padding-top:env(safe-area-inset-top,0px)}
*,*::before,*::after{box-sizing:inherit}
body{margin:0;background:var(--bg);color:var(--ink);font-family:var(--sans);font-size:15px;line-height:1.5}
.wrap{max-width:1440px;margin:0 auto;padding:12px 14px 24px}
button{font-family:var(--sans)}
button:focus-visible,summary:focus-visible{outline:2px solid var(--steel);outline-offset:2px}
.card{background:var(--surface);border:1px solid var(--line-soft);border-radius:12px}

/* 1. header band */
.top{background:var(--term);color:var(--term-ink);border-radius:14px;padding:12px 18px;display:grid;grid-template-columns:minmax(0,1fr) auto;gap:6px 20px;align-items:center}
.kicker{margin:0;font-size:12.5px;color:var(--term-dim)}
.prompt{margin:0;font-family:var(--mono);font-weight:500;font-size:clamp(18px,2.2vw,26px);line-height:1.25;white-space:nowrap;overflow-x:auto}
.prompt .dollar{color:var(--term-dim);margin-right:.2em}
.prompt .flag{color:var(--term-ruby)}
.cursor{display:inline-block;width:.55em;height:1em;margin-left:.15em;vertical-align:-.12em;background:var(--term-ruby);animation:blink 1.1s steps(1) infinite}
@keyframes blink{50%{opacity:0}}
.casedesc{margin:2px 0 0;font-size:13px;color:var(--term-ink);opacity:.8;max-width:90ch}
.right{display:flex;flex-direction:column;align-items:flex-end;gap:6px}
.cases{display:inline-flex;background:rgba(255,255,255,.07);border:1px solid rgba(255,255,255,.14);border-radius:10px;padding:3px;gap:3px}
.cases button{border:0;border-radius:7px;background:transparent;color:var(--term-ink);padding:6px 12px;cursor:pointer;text-align:left;line-height:1.25;font-size:14px;font-weight:500}
.cases button small{display:block;font-size:11.5px;font-weight:400;color:var(--term-dim)}
.cases button[aria-selected="true"]{background:var(--term-ruby);color:#1B0A0F}
.cases button[aria-selected="true"] small{color:#3A1720}
.about{font-size:12px;color:var(--term-dim);text-align:right}
.about summary{cursor:pointer}
.about p{margin:6px 0 0;max-width:60ch;text-align:left;color:var(--term-ink);opacity:.8}

/* 2. sticky control bar */
.bar{position:sticky;top:calc(6px + env(safe-area-inset-top,0px));z-index:5;margin:10px 0;padding:8px 12px;display:grid;grid-template-columns:auto auto minmax(0,1fr);gap:6px 16px;align-items:center;box-shadow:0 4px 14px -10px rgba(0,0,0,.35)}
.steps{display:flex;flex-wrap:wrap;gap:4px;margin:0;padding:0;list-style:none}
.steps button{width:28px;height:28px;border-radius:50%;border:1px solid var(--line);background:var(--surface);color:var(--ink-2);font-size:13px;font-weight:500;cursor:pointer;padding:0}
.steps button[aria-current="step"]{background:var(--ruby);border-color:var(--ruby);color:var(--on-ruby)}
.steps button:hover{border-color:var(--ruby)}
.nav{display:flex;gap:4px}
.nav button{height:30px;min-width:30px;padding:0 10px;border-radius:8px;border:1px solid var(--line);background:var(--surface);color:var(--ink);font-size:13px;font-weight:500;cursor:pointer;white-space:nowrap}
.nav button.primary{background:var(--ruby);border-color:var(--ruby);color:var(--on-ruby)}
.nav button.play{border-color:var(--ruby);color:var(--ruby)}
.nav button.play[aria-pressed="true"]{background:var(--ruby-bg)}
.nav button:disabled{opacity:.4;cursor:default}
.stepinfo{min-width:0;border-left:1px solid var(--line-soft);padding-left:14px}
.step-title{font-size:15px;font-weight:600;margin:0;line-height:1.3}
.step-sub{font-size:12.5px;color:var(--ink-2);margin:1px 0 0;line-height:1.4}

/* 3. program views */
.views{display:grid;grid-template-columns:minmax(0,.8fr) minmax(0,1.1fr) minmax(0,2.1fr);overflow:hidden;margin-bottom:10px}
.vcol{min-width:0;display:flex;flex-direction:column}
.vcol+.vcol{border-left:1px solid var(--line-soft)}
.vhead{display:flex;justify-content:space-between;align-items:baseline;gap:8px;padding:6px 12px;border-bottom:1px solid var(--line-soft)}
.vhead h3{margin:0;font-size:13px;font-weight:600}
.vhead span{font-size:11.5px;color:var(--ink-3);text-align:right}
.vhead span.live{color:var(--ruby)}
.vbody{position:relative;font-family:var(--mono);font-size:12px;line-height:1.5;padding:4px 0 6px;height:270px;overflow:auto}
.vbody .row{display:flex;gap:10px;padding:1px 12px;white-space:pre;transition:background .2s,opacity .2s}
.vbody .row .no{color:var(--ink-3);user-select:none}
.vbody .row.on{background:var(--ruby-bg);color:var(--ruby-ink)}
.vbody .row.on .no{color:var(--ruby)}
.vbody .row .note{color:var(--ink-3);font-size:11px}
.vbody .row.on .note{color:var(--ruby)}
.vbody .row .guide{color:var(--ink-3)}
.vbody .row .type{color:var(--steel);font-size:11px}
.vbody .row.ln{font-size:13px}
.vbody.faded .row,.vbody.faded .bhead,.vbody.faded .blocal{opacity:.4}
.vbody.faded .row.on{opacity:.85}
.vbody .empty{font-family:var(--sans);font-size:12.5px;color:var(--ink-3);padding:12px}
.bnote{font-family:var(--sans);font-size:11.5px;color:var(--ink-3);padding:2px 12px 4px}
.bhead{color:var(--ink-2);padding:6px 12px 0;white-space:pre}
.blocal{color:var(--ink-3);padding:0 12px;white-space:pre}
.secnote{font-family:var(--sans);font-size:11.5px;color:var(--steel);padding:1px 12px}
.bgrid{display:grid;grid-template-columns:max-content max-content max-content max-content;width:max-content;min-width:100%}
.vbody .brow,.vbody .row.brow{display:contents;padding:0}
.brow>span{padding:1px 0 1px 1.4ch;white-space:pre;transition:background .2s}
.brow>span:first-child{padding-left:12px}
.brow>span:last-child{padding-right:12px}
.brow .no{color:var(--ink-3)}
.brow .ev{color:var(--ink-3)}
.brow.on>span{background:var(--ruby-bg);color:var(--ruby-ink)}
.brow.on .no,.brow.on .ev{color:var(--ruby)}
.brow.jit>span{background:var(--steel-bg);color:var(--steel-ink)}
.vbody.faded .brow>span{opacity:.4}
.vbody.faded .brow.on>span{opacity:.85}

/* 4. diagrams + messages */
.lower{display:grid;grid-template-columns:minmax(0,1fr) minmax(0,380px);gap:10px;align-items:start}
.stage{display:flex;flex-direction:column;gap:10px;min-width:0}
.msgpanel{position:sticky;top:calc(var(--bar-h) + 16px + env(safe-area-inset-top,0px));max-height:calc(100vh - var(--bar-h) - 28px);display:flex;flex-direction:column;padding:10px 8px 8px 10px;min-height:0}
.msgpanel h2{font-size:13px;font-weight:600;color:var(--ink-2);margin:0 4px 4px}
.msgs{overflow-y:auto;min-height:0;display:flex;flex-direction:column;gap:1px;padding-right:4px}
.m{display:grid;grid-template-columns:20px minmax(0,1fr);gap:9px;padding:6px;border-radius:8px;transition:background .2s}
.m.on{background:var(--ruby-bg)}
.num{width:20px;height:20px;border-radius:50%;background:var(--ruby);color:var(--on-ruby);font-size:11px;font-weight:500;display:flex;align-items:center;justify-content:center}
.who{font-size:12.5px;font-weight:600}
.data{font-family:var(--mono);font-size:12px;color:var(--ink);word-break:break-word;margin-top:1px}
.hwline{font-size:11.5px;color:var(--ink-2);margin-top:2px}
figure{margin:0;padding:8px 10px 6px}
.fighead{display:flex;justify-content:space-between;align-items:baseline;gap:6px 16px;flex-wrap:wrap;margin:0 4px 2px}
.fighead h2{font-size:14px;font-weight:600;margin:0}
.legend{display:flex;flex-wrap:wrap;gap:4px 14px;font-size:12px;color:var(--ink-2)}
.sw{display:inline-block;width:11px;height:11px;border-radius:3px;vertical-align:-1px;margin-right:5px;border:1.5px solid}
.sw.r{background:var(--ruby-bg);border-color:var(--ruby)}
.sw.s{background:var(--steel-bg);border-color:var(--steel)}
.sw.f{background:var(--surface-2);border-color:var(--line);opacity:.5}
.scroll{overflow-x:auto}
svg{display:block;width:100%;height:auto;min-width:560px}
svg .t{font:400 14px var(--sans);fill:var(--ink)}
svg .th{font:500 14px var(--sans);fill:var(--ink)}
svg .ts{font:400 12px var(--sans);fill:var(--ink-2)}
svg .dep rect{fill:none;stroke:var(--line);stroke-width:1;stroke-dasharray:4 4}
svg .node{transition:opacity .25s}
svg .node rect{fill:var(--surface-2);stroke:var(--line);stroke-width:1;transition:fill .2s,stroke .2s}
svg .node.faded{opacity:.38}
svg .node.active rect{fill:var(--ruby-bg);stroke:var(--ruby);stroke-width:1.5}
svg .node.active text{fill:var(--ruby-ink)}
svg .hwbox{transition:opacity .25s}
svg .hwbox.faded{opacity:.38}
svg .hwbox rect{fill:var(--surface-2);stroke:var(--line);stroke-width:1;transition:fill .2s,stroke .2s}
svg .hwbox.active rect{fill:var(--steel-bg);stroke:var(--steel);stroke-width:1.5}
svg .hwbox.active text{fill:var(--steel-ink)}
svg #h_cpu rect{fill:var(--surface);stroke-dasharray:5 4}
svg #h_cpu.active>rect{fill:var(--surface);stroke:var(--steel);stroke-dasharray:none;stroke-width:1.5}
svg .frame{fill:none;stroke:var(--line);stroke-width:1;stroke-dasharray:5 4}
svg .wire{fill:none;stroke:var(--ruby);stroke-width:1.6}
svg .arrowhead{fill:none;stroke:var(--ruby);stroke-width:1.5;stroke-linecap:round;stroke-linejoin:round}
svg .badge{fill:var(--ruby)}
svg .badge-t{font:500 11px var(--sans);fill:var(--on-ruby)}
svg .dot{fill:var(--dot)}
svg .hwire{fill:none;stroke:var(--steel);stroke-width:1.6}
svg .harrowhead{fill:none;stroke:var(--steel);stroke-width:1.5;stroke-linecap:round;stroke-linejoin:round}
svg .hbadge{fill:var(--steel)}
svg .hbadge-t{font:500 11px var(--sans);fill:var(--surface)}
svg .hdot{fill:var(--steel)}
footer{margin:14px 4px 0;font-size:12.5px;color:var(--ink-3);display:flex;justify-content:space-between;align-items:baseline;gap:8px 24px;flex-wrap:wrap}
footer p{margin:0;max-width:90ch}
footer .credit{font-family:var(--mono);font-size:12.5px;color:var(--ink-2)}
footer a,.refs a,.disclaimer a{color:var(--ruby);text-decoration-thickness:1px;text-underline-offset:2px}
.refs{margin-top:10px;padding:14px 16px}
.refs h2{font-size:15px;font-weight:600;margin:0}
.refnote{font-size:12.5px;color:var(--ink-2);margin:2px 0 10px}
.refgrid{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:4px 24px}
.refs h3{font-size:13px;font-weight:600;margin:8px 0 4px}
.refs ul{margin:0;padding:0;list-style:none}
.refs li{font-size:13px;line-height:1.4;margin:0 0 6px}
.refs li span{display:block;font-size:12px;color:var(--ink-3)}
.disclaimer{margin-top:10px;padding:10px 16px;border-color:var(--ruby);background:var(--ruby-bg)}
.disclaimer p{margin:0;font-size:13.5px;color:var(--ruby-ink)}
@media (max-width:980px){.refgrid{grid-template-columns:1fr}}

@media (max-width:1180px){
  .views{grid-template-columns:minmax(0,1fr) minmax(0,1fr)}
  .views .vcol:last-child{grid-column:1/-1;border-left:0;border-top:1px solid var(--line-soft)}
  .lower{grid-template-columns:minmax(0,1fr)}
  .msgpanel{position:static;max-height:none}
  .msgs{overflow:visible}
}
@media (max-width:860px){
  .top{grid-template-columns:1fr}
  .right{align-items:flex-start}
  .about{text-align:left}
  .bar{grid-template-columns:1fr;gap:6px}
  .stepinfo{border-left:0;padding-left:0;border-top:1px solid var(--line-soft);padding-top:6px}
  .views{grid-template-columns:1fr}
  .vcol+.vcol{border-left:0;border-top:1px solid var(--line-soft)}
  .views .vcol:last-child{grid-column:auto}
  .vbody{height:210px}
}
@media (prefers-reduced-motion:reduce){*{transition:none!important}.cursor{animation:none}}