.ledger-title{justify-content:space-between;align-items:center;gap:12px;margin-bottom:12px;display:flex}.ledger-bar{background:var(--tint);border-radius:2px;height:6px;margin:12px 0;display:flex;overflow:hidden}.ledger-bar span:first-child{background:var(--accent)}.ledger-bar span:nth-child(2){background:var(--warning)}.ledger-bar span:nth-child(3){background:var(--danger)}.ledger-bar span:nth-child(4){background:var(--border-subtle)}.ledger-legend{color:var(--text-muted);font:500 12px/1.4 var(--font-mono);justify-content:space-between;gap:14px;display:flex}.icon-tile{border:1px solid var(--accent-line);background:var(--tint);width:40px;height:40px;color:var(--accent);border-radius:10px;justify-content:center;align-items:center;margin-bottom:18px;display:flex}@media (max-width:580px){.ledger-legend{flex-wrap:wrap;gap:6px}}.family-svg-label{fill:var(--accent);font-family:var(--font-mono);font-size:12px;font-weight:500}.scene .family-mechanism text,.family-mechanism text{stroke:var(--bg-elevated)}.mechanism-scene text{stroke:var(--bg-subtle)}.family-svg-note{fill:var(--text-muted);font-size:13px}.family-svg-code{fill:var(--text);font-family:var(--font-mono);letter-spacing:.2px;font-size:13.5px;font-weight:500}.family-svg-formula{fill:var(--accent);font-family:var(--font-mono);font-size:28px;font-weight:500}.family-svg-paper{fill:var(--bg-elevated);stroke:var(--text);stroke-width:1px}.family-op{stroke-width:1px}.family-op-blue{fill:var(--tint);stroke:var(--accent-line)}.family-op-green{fill:var(--bg-elevated);stroke:var(--success)}.family-op-amber{fill:var(--bg-elevated);stroke:var(--warning);stroke-dasharray:4 3}.family-op-neutral{fill:var(--bg-elevated);stroke:var(--text-muted)}.family-svg-route{fill:none;stroke:var(--accent);stroke-width:1.25px;stroke-linecap:square;stroke-linejoin:miter}.family-svg-rule{fill:none;stroke:var(--border-subtle);stroke-width:1px}.mechanism-scene{border:1px solid var(--border-subtle);background:var(--bg-subtle);border-radius:10px;overflow:hidden}.mechanism-label{fill:var(--accent);font-family:var(--font-mono);font-size:12px;font-weight:500}.mechanism-heading{fill:var(--text);letter-spacing:-.3px;font-size:18px;font-weight:600}.mechanism-note{fill:var(--text-muted);font-size:12px}.mechanism-code{fill:var(--text);font-family:var(--font-mono);font-size:13.5px;font-weight:500}.mechanism-value{fill:var(--accent);letter-spacing:-.5px;font-size:26px;font-weight:550}.mechanism-scene .mechanism-inverse{fill:var(--on-accent);stroke:var(--accent);font-family:var(--font-mono);font-size:12px;font-weight:500}.mechanism-paper,.mechanism-document{fill:var(--bg-elevated);stroke:var(--text);stroke-width:1px}.mechanism-scene .bench-file{fill:var(--tint);stroke:var(--accent-line);stroke-width:1px}.mechanism-scene .bench-rule{stroke:var(--accent-line);stroke-width:1px}.mechanism-scene .bench-ink{stroke:var(--accent);stroke-width:1.5px}.mechanism-scene .bench-label{fill:var(--accent);font-family:var(--font-mono);font-size:11px;font-weight:600}.mechanism-code-paper{fill:var(--bg-elevated);stroke:var(--accent-line);stroke-width:1px}.mechanism-drop{fill:var(--bg-elevated);stroke:var(--accent);stroke-dasharray:4 4;stroke-width:1px}.mechanism-rule{stroke:var(--border-subtle);stroke-width:1px;fill:none}.mechanism-branch{stroke:var(--accent);stroke-width:1.25px;fill:none}.mechanism-blue-fill,.ledger-proven{fill:var(--accent)}.mechanism-success-paper{fill:var(--bg-elevated);stroke:var(--success)}.mechanism-success-stroke{stroke:var(--success);stroke-width:1.5px;fill:none}.ledger-runtime{fill:var(--warning)}.ledger-unresolved{fill:var(--danger)}.ledger-bounded{fill:var(--bg-elevated)}@media (max-width:700px){.mechanism-scene .scene-mobile .mechanism-code{font-size:12.5px}.mechanism-scene .scene-mobile .mechanism-note,.mechanism-scene .scene-mobile .mechanism-inverse{font-size:11px}}.animated-asset{min-width:0;position:relative}.scene{width:100%;color:var(--text)}.scene svg{width:100%;height:auto;display:block}.scene text{font-family:var(--font-body), Arial, sans-serif}.scene .scene-caption{font-family:var(--font-mono);font-weight:500}.scene .scene-mobile{display:none}.motion-root{width:100%}[data-interactive-asset],.animated-asset{scroll-margin-top:120px}.wordmark-scene{width:153px;height:36px;display:block}.wordmark-scene text{font-family:var(--font-display), Arial, sans-serif}.feature-icon{width:32px;height:32px;color:var(--text);display:block}.ambient-scene{opacity:.06;width:48px;height:440px}.asset-controls{min-height:36px;color:var(--text-muted);font:500 12px/1.3 var(--font-mono);justify-content:flex-end;align-items:center;gap:2px;padding:0 8px;display:flex}.asset-controls span{margin-right:auto}.asset-controls button{min-width:36px;min-height:36px;color:var(--text-muted);background:0 0;border:0;border-radius:8px;place-items:center;padding:0;transition:color .18s,background .18s;display:grid}.asset-controls button svg{width:15px;height:15px}.asset-controls button:hover:not(:disabled){background:var(--tint);color:var(--accent)}.asset-controls button:disabled{opacity:.45;background:0 0}.evidence-square{background:var(--accent);border-radius:1px;width:7px;height:7px}.workbench-scene .bench-paper{fill:var(--bg-elevated);stroke:var(--text);stroke-width:1px}.workbench-scene .bench-rule{stroke:var(--border-subtle);stroke-width:1px}.workbench-scene .bench-brand{fill:var(--text);font-family:var(--font-display);letter-spacing:-1px;font-size:22px;font-weight:650}.workbench-scene .bench-label{fill:var(--text-muted);font-family:var(--font-mono);font-size:11.5px;font-weight:500}.workbench-scene .bench-nav{fill:var(--text-muted);font-size:13px}.workbench-scene .bench-nav text:last-child{font-family:var(--font-mono);font-size:9px}.workbench-scene .bench-title{fill:var(--text);letter-spacing:-.7px;font-size:22px;font-weight:600}.workbench-scene .bench-copy{fill:var(--text-muted);font-size:13.5px}.workbench-scene .bench-code{font-family:var(--font-mono);fill:var(--text);font-variant-numeric:tabular-nums;font-size:13px}.workbench-scene .bench-code-bg{fill:var(--bg-subtle);stroke:var(--border-subtle)}.workbench-scene .bench-drop{fill:var(--tint);stroke:var(--accent-line);stroke-dasharray:5 5}.workbench-scene .bench-file{fill:var(--bg-elevated);stroke:var(--accent);stroke-width:1px}.workbench-scene .bench-ink{stroke:var(--accent);stroke-width:1.5px}.workbench-scene .bench-action{fill:var(--accent)}.workbench-scene .bench-action-text{fill:var(--on-accent);stroke:var(--accent);font-size:14px;font-weight:550}.workbench-scene .bench-callout{fill:var(--bg-subtle);stroke:var(--border-subtle)}.workbench-scene .scene-mobile .bench-title{font-size:20px}.workbench-scene .scene-mobile .bench-copy{font-size:13px}.workbench-scene .scene-mobile .bench-code{font-size:12px}.hero-machine{background:var(--bg-elevated);color:var(--text);overflow:hidden}.hero-machine text{fill:var(--text);font-family:var(--font-body)}.hero-machine .machine-grid{stroke:var(--text);opacity:.08;stroke-width:.5px}.hero-machine .stage-label{font-family:var(--font-mono);font-size:11px;font-weight:500}.hero-machine .tiny{font-family:var(--font-mono);font-size:9.5px}.hero-machine .example-label{font-family:var(--font-mono);fill:var(--text-muted);font-size:9px}.hero-machine .machine-rail path{stroke:var(--border);stroke-width:1px}.hero-machine .machine-rail text{fill:var(--text-muted);font-family:var(--font-mono);font-size:8px}.hero-machine .machine-file{fill:var(--bg-elevated);stroke:var(--text);stroke-width:1px}.hero-machine .machine-bytes{stroke:var(--text-muted);stroke-width:2.5px;stroke-dasharray:4 4}.hero-machine .machine-code{stroke:var(--border);stroke-width:1.5px}.hero-machine .machine-match{stroke:var(--accent);stroke-width:1.5px}.hero-machine .function-name{fill:var(--text);font-family:var(--font-mono);font-size:13px;font-weight:600}.hero-machine .scene-mobile .function-name{font-size:11px}@media (max-width:700px){.scene .scene-wide{display:none}.scene .scene-mobile{display:block}.asset-controls{gap:6px}.asset-controls span{font-size:12px}}.animated-asset [data-control-icon=pause],.animated-asset[data-motion-playing] [data-control-icon=play]{display:none}.animated-asset[data-motion-playing] [data-control-icon=pause]{display:initial}