:root{--bg-primary: #0d1117;--bg-secondary: #161b22;--bg-tertiary: #21262d;--text-primary: #f0f6fc;--text-secondary: #8b949e;--text-muted: #6e7681;--border-color: #30363d;--accent-blue: #58a6ff;--accent-green: #3fb950;--accent-red: #f85149;--accent-yellow: #d29922;--accent-purple: #a371f7;--alice-color: #58a6ff;--bob-color: #3fb950;--font-mono: "JetBrains Mono", "Fira Code", "Consolas", monospace;--font-sans: "Inter", -apple-system, BlinkMacSystemFont, sans-serif}*{box-sizing:border-box;margin:0;padding:0}body{font-family:var(--font-sans);background:var(--bg-primary);color:var(--text-primary);line-height:1.6;min-height:100vh}.container{max-width:1400px;margin:0 auto;padding:2rem}header{text-align:center;margin-bottom:3rem;padding-bottom:2rem;border-bottom:1px solid var(--border-color)}header h1{font-size:2.5rem;font-weight:700;background:linear-gradient(135deg,var(--alice-color),var(--bob-color));-webkit-background-clip:text;-webkit-text-fill-color:transparent;background-clip:text;margin-bottom:.5rem}header .subtitle{color:var(--text-secondary);font-size:1.1rem}.hero-stats{display:flex;justify-content:center;gap:3rem;margin:2rem 0;flex-wrap:wrap}.hero-stat{display:flex;flex-direction:column;align-items:center;padding:1rem 1.5rem;background:var(--bg-secondary);border-radius:12px;border:1px solid var(--border-color);min-width:120px}.hero-number{font-family:var(--font-mono);font-size:2rem;font-weight:700;background:linear-gradient(135deg,var(--accent-blue),var(--accent-green));-webkit-background-clip:text;-webkit-text-fill-color:transparent;background-clip:text}.hero-number sup{font-size:.6em}.hero-label{font-size:.85rem;color:var(--text-secondary);margin-top:.25rem}.hero-quote{font-style:italic;color:var(--text-muted);max-width:800px;margin:1.5rem auto 0;padding:1rem 2rem;border-left:3px solid var(--accent-purple);background:var(--bg-secondary);border-radius:0 8px 8px 0;font-size:.95rem;line-height:1.6}.controls{display:flex;gap:2rem;align-items:center;justify-content:center;flex-wrap:wrap;margin-bottom:3rem;padding:1.5rem;background:var(--bg-secondary);border-radius:12px;border:1px solid var(--border-color)}.control-group{display:flex;flex-direction:column;gap:.5rem}.control-group label{font-size:.9rem;color:var(--text-secondary)}.control-group input[type=range]{width:200px;height:6px;-webkit-appearance:none;-moz-appearance:none;appearance:none;background:var(--bg-tertiary);border-radius:3px;cursor:pointer}.control-group input[type=range]::-webkit-slider-thumb{-webkit-appearance:none;width:18px;height:18px;background:var(--accent-blue);border-radius:50%;cursor:pointer;transition:transform .15s ease}.control-group input[type=range]::-webkit-slider-thumb:hover{transform:scale(1.1)}.loss-presets{display:flex;gap:.25rem;margin-top:.5rem;flex-wrap:wrap}.loss-preset{padding:.25rem .5rem;font-size:.7rem;background:var(--bg-tertiary);border:1px solid var(--border-color);border-radius:4px;color:var(--text-secondary);cursor:pointer;transition:all .15s ease}.loss-preset:hover{background:var(--accent-red);color:#fff;border-color:var(--accent-red)}.speed-legend{font-size:.7rem;color:var(--text-muted);margin-top:.25rem;text-align:center}.button-group{display:flex;gap:.75rem}button{font-family:var(--font-sans);font-size:.95rem;font-weight:500;padding:.75rem 1.5rem;border:1px solid var(--border-color);border-radius:8px;background:var(--bg-tertiary);color:var(--text-primary);cursor:pointer;transition:all .15s ease}button:hover{background:var(--bg-secondary);border-color:var(--text-muted)}button.primary{background:var(--accent-blue);border-color:var(--accent-blue)}button.primary:hover{background:#4d9aef}button:disabled{opacity:.5;cursor:not-allowed}.visualization{margin-bottom:3rem}.party-container{display:grid;grid-template-columns:1fr 400px 1fr;gap:1rem;align-items:start}.party{background:var(--bg-secondary);border-radius:12px;padding:1.5rem;border:2px solid var(--border-color);min-height:300px}#alice{border-color:var(--alice-color)}#bob{border-color:var(--bob-color)}.party h3{font-size:1.2rem;margin-bottom:1rem;display:flex;align-items:center;gap:.5rem}#alice h3{color:var(--alice-color)}#bob h3{color:var(--bob-color)}.state-indicator{display:flex;justify-content:space-between;padding:.75rem 1rem;background:var(--bg-tertiary);border-radius:8px;margin-bottom:1rem;font-family:var(--font-mono);font-size:.85rem}.phase strong{color:var(--accent-yellow)}.status{color:var(--text-muted)}.status.active{color:var(--accent-green)}.proof-stack{display:flex;flex-direction:column;gap:.5rem}.proof-artifact{padding:.75rem 1rem;background:var(--bg-primary);border-radius:6px;font-family:var(--font-mono);font-size:.8rem;border-left:3px solid var(--text-muted);animation:fadeIn .3s ease}.proof-artifact.commitment{border-left-color:var(--accent-yellow)}.proof-artifact.double{border-left-color:var(--accent-blue)}.proof-artifact.triple{border-left-color:var(--accent-purple)}.proof-artifact.quad{border-left-color:var(--accent-green)}@keyframes fadeIn{0%{opacity:0;transform:translateY(-10px)}to{opacity:1;transform:translateY(0)}}.channel{display:flex;flex-direction:column;align-items:center}#packet-svg{width:100%;height:200px;background:var(--bg-secondary);border-radius:12px;border:1px solid var(--border-color)}.channel-stats{display:flex;gap:1.5rem;margin-top:.75rem;font-size:.85rem;color:var(--text-secondary)}.channel-stats strong{color:var(--text-primary);font-family:var(--font-mono)}.proof-escalation{margin-bottom:3rem}.proof-escalation h2{font-size:1.3rem;margin-bottom:1.5rem;text-align:center}.escalation-diagram{display:flex;flex-direction:column;gap:1rem;max-width:800px;margin:0 auto;padding:1.5rem;background:var(--bg-secondary);border-radius:12px;border:1px solid var(--border-color)}.level{display:grid;grid-template-columns:150px 1fr;gap:1rem;align-items:center}.level-name{font-family:var(--font-mono);font-size:.85rem;color:var(--text-secondary)}.level-bars{display:flex;gap:.5rem;height:24px}.bar{flex:1;height:100%;background:var(--bg-tertiary);border-radius:4px;position:relative;overflow:hidden}.bar:after{content:"";position:absolute;left:0;top:0;height:100%;width:0%;border-radius:4px;transition:width .3s ease}.bar.alice-bar:after{background:var(--alice-color)}.bar.bob-bar:after{background:var(--bob-color)}.bar.complete:after{width:100%}.outcome{margin-bottom:3rem;text-align:center}.outcome h2{font-size:1.3rem;margin-bottom:1.5rem}.outcome-display{padding:2rem;background:var(--bg-secondary);border-radius:12px;border:1px solid var(--border-color);font-size:1.5rem;font-weight:600;margin-bottom:1.5rem}.outcome-display .pending{color:var(--text-muted);font-size:1rem;font-weight:400}.outcome-display.attack{border-color:var(--accent-green);color:var(--accent-green)}.outcome-display.abort{border-color:var(--accent-yellow);color:var(--accent-yellow)}.outcome-display.error{border-color:var(--accent-red);color:var(--accent-red)}.stats{display:flex;justify-content:center;gap:3rem}.stat{display:flex;flex-direction:column;gap:.25rem}.stat-label{font-size:.85rem;color:var(--text-secondary)}.stat-value{font-family:var(--font-mono);font-size:1.2rem;font-weight:600}.theseus-test{margin-bottom:3rem;padding:1.5rem;background:var(--bg-secondary);border-radius:12px;border:1px solid var(--border-color)}.theseus-test h2{font-size:1.3rem;margin-bottom:.5rem}.theseus-test>p{color:var(--text-secondary);margin-bottom:1.5rem}.theseus-controls{display:flex;align-items:center;gap:1rem;margin-bottom:1.5rem}#theseus-progress{font-family:var(--font-mono);font-size:.9rem;color:var(--text-secondary)}.theseus-results{min-height:100px}.theseus-grid{display:grid;grid-template-columns:repeat(10,1fr);gap:4px}.theseus-cell{aspect-ratio:1;border-radius:4px;background:var(--bg-tertiary)}.theseus-cell.attack{background:var(--accent-green)}.theseus-cell.retreat{background:#58a6ff}.theseus-cell.alice-only{background:var(--accent-red)}.theseus-cell.bob-only{background:#a855f7}.theseus-cell.asymmetric{background:#f97316}.theseus-summary{margin-top:1rem;padding:1rem;background:var(--bg-tertiary);border-radius:8px;font-family:var(--font-mono);font-size:.9rem}.theseus-header{display:flex;justify-content:space-between;align-items:center;margin-bottom:1rem;padding-bottom:.75rem;border-bottom:1px solid var(--border-color)}.theseus-legend{display:flex;gap:1.5rem}.legend-item{display:flex;align-items:center;gap:.5rem;font-size:.85rem;color:var(--text-secondary)}.legend-color{width:16px;height:16px;border-radius:3px}.legend-color.pending{background:var(--bg-tertiary)}.legend-color.attack{background:var(--accent-green)}.legend-color.retreat{background:#58a6ff}.legend-color.alice-only{background:var(--accent-red)}.legend-color.bob-only{background:#a855f7}.theseus-scale{display:flex;gap:.5rem;font-size:.8rem;color:var(--text-muted)}.summary-row{margin-bottom:.75rem;line-height:1.5}.summary-row.outcome{padding:.75rem;background:var(--bg-secondary);border-radius:6px;margin-top:1rem}.summary-row.outcome .pass{color:var(--accent-green);font-size:1.1rem}.summary-row.outcome .fail{color:var(--accent-red);font-size:1.1rem}.summary-row.outcome em{color:var(--text-muted);font-style:italic}.summary-row.insight{margin-top:1rem;padding:.75rem;background:linear-gradient(135deg,#58a6ff1a,#3fb9501a);border-radius:6px;border-left:3px solid var(--accent-purple)}.theseus-cell{position:relative}.theseus-cell:hover{transform:scale(1.2);z-index:100;cursor:pointer}.theseus-cell:after{content:attr(data-tooltip);position:absolute;bottom:100%;left:50%;transform:translate(-50%);background:var(--bg-primary);border:1px solid var(--border-color);border-radius:6px;padding:.5rem .75rem;font-size:.75rem;font-family:var(--font-mono);white-space:pre-line;color:var(--text-primary);pointer-events:none;opacity:0;transition:opacity .15s ease;z-index:1000;min-width:200px;box-shadow:0 4px 12px #0006;text-align:left;line-height:1.5}.theseus-cell:hover:after{opacity:1}.theseus-grid-parallel .theseus-cell:nth-child(-n+30):after{bottom:auto;top:100%;margin-top:4px}.proof-nesting{margin-bottom:3rem}.proof-nesting h2{font-size:1.3rem;margin-bottom:.5rem;text-align:center}.section-description{text-align:center;color:var(--text-secondary);margin-bottom:1.5rem}.nesting-diagram{background:var(--bg-secondary);border-radius:12px;border:1px solid var(--border-color);padding:1rem}#nesting-svg{width:100%;height:400px}.proof-formula{display:block;margin-top:.5rem;padding:.5rem .75rem;background:var(--bg-primary);border-radius:4px;font-family:var(--font-mono);font-size:.8rem;color:var(--accent-purple)}.explanation{margin-bottom:3rem}.explanation h2{font-size:1.3rem;margin-bottom:1.5rem;text-align:center}.explainer{display:grid;grid-template-columns:repeat(auto-fit,minmax(280px,1fr));gap:1rem;margin-bottom:1.5rem}.step{padding:1.25rem;background:var(--bg-secondary);border-radius:12px;border:1px solid var(--border-color)}.step h4{font-size:1rem;margin-bottom:.5rem;color:var(--accent-blue)}.step p{font-size:.9rem;color:var(--text-secondary)}.key-insight{padding:1.25rem;background:linear-gradient(135deg,#58a6ff1a,#3fb9501a);border-radius:12px;border:1px solid var(--border-color);text-align:center}.key-insight strong{color:var(--accent-purple)}.probability-scale{margin-bottom:3rem}.probability-scale h2{font-size:1.3rem;margin-bottom:.5rem;text-align:center}.scale-chart{max-width:800px;margin:0 auto;padding:1.5rem;background:var(--bg-secondary);border-radius:12px;border:1px solid var(--border-color)}.scale-item{display:grid;grid-template-columns:120px 1fr 200px;gap:1rem;align-items:center;padding:.75rem 0;border-bottom:1px solid var(--bg-tertiary)}.scale-item:last-child{border-bottom:none}.scale-bar{height:8px;background:linear-gradient(90deg,var(--accent-red),var(--accent-yellow),var(--accent-green));border-radius:4px;min-width:2px}.scale-value{font-family:var(--font-mono);font-size:.9rem;color:var(--accent-blue)}.scale-label{font-size:.85rem;color:var(--text-secondary)}.scale-insight{text-align:center;margin-top:1.5rem;padding:1rem;background:linear-gradient(135deg,#58a6ff1a,#a371f71a);border-radius:8px;font-size:.95rem;color:var(--text-primary)}.risk-decomposition{margin-bottom:3rem}.risk-decomposition h2{font-size:1.3rem;margin-bottom:.5rem;text-align:center}.risk-breakdown{display:grid;grid-template-columns:repeat(auto-fit,minmax(200px,1fr));gap:1rem;max-width:900px;margin:0 auto;padding:1.5rem 0}.risk-item{display:flex;flex-direction:column;padding:1.25rem;background:var(--bg-secondary);border-radius:12px;border:2px solid var(--border-color);text-align:center}.risk-item.zero{border-color:var(--accent-green)}.risk-item.negligible{border-color:var(--accent-blue)}.risk-item.material{border-color:var(--accent-yellow)}.risk-label{font-size:.85rem;color:var(--text-secondary);margin-bottom:.5rem}.risk-value{font-family:var(--font-mono);font-size:1.5rem;font-weight:700;margin-bottom:.25rem}.risk-item.zero .risk-value{color:var(--accent-green)}.risk-item.negligible .risk-value{color:var(--accent-blue)}.risk-item.material .risk-value{color:var(--accent-yellow)}.risk-note{font-size:.8rem;color:var(--text-muted);font-style:italic}.risk-insight{text-align:center;max-width:700px;margin:1rem auto 0;padding:1rem;background:var(--bg-secondary);border-radius:8px;border-left:3px solid var(--accent-green)}.lean-verification{margin-bottom:3rem}.lean-verification h2{font-size:1.3rem;margin-bottom:.5rem;text-align:center}.lean-stats{display:flex;justify-content:center;gap:2rem;margin:1.5rem 0;flex-wrap:wrap}.lean-stat{display:flex;flex-direction:column;align-items:center;padding:1rem 1.5rem;background:var(--bg-secondary);border-radius:12px;border:1px solid var(--border-color)}.lean-number{font-family:var(--font-mono);font-size:1.75rem;font-weight:700;color:var(--accent-purple)}.lean-label{font-size:.85rem;color:var(--text-secondary)}.lean-theorems{max-width:700px;margin:0 auto;display:flex;flex-direction:column;gap:.75rem}.theorem{display:flex;flex-direction:column;padding:1rem;background:var(--bg-secondary);border-radius:8px;border-left:3px solid var(--accent-purple)}.theorem code{font-family:var(--font-mono);font-size:.9rem;color:var(--accent-blue);margin-bottom:.25rem}.theorem span{font-size:.85rem;color:var(--text-secondary)}.theorem[data-peer-review]{position:relative;cursor:help}.theorem[data-peer-review]:after{content:"⚠️ Awaiting peer review. To help review, email team@riff.cc";position:absolute;bottom:100%;left:0;background:var(--bg-primary);border:1px solid var(--accent-yellow);border-radius:6px;padding:.5rem .75rem;font-size:.75rem;color:var(--accent-yellow);white-space:nowrap;pointer-events:none;opacity:0;transition:opacity .15s ease;z-index:100;box-shadow:0 4px 12px #0006}.theorem[data-peer-review]:hover:after{opacity:1}.peer-review-note{text-align:center;font-size:.85rem;color:var(--accent-yellow);margin-top:1rem;padding:.75rem;background:#d299221a;border-radius:6px;border:1px solid var(--accent-yellow)}.peer-review-note code{background:var(--bg-tertiary);padding:.1rem .3rem;border-radius:3px}footer{text-align:center;padding-top:2rem;border-top:1px solid var(--border-color);color:var(--text-muted);font-size:.9rem}.dedication{margin-bottom:1.5rem;padding:1.5rem;background:var(--bg-secondary);border-radius:12px;border:1px solid var(--border-color)}.dedication-text{font-weight:600;color:var(--text-primary);margin-bottom:.5rem}.dedication-quote{font-style:italic;color:var(--text-secondary);margin-bottom:.75rem;font-size:.95rem}.dedication-note{color:var(--text-muted);font-size:.85rem}.footer-links{display:flex;justify-content:center;gap:2rem;margin-bottom:1.5rem}.footer-links a{display:inline-flex;align-items:center;gap:.5rem;padding:.75rem 1.5rem;background:var(--bg-tertiary);border-radius:8px;color:var(--text-primary);text-decoration:none;font-weight:500;transition:all .15s ease}.footer-links a:hover{background:var(--accent-blue);transform:translateY(-2px)}.footer-meta{color:var(--text-muted)}footer em{font-style:italic}.packet{fill:var(--text-primary);transition:opacity .2s ease}.packet.alice-to-bob{fill:var(--alice-color)}.packet.bob-to-alice{fill:var(--bob-color)}.packet.lost{opacity:.2}.engine-indicator{padding:.5rem 1rem;background:var(--bg-tertiary);border-radius:6px;font-family:var(--font-mono);font-size:.85rem}.engine-indicator .wasm{color:var(--accent-red)}.engine-indicator .js{color:var(--accent-yellow)}@media (max-width: 1200px){.party-container{grid-template-columns:1fr}.channel{order:-1}#packet-svg{height:120px}}@media (max-width: 768px){.container{padding:1rem}header h1{font-size:1.75rem}.controls{flex-direction:column;align-items:stretch}.control-group input[type=range]{width:100%}.stats{flex-direction:column;gap:1rem}}