:root{--bg:#fbfaf7;--surface:#fff;--text:#1c1b19;--muted:#6b6862;--border:#d9d5cc;--grid:#ece8e0;--dot:#1f5f8b;--out:#f0ede6;--accent:#b8531f;--crosshair:#b8531f29;--window:#f4dccb;--match:#2f7d32;--mismatch:#b3261e;--gap-open:#92610a;--gap-extend:#6a4bab;--cell:18px}@media (prefers-color-scheme:dark){:root{--bg:#16181a;--surface:#1e2124;--text:#e8e6e1;--muted:#9a968e;--border:#383c40;--grid:#2a2e31;--dot:#6fb2d9;--out:#24282b;--accent:#e8894f;--crosshair:#e8894f33;--window:#4a3728;--match:#7cc47f;--mismatch:#f0938b;--gap-open:#dfa74e;--gap-extend:#b6a2e8}}*{box-sizing:border-box}body{background:var(--bg);color:var(--text);margin:0;font:16px/1.55 ui-sans-serif,system-ui,-apple-system,Segoe UI,sans-serif}.page{max-width:62rem;margin:0 auto;padding-block:2.5rem 4rem;padding-inline:1rem}.visually-hidden{clip-path:inset(50%);white-space:nowrap;width:1px;height:1px;position:absolute;overflow:hidden}.tabs{border-bottom:1px solid var(--border);gap:.2rem;margin-bottom:1.8rem;display:flex}.tabs a{color:var(--muted);border-bottom:2px solid #0000;margin-bottom:-1px;padding:.5rem .9rem;font-size:1.05rem;font-weight:600;text-decoration:none}.tabs a:hover{color:var(--text)}.tabs a.active{color:var(--text);border-bottom-color:var(--accent)}.tabs a:focus-visible{outline:2px solid var(--accent);outline-offset:2px}.tool[hidden]{display:none}.inputs{flex-wrap:wrap;gap:1rem;margin:1.8rem 0 1rem;display:flex}.input{flex-direction:column;flex:20rem;gap:.35rem;display:flex}.input-label{text-transform:uppercase;letter-spacing:.06em;color:var(--muted);font-size:.82rem;font-weight:600}.input-label em{text-transform:none;letter-spacing:0;font-weight:400}textarea{border:1px solid var(--border);background:var(--surface);width:100%;color:var(--text);letter-spacing:.08em;resize:vertical;border-radius:6px;padding:.6rem .7rem;font:.95rem/1.6 ui-monospace,SF Mono,Cascadia Mono,Menlo,monospace}textarea:focus-visible{outline:2px solid var(--accent);outline-offset:1px}.toggle{color:var(--muted);cursor:pointer;align-items:center;gap:.4rem;font-size:.86rem;display:flex}.toggle input{accent-color:var(--accent);margin:0}button{border:1px solid var(--border);background:var(--surface);color:var(--text);font:inherit;cursor:pointer;border-radius:6px;align-self:flex-start;padding:.4rem .8rem;font-size:.9rem}button:hover{border-color:var(--accent);color:var(--accent)}button:focus-visible{outline:2px solid var(--accent);outline-offset:1px}.controls{flex-wrap:wrap;align-items:flex-end;gap:1rem 1.5rem;margin-bottom:1rem;display:flex}.control-group{flex-wrap:wrap;gap:1rem 1.5rem;display:flex}.control-group[hidden]{display:none}.control{flex-direction:column;gap:.35rem;display:flex}select,input[type=number]{border:1px solid var(--border);background:var(--surface);color:var(--text);font:inherit;border-radius:6px;padding:.4rem .5rem;font-size:.92rem}input[type=number]{width:5.5rem}select:focus-visible,input[type=number]:focus-visible{outline:2px solid var(--accent);outline-offset:1px}.status,.readout{color:var(--muted);margin:.2rem 0;font-size:.88rem}.readout{min-height:1.55em;font-family:ui-monospace,SF Mono,Cascadia Mono,Menlo,monospace}.readout.match{color:var(--dot);font-weight:600}.status.warn{color:var(--accent)}h1{margin:0 0 1.4rem;font-size:1.6rem}.gapped-rows{flex-direction:column;gap:.35rem;margin-bottom:.8rem;display:flex}.toss-slot{margin:.6rem 0 .2rem}.tosses{letter-spacing:.1em;margin:0;font-family:ui-monospace,SF Mono,Cascadia Mono,Menlo,monospace;font-size:1.15rem;line-height:1.5;overflow-x:auto}.toss.heads{color:var(--accent);font-weight:700}.toss.tails{color:var(--dot);font-weight:700}.sum{margin-top:.6rem}.definition{white-space:pre-wrap;margin:0 0 1.2rem;font-family:ui-monospace,SF Mono,Cascadia Mono,Menlo,monospace;font-size:1.05rem}.factors{flex-wrap:wrap;align-items:flex-start;gap:.6rem 1rem;font-family:ui-monospace,SF Mono,Cascadia Mono,Menlo,monospace;display:flex}.factor{text-align:center;flex-direction:column;align-items:center;max-width:13rem;display:flex}.factor .expression,.operator,.result{font-size:1.3rem;line-height:1.6}.factor .value{color:var(--muted)}.factor .factor-caption{color:var(--muted);margin-top:.2rem;font-family:ui-sans-serif,system-ui,sans-serif;font-size:.8rem}.result{color:var(--accent);font-weight:700}.control.slider{flex:20rem}input[type=range]{width:100%;accent-color:var(--accent)}.belief{flex-wrap:wrap;align-items:flex-start;gap:1rem;display:flex}.chart-slot{border:1px solid var(--border);background:var(--surface);border-radius:6px;flex:26rem;padding:.4rem}svg.explore{width:100%;height:auto;font-family:ui-sans-serif,system-ui,sans-serif;display:block}.explore .grid{stroke:var(--grid)}.explore .axis-label{fill:var(--muted);font-size:11px}.explore .axis-title{fill:var(--muted);text-transform:uppercase;letter-spacing:.06em;font-size:11px}.explore .curve{fill:none;stroke:var(--border);stroke-width:2px}.explore .trail{fill:var(--dot)}.explore .drop{stroke:var(--accent);stroke-width:1px;stroke-dasharray:3 3}.explore .current{fill:var(--accent)}.numbers-slot{flex:0 15rem}dl.numbers{border:1px solid var(--border);background:var(--surface);border-radius:6px;grid-template-columns:auto auto;gap:.3rem .9rem;margin:.2rem 0;padding:.7rem .9rem;font-size:.86rem;display:grid}.numbers dt{color:var(--muted)}.numbers dd{text-align:right;margin:0;font-family:ui-monospace,SF Mono,Cascadia Mono,Menlo,monospace;font-weight:700}