:root{--bg:#0f0f17;--surface:#1a1a2e;--surface2:#222238;--border:#2d2d4a;--text:#e2e8f0;--text-muted:#94a3b8;--primary:#6366f1;--primary-hover:#818cf8;--success:#16a34a;--danger:#dc2626;--danger-text:#f87171;--warning:#f59e0b;--amber:#f59e0b;--info:#3b82f6;--radius:8px;--font-mono:"SF Mono", "Fira Code", "Cascadia Code", monospace;--focus-ring:0 0 0 3px #6366f180}[data-theme=light]{--bg:#f8fafc;--surface:#fff;--surface2:#e2e8f0;--border:#cbd5e1;--text:#0f172a;--text-muted:#475569;--primary:#4338ca;--primary-hover:#3730a3;--success:#15803d;--danger:#b91c1c;--danger-text:#b91c1c;--warning:#b45309;--amber:#b45309;--info:#1d4ed8;--focus-ring:0 0 0 3px #4338ca40}*{box-sizing:border-box;margin:0;padding:0}.skip-link{background:var(--primary);color:#fff;border-radius:var(--radius);z-index:1000;padding:8px 16px;font-size:.9rem;text-decoration:none;position:absolute;top:-100%;left:16px}.skip-link:focus{top:8px}.sr-only{clip:rect(0, 0, 0, 0);white-space:nowrap;border:0;width:1px;height:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}:focus-visible{box-shadow:var(--focus-ring);outline:none}button:focus-visible,select:focus-visible,input:focus-visible,textarea:focus-visible,a:focus-visible{outline:2px solid var(--primary);outline-offset:2px}@media (prefers-reduced-motion:reduce){*,:before,:after{scroll-behavior:auto!important;transition-duration:.01ms!important;animation-duration:.01ms!important;animation-iteration-count:1!important}}body{background:var(--bg);color:var(--text);min-height:100vh;font-family:-apple-system,BlinkMacSystemFont,Segoe UI,Roboto,sans-serif;line-height:1.6}#app{max-width:1100px;margin:0 auto;padding:20px 16px}.cl-hero{flex-wrap:wrap;justify-content:space-between;align-items:flex-start;gap:clamp(1rem,4vw,3rem);margin:clamp(1rem,3vw,2rem) 0 1.5rem;display:flex}.cl-hero-main{flex:22rem;min-width:min(100%,20rem)}.cl-hero-title{letter-spacing:.01em;color:var(--text);margin:0;font-size:clamp(1.6rem,3.8vw,2.7rem);font-weight:700;line-height:1.1}.cl-hero-sub{letter-spacing:.01em;opacity:.85;color:var(--text);margin:.4rem 0 0;font-size:clamp(.9rem,1.6vw,1.05rem)}.cl-hero-desc{color:var(--text-muted);max-width:60ch;margin:.55rem 0 0;font-size:1rem;line-height:1.5}.cl-hero-why{border:1px solid var(--border);background:color-mix(in oklab,var(--primary) 6%,transparent);border-radius:10px;flex:0 min(40%,26rem);min-width:min(100%,15rem);padding:.85rem 1.05rem}.cl-hero-why-label{letter-spacing:.14em;color:var(--text-muted);font-size:.68rem;font-weight:700;display:block}.cl-hero-why-text{color:var(--text);margin:.35rem 0 0;font-size:.95rem;line-height:1.5}@media (width<=640px){.cl-hero{flex-direction:column}.cl-hero-why{flex-basis:auto;width:100%}}.theme-toggle{border:1px solid var(--border);background:var(--surface2);width:2.6rem;height:2.6rem;color:var(--text);border-radius:50%;justify-content:center;align-items:center;padding:0;font-size:1.1rem;line-height:1;display:inline-flex;position:absolute;top:0;right:0}.theme-toggle:hover:not(:disabled){background:var(--border)}.tabs{border-bottom:2px solid var(--border);flex-wrap:nowrap;gap:4px;margin-bottom:20px;display:flex;overflow-x:auto}.tab{color:var(--text-muted);cursor:pointer;white-space:nowrap;background:0 0;border:none;border-bottom:2px solid #0000;flex-shrink:0;margin-bottom:-2px;padding:10px 18px;font-size:.9rem;transition:color .2s,border-color .2s,background .2s}.tab:hover{color:var(--text)}.tab.active{color:var(--primary-hover);border-bottom-color:var(--primary)}.tab-panel{display:none}.tab-panel.active{display:block}.tab-panel.hidden{display:none}.card{background:var(--surface);border:1px solid var(--border);border-radius:var(--radius);margin-bottom:16px;padding:24px}.panel-row{grid-template-columns:1fr 1fr;gap:16px;display:grid}@media (width<=768px){.panel-row{grid-template-columns:1fr}}label{color:var(--text-muted);margin:12px 0 4px;font-size:.85rem;display:block}select,input[type=text],input[type=number],textarea{background:var(--surface2);border:1px solid var(--border);border-radius:var(--radius);width:100%;color:var(--text);padding:8px 12px;font-family:inherit;font-size:.9rem}textarea{resize:vertical}select{cursor:pointer}button{cursor:pointer;border-radius:var(--radius);border:none;padding:10px 20px;font-family:inherit;font-size:.9rem;transition:background .2s,opacity .2s}button:disabled{opacity:.5;cursor:not-allowed}.btn-primary{color:#fff;background:#4f46e5;margin:12px 0}.btn-primary:hover:not(:disabled){background:#4338ca}.btn-secondary{background:var(--surface2);color:var(--text);border:1px solid var(--border);margin:8px 0}.btn-secondary:hover:not(:disabled){background:var(--border)}.btn-danger{color:#fca5a5;background:#3c1111;border:1px solid #7f1d1d;margin:8px 0}.btn-danger:hover:not(:disabled){background:#5c1a1a}[data-theme=light] .btn-danger{color:var(--danger);background:#fee2e2;border-color:#fca5a5}[data-theme=light] .btn-danger:hover:not(:disabled){background:#fecaca}.controls-row{flex-wrap:wrap;align-items:center;gap:12px;margin:12px 0;display:flex}.controls-row label{margin:0}.controls-row select,.controls-row input{width:auto;min-width:100px}.output{background:var(--surface2);border:1px solid var(--border);border-radius:var(--radius);font-family:var(--font-mono);word-break:break-all;white-space:pre-wrap;margin-top:12px;padding:16px;font-size:.82rem;line-height:1.7}.output.hidden{display:none}.info-card{background:var(--surface2);border:1px solid var(--border);border-radius:var(--radius);grid-template-columns:1fr 1fr;gap:4px 16px;margin:8px 0;padding:12px;font-size:.82rem;display:grid}.info-card .label{color:var(--text-muted)}.info-card .value{color:var(--text);font-family:var(--font-mono)}.badge{border-radius:4px;padding:2px 8px;font-size:.75rem;font-weight:600;display:inline-block}.badge-valid{color:#86efac;background:#052e16}.badge-invalid{color:#fca5a5;background:#3c1111}[data-theme=light] .badge-valid{color:var(--success);background:#dcfce7}[data-theme=light] .badge-invalid{color:var(--danger);background:#fee2e2}.spinner{color:var(--text-muted);align-items:center;gap:10px;margin:12px 0;font-size:.85rem;display:flex}.spinner.hidden{display:none}.spinner-dot{border:2px solid var(--border);border-top-color:var(--primary);border-radius:50%;width:16px;height:16px;animation:.8s linear infinite spin}@keyframes spin{to{transform:rotate(360deg)}}.warning{color:#fcd34d;border-radius:var(--radius);background:#422006;border:1px solid #92400e;margin:12px 0;padding:12px;font-size:.85rem;line-height:1.5}[data-theme=light] .warning{color:#92400e;background:#fefce8;border-color:#f59e0b}.warning.hidden{display:none}table{border-collapse:collapse;width:100%;margin:12px 0;font-size:.85rem}th,td{text-align:left;border-bottom:1px solid var(--border);padding:8px 12px}th{background:var(--surface2);color:var(--text-muted);text-transform:uppercase;letter-spacing:.05em;font-size:.8rem;font-weight:600}td{color:var(--text)}tr:hover td{background:#6366f10d}.ledger-entry{background:var(--surface2);border:1px solid var(--border);border-radius:var(--radius);margin:8px 0;padding:12px 16px;font-size:.85rem}.ledger-entry.invalid{background:#1c0f0f;border-color:#7f1d1d}[data-theme=light] .ledger-entry.invalid{background:#fee2e2;border-color:#fca5a5}.ledger-entry .entry-header{justify-content:space-between;align-items:center;margin-bottom:6px;display:flex}.ledger-entry .entry-author{color:var(--info);font-weight:600}.ledger-entry .entry-message{margin:4px 0}.ledger-entry .entry-meta{color:var(--text-muted);font-size:.78rem;font-family:var(--font-mono)}.security-section{margin:20px 0}.security-section h3{color:var(--primary-hover);margin-bottom:8px;font-size:1rem}.security-section p{color:var(--text-muted);margin-bottom:8px;font-size:.9rem}.highlight-box{background:var(--surface2);border-left:3px solid var(--amber);margin:12px 0;padding:12px 16px;font-size:.9rem}.speed-bar-container{margin:8px 0}.speed-bar-label{color:var(--text-muted);margin-bottom:4px;font-size:.8rem}.speed-bar-track{background:var(--surface2);border-radius:4px;height:24px;position:relative;overflow:hidden}.speed-bar-fill{color:#fff;height:100%;font-size:.75rem;font-family:var(--font-mono);background:#4f46e5;border-radius:4px;align-items:center;padding-left:8px;transition:width .5s;display:flex}footer{text-align:center;color:var(--text-muted);padding:30px 0 20px;font-size:.8rem}footer a{color:var(--primary-hover);text-decoration:underline}footer a:hover{text-decoration:underline}a{color:var(--primary);text-decoration:none}a:hover{text-decoration:underline}.muted{color:var(--text-muted);font-size:.85rem}.text-danger{color:var(--danger-text)}.text-success{color:var(--success)}h2{margin-bottom:8px;font-size:1.2rem}h3{margin:16px 0 8px;font-size:1rem}.table-wrap,#tree-container,#wots-chains,#hypertree-container{-webkit-overflow-scrolling:touch;overflow-x:auto}#tree-container svg,#wots-chains svg,#hypertree-container svg,#fors-output svg{max-width:100%;height:auto}@media (pointer:coarse){button{min-width:44px;min-height:44px}select,input[type=text],input[type=number]{min-height:44px}.tab{min-height:44px;padding:10px 14px}}fieldset{border:none;margin:0;padding:0}@media (width<=640px){.theme-toggle{top:2px;right:0}.tabs{-ms-overflow-style:none;scrollbar-width:none;border-bottom:none;flex-wrap:wrap;gap:6px;margin-bottom:16px;overflow-x:visible}.tabs::-webkit-scrollbar{display:none}.tab{border:1px solid var(--border);border-radius:var(--radius);text-align:center;flex:auto;margin-bottom:0;padding:10px 12px;font-size:.82rem}.tab.active{background:var(--surface2);color:var(--primary-hover);border-color:var(--primary)}.card{padding:16px 12px}.controls-row{flex-direction:column;align-items:stretch}.controls-row label{margin-bottom:2px}.controls-row select,.controls-row input{width:100%}.info-card{grid-template-columns:1fr;gap:2px 0}table{font-size:.78rem}th,td{padding:6px 8px}.output{padding:12px;font-size:.75rem}.ledger-entry .entry-header{flex-direction:column;align-items:flex-start;gap:4px}.ledger-entry .entry-meta{word-break:break-all;font-size:.7rem}.speed-bar-fill{padding-left:4px;font-size:.7rem}}@media (width<=380px){#app{padding:12px 8px}.tabs{gap:4px}.tab{padding:8px;font-size:.75rem}.card{padding:12px 8px}h2{font-size:1rem}}.learn-path{border:1px solid var(--border);border-radius:var(--radius);background:color-mix(in oklab, var(--primary) 6%, var(--surface));margin-bottom:16px;padding:12px 16px}.learn-path-lead{letter-spacing:.04em;text-transform:uppercase;color:var(--text-muted);margin-bottom:8px;font-size:.8rem;font-weight:700;display:block}.learn-path-steps{flex-wrap:wrap;align-items:stretch;gap:6px;margin:0;padding:0;list-style:none;display:flex}.learn-path-steps>li{align-items:center;display:flex}.learn-arrow{color:var(--text-muted);padding:0 2px;font-size:1rem}.learn-step{background:var(--surface2);border:1px solid var(--border);border-radius:var(--radius);color:var(--text);text-align:left;align-items:center;gap:8px;height:100%;padding:8px 12px;display:flex}.learn-step:hover{border-color:var(--primary);background:var(--border)}.learn-num{color:#fff;background:#4f46e5;border-radius:50%;flex:none;place-items:center;width:22px;height:22px;font-size:.8rem;font-weight:700;display:grid}.learn-label{flex-direction:column;font-size:.82rem;line-height:1.15;display:flex}.learn-sub{color:var(--text-muted);font-size:.72rem}.tab-group-label{border-left:1px solid var(--border);color:var(--text-muted);letter-spacing:.1em;text-transform:uppercase;white-space:nowrap;flex-shrink:0;align-self:center;margin:0 2px 0 10px;padding-left:10px;font-size:.68rem;font-weight:700}.glossary{border:1px solid var(--border);border-radius:var(--radius);background:var(--surface);margin-bottom:16px;padding:4px 16px}.glossary>summary{cursor:pointer;color:var(--text);padding:8px 0;font-size:.9rem;font-weight:600}.glossary>summary:focus-visible{outline:2px solid var(--primary);outline-offset:2px}.glossary-list{grid-template-columns:max-content 1fr;gap:6px 16px;margin:8px 0 12px;font-size:.86rem;display:grid}.glossary-list dt{color:var(--primary-hover);font-weight:700;font-family:var(--font-mono)}.glossary-list dd{color:var(--text);margin:0}@media (width<=560px){.glossary-list{grid-template-columns:1fr;gap:2px 0}.glossary-list dd{margin-bottom:8px}}.gloss{border-bottom:1px dotted var(--text-muted);cursor:help}.viz-caption{background:var(--surface2);border:1px solid var(--border);border-left:3px solid var(--amber);border-radius:var(--radius);color:var(--text);margin:8px 0 4px;padding:10px 14px;font-size:.85rem;line-height:1.5}.viz-caption[hidden]{display:none}.viz-caption .caption-hash{font-family:var(--font-mono);color:var(--primary-hover);word-break:break-all}.peek-head{flex-wrap:wrap;justify-content:space-between;align-items:center;gap:12px;display:flex}.peek-head h2{margin:0}.peek-steps{gap:8px;margin-top:12px;display:grid}.peek-step{background:var(--surface2);border:1px solid var(--border);border-radius:var(--radius);align-items:flex-start;gap:10px;padding:10px 12px;font-size:.85rem;display:flex}.peek-step .peek-step-num{background:var(--amber);color:#1a1200;border-radius:50%;flex:none;place-items:center;width:22px;height:22px;font-size:.8rem;font-weight:700;display:grid}[data-theme=light] .peek-step .peek-step-num{color:#fff}.peek-step a{color:var(--primary-hover);text-decoration:underline}#peek-schematic{-webkit-overflow-scrolling:touch;overflow-x:auto}#peek-schematic svg,#collision-coverage svg{max-width:100%;height:auto}#collision-coverage{margin:12px 0;overflow-x:auto}@media (forced-colors:active){.badge-valid,.badge-invalid{border:1px solid}.tab.active{border-bottom:3px solid}.highlight-box{border-left:3px solid}}