:root{--bg:#0e1013;--fg:#e8e8ea;--muted:#8b8f98;--line:#6b7079;--card:#1a1d22;--border:#2a2e35;--accent:#5b9bff;--accent-bg:#1a2b4a;--doom:#ff6b6b;--ok:#4cc38a;--warn:#f0b343;--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark;background:var(--bg);color:var(--fg);font-family:ui-sans-serif,system-ui,-apple-system,sans-serif}body{margin:0}main{max-width:1100px;margin:0 auto;padding:20px 24px 32px}.phases{flex-wrap:wrap;gap:10px;display:flex}.phase{color:var(--muted);font-size:12px}.phase.on{color:var(--fg);font-weight:600}.ticks{gap:4px;margin-top:5px;display:flex}.tick{border:1.5px solid var(--border);cursor:pointer;background:0 0;border-radius:50%;width:11px;height:11px;padding:0}.tick.done{background:var(--line);border-color:var(--line)}.tick.cur{background:var(--accent);border-color:var(--accent);transform:scale(1.25)}.row{flex-wrap:wrap;align-items:center;gap:12px;margin:16px 0 6px;display:flex}.row button{font:inherit;color:var(--fg);background:var(--card);border:1px solid var(--border);cursor:pointer;border-radius:8px;padding:4px 14px;font-size:16px}.row button:disabled{opacity:.35;cursor:default}.stepno{color:var(--muted);font-size:14px}.count{color:var(--accent);align-items:baseline;font-size:18px;display:inline-flex}.count b{text-align:right;min-width:1.3em;display:inline-block}.valid{color:var(--ok);font-size:13px}.valid.warn{color:var(--warn)}.text{max-width:900px;min-height:3.1em;margin:6px 0;font-size:17px;line-height:1.55}.text b{color:var(--accent)}code{background:var(--card);border:1px solid var(--border);border-radius:5px;padding:0 5px;font:15px ui-monospace,Menlo,monospace}.eq{color:var(--muted);white-space:pre-wrap;margin:4px 0 0;font:15px ui-monospace,Menlo,monospace}svg{width:100%;height:auto;margin-top:8px;display:block}.bus{stroke:var(--fg);stroke-width:2px}.io{fill:var(--fg);font-size:15px;font-weight:600}.wire{fill:none;stroke:var(--line);stroke-width:1.5px;transition:stroke .4s}.wire.hl{stroke:var(--accent);stroke-width:2.6px}.wire.doom{stroke:var(--doom);stroke-dasharray:4 3}.dot,.tiedot{fill:var(--line)}.term{fill:var(--bg);stroke:var(--fg);stroke-width:1.5px}.gate .body{fill:var(--card);stroke:var(--fg);stroke-width:1.7px;transition:fill .4s,stroke .4s}.gate .bubble{fill:var(--bg);stroke:var(--fg);stroke-width:1.5px;transition:stroke .4s}.gate .tie{fill:none;stroke:var(--line);stroke-width:1.5px}.gate .num{fill:var(--fg);text-anchor:middle;font-size:12px;font-weight:700}.gate .lab{fill:var(--muted);text-anchor:middle;paint-order:stroke;stroke:var(--bg);stroke-width:4px;font-size:12px}.gate.hl .body{fill:var(--accent-bg);stroke:var(--accent);stroke-width:2.4px}.gate.hl .bubble{stroke:var(--accent)}.gate.hl .lab{fill:var(--accent);font-weight:600}.gate.doom .body{fill:#3a1c1f;stroke:var(--doom);stroke-dasharray:4 3}.gate.doom .bubble{stroke:var(--doom)}footer{color:var(--muted);margin-top:10px;font-size:13px}.count .unit{margin-left:.3em}.tabs{gap:6px;max-width:1100px;margin:14px auto 0;padding:0 24px;display:flex}.tabs button{font:inherit;color:var(--muted);border:1px solid var(--border);cursor:pointer;background:0 0;border-radius:999px;padding:5px 14px;font-size:14px}.tabs button.on{color:var(--fg);background:var(--card);border-color:var(--accent)}.alg{--math:"STIX Two Text", "Cambria Math", "Times New Roman", serif}.unit.dim{color:var(--muted);font-size:14px}.law{flex-wrap:wrap;align-items:baseline;gap:16px;margin:14px 0 2px;display:flex}.law .name{color:var(--accent);font-size:22px;font-weight:700}.law .rule{font:20px var(--math);color:var(--fg);background:var(--card);border:1px solid var(--border);border-radius:8px;padding:2px 10px}.lines{flex-direction:column;gap:4px;margin-top:14px;display:flex}.line{opacity:.5;border:1px solid #0000;border-radius:10px;grid-template-columns:76px minmax(0,1fr) auto;align-items:center;padding:6px 14px;transition:opacity .4s,background .4s,border-color .4s;display:grid;overflow:visible}.line.focus{opacity:1;background:var(--card);border-color:var(--border)}.line.sep{margin-top:14px}.lbl{font:italic 26px var(--math);white-space:nowrap}.expr{font:28px var(--math);scrollbar-width:thin;flex-wrap:nowrap;align-items:center;min-width:0;transition:padding .5s;display:flex;position:relative;overflow:auto hidden}.tok{flex:none;line-height:1.15;display:inline-block}.tok.var{margin:0 .04em;font-style:italic}.tok.op{margin:0 .32em}.tok.par,.tok.num{margin:0 .07em}.tok.new{color:var(--accent)}.note{color:var(--ok);white-space:nowrap;font-size:15px}.brace{pointer-events:none;display:block;position:absolute}.brace svg{display:block;overflow:visible}.brace path{fill:none;stroke-width:1.6px}.brace.over path{stroke:var(--accent)}.brace.under path{stroke:var(--warn)}.blabel{white-space:nowrap;font:15px var(--math);background:var(--bg);border-radius:4px;padding:0 4px;position:absolute;left:50%;transform:translate(-50%)}.line.focus .blabel{background:var(--card)}.brace.over .blabel{color:var(--accent);bottom:calc(100% + 2px)}.brace.under .blabel{color:var(--warn);top:calc(100% + 2px)}.kover{color:var(--accent)}.kunder{color:var(--warn)}.hist{border-top:1px solid var(--border);margin-top:22px;padding-top:10px}.hist h4{color:var(--muted);margin:0 0 6px;font-size:13px;font-weight:600}.hrow{font:18px var(--math);color:var(--muted);grid-template-columns:60px 1fr auto;gap:10px;padding:1px 0;display:grid}.hrow.last{color:var(--fg)}.hrow .hl{text-align:right;font-style:italic}.hlaw{color:var(--muted);align-self:center;font:13px ui-sans-serif,system-ui,sans-serif}@media (width<=640px){main{padding:12px 12px 24px}.tabs{padding:0 12px}.ticks{gap:3px}.tick{width:9px;height:9px}.law .name{font-size:19px}.law .rule{font-size:16px}.text{font-size:15px}.line{grid-template-columns:auto minmax(0,1fr);column-gap:8px;padding:4px 8px}.lbl{font-size:18px}.expr{font-size:20px}.tok.op{margin:0 .25em}.note{grid-column:1/-1}.blabel{font-size:13px}.hrow{grid-template-columns:40px minmax(0,1fr);font-size:15px}.hlaw{grid-column:2}}