:root{color-scheme:dark;--ink:#e9edf0;--muted:#a0aeb4;--lime:#c9f584;--line:#36413f;--bg:#121916}*{box-sizing:border-box}body{margin:0;background:var(--bg);color:var(--ink);font:15px/1.6 system-ui,sans-serif}header{padding:22px 4vw;border-bottom:1px solid var(--line);display:flex;gap:20px;justify-content:space-between;align-items:center;font:11px ui-monospace,monospace;letter-spacing:.08em}a{color:var(--lime);text-decoration:none}header span{color:var(--muted)}main{max-width:1500px;margin:auto;display:grid;grid-template-columns:minmax(290px,.8fr) minmax(380px,1.4fr);gap:4vw;padding:48px 4vw}.eyebrow{font:11px ui-monospace,monospace;letter-spacing:.15em;color:var(--lime)}h1{font-size:clamp(32px,4.5vw,66px);line-height:1.05;letter-spacing:-.045em;margin:22px 0}h1 em{font-style:normal;color:var(--lime)}.explain>p{max-width:510px;color:var(--muted)}.proof{border:1px solid var(--line);border-left:3px solid var(--lime);padding:17px;margin:26px 0}.proof b{color:var(--lime)}.proof p{font-size:13px;margin:7px 0 0;color:var(--muted)}ol{padding-left:23px;font-size:13px}li{margin-bottom:10px}.limit{font-size:12px;border-top:1px solid var(--line);padding-top:20px}details{font-size:11px;color:var(--muted)}summary{cursor:pointer}pre{white-space:pre-wrap;overflow-wrap:anywhere;font-size:10px}.viewer{align-self:start;border:1px solid var(--line);position:relative;background:#0c1311}#viewport{height:440px;min-height:280px}canvas{display:block;touch-action:none}.overlay{position:absolute;left:18px;top:18px;pointer-events:none;display:grid;gap:5px}.overlay span{background:#101a14db;color:var(--lime);font:12px ui-monospace,monospace;padding:8px 10px}.overlay small{font-size:10px;color:var(--muted);padding-left:10px}.readout{display:grid;grid-template-columns:repeat(3,1fr);border-top:1px solid var(--line)}.readout>div{padding:13px 17px;border-right:1px solid var(--line)}.readout>div:last-child{border:0}.readout span{display:block;font-size:10px;color:var(--muted)}.readout b{font:22px ui-monospace,monospace}.controls{display:flex;align-items:center;gap:13px;padding:12px 15px}button{font:11px ui-monospace,monospace;color:var(--ink);padding:9px 11px;border:1px solid var(--line);background:#202e24;cursor:pointer;white-space:nowrap}button:hover{border-color:var(--lime)}button:disabled{opacity:.4;cursor:default}input{width:100%;accent-color:var(--lime)}output{font:11px ui-monospace,monospace;white-space:nowrap;color:var(--lime)}.jumps{display:flex;gap:8px;flex-wrap:wrap;padding:0 15px}.caption{color:var(--muted);font-size:10px;padding:2px 15px 8px;margin-top:12px}@media(max-width:850px){main{grid-template-columns:1fr;padding-top:25px}.viewer{grid-row:2}header{flex-wrap:wrap}.explain>p{max-width:none}#viewport{height:340px}h1{font-size:43px}.readout>div{padding:12px}}