:root{--bg-primary: #0d1117;--bg-secondary: #161b22;--bg-tertiary: #21262d;--text-primary: #f0f6fc;--text-secondary: #8b949e;--text-muted: #7d8590;--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}.skip-link{position:absolute;top:-100%;left:50%;transform:translate(-50%);background:var(--accent-blue);color:var(--text-primary);padding:1rem 2rem;border-radius:0 0 8px 8px;text-decoration:none;font-weight:600;z-index:10000;transition:top .3s ease}.skip-link:focus{top:0;outline:3px solid var(--accent-yellow);outline-offset:2px}:focus{outline:2px solid var(--accent-blue);outline-offset:2px}:focus:not(:focus-visible){outline:none}:focus-visible{outline:3px solid var(--accent-blue);outline-offset:2px}button:focus-visible,input:focus-visible,a:focus-visible{outline:3px solid var(--accent-yellow);outline-offset:2px}.primary:focus-visible{outline:3px solid var(--accent-yellow);box-shadow:0 0 0 6px #58a6ff4d}@media (prefers-reduced-motion: reduce){*,*:before,*:after{animation-duration:.01ms!important;animation-iteration-count:1!important;transition-duration:.01ms!important;scroll-behavior:auto!important}.packet,.proof-artifact,.theseus-cell{transition:none!important;animation:none!important}.theseus-cell:hover,.protocol-card:hover,.impact-card:hover,.footer-links a:hover{transform:none!important}.control-group input[type=range]::-webkit-slider-thumb:hover,.control-group input[type=range]::-moz-range-thumb:hover,.animation-controls input[type=range]::-webkit-slider-thumb:hover,.animation-controls input[type=range]::-moz-range-thumb:hover{transform:none!important}@keyframes fadeIn{0%{opacity:1;transform:none}to{opacity:1;transform:none}}@keyframes fixpointPulse{0%,to{box-shadow:none}50%{box-shadow:none}}@keyframes perf-spin{to{transform:none}}.tab-pane.active{animation:none!important}svg *{animation:none!important;transition:none!important}.phase-indicator{transition:none!important}.phase-indicator:hover,button:hover,.tab-button:hover,.loss-preset:hover,.bilateral-controls button:hover{transform:none!important}.perf-loading .spinner{animation:none!important;border-top-color:var(--accent-blue)}}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}}.tab-container{display:flex;gap:.5rem;margin-bottom:2rem;padding:.5rem;background:var(--bg-secondary);border-radius:12px;border:1px solid var(--border-color)}.tab-button{flex:1;display:flex;align-items:center;justify-content:center;gap:.75rem;padding:1rem 1.5rem;background:transparent;border:2px solid transparent;border-radius:8px;color:var(--text-secondary);font-family:var(--font-sans);font-size:.95rem;font-weight:500;cursor:pointer;transition:all .2s ease}.tab-button:hover{background:var(--bg-tertiary);color:var(--text-primary)}.tab-button.active{background:var(--bg-tertiary);border-color:var(--accent-blue);color:var(--text-primary)}.tab-button:focus-visible{outline:3px solid var(--accent-yellow);outline-offset:2px}.tab-icon{display:flex;align-items:center;justify-content:center;width:28px;height:28px;background:var(--bg-primary);border-radius:50%;font-family:var(--font-mono);font-size:.85rem;font-weight:600;color:var(--text-muted)}.tab-button.active .tab-icon{background:var(--accent-blue);color:#fff}.tab-button:hover .tab-icon{background:var(--bg-secondary);color:var(--text-primary)}.tab-button.active:hover .tab-icon{background:var(--accent-blue);color:#fff}.tab-label{white-space:nowrap}.tab-pane{display:none}.tab-pane.active{display:block;animation:fadeIn .3s ease}@keyframes fadeIn{0%{opacity:0;transform:translateY(10px)}to{opacity:1;transform:translateY(0)}}@media (max-width: 900px){.tab-container{flex-direction:column}.tab-button{justify-content:flex-start;padding:.75rem 1rem}}@media (max-width: 600px){.tab-label{font-size:.85rem}.tab-icon{width:24px;height:24px;font-size:.75rem}}.explainer-intro{text-align:center;padding:3rem 2rem}.explainer-intro h2{font-size:1.75rem;color:var(--text-primary);margin-bottom:1rem}.explainer-intro .section-description{font-size:1.1rem;color:var(--text-secondary);max-width:700px;margin:0 auto 2rem;line-height:1.6}.comparison-intro{text-align:center;padding:3rem 2rem}.comparison-intro h2{font-size:1.75rem;color:var(--text-primary);margin-bottom:1rem}.comparison-intro .section-description{font-size:1.1rem;color:var(--text-secondary);max-width:700px;margin:0 auto 2rem;line-height:1.6}.coming-soon-card{padding:2rem;background:var(--bg-secondary);border-radius:12px;border:2px dashed var(--border-color);max-width:600px;margin:0 auto}.coming-soon-card p{color:var(--text-muted);font-size:1rem;font-style:italic;margin:0}.battlefield-scene{margin-bottom:3rem}.battlefield-scene h2{font-size:1.5rem;margin-bottom:.5rem;text-align:center;color:var(--text-primary)}.battlefield-container{background:var(--bg-secondary);border-radius:12px;border:1px solid var(--border-color);padding:1.5rem;min-height:400px}.battlefield-container svg{width:100%;max-width:800px;height:auto;display:block;margin:0 auto}.battlefield-svg{border-radius:8px}.infinite-regress{margin-bottom:3rem}.infinite-regress h2{font-size:1.5rem;margin-bottom:.5rem;text-align:center;color:var(--text-primary)}.regress-container{background:var(--bg-secondary);border-radius:12px;border:1px solid var(--border-color);padding:1.5rem;min-height:450px}.regress-container svg{width:100%;max-width:800px;height:auto;display:block;margin:0 auto}.regress-explanation{text-align:center;margin-top:1.5rem;padding:1rem 1.5rem;background:var(--bg-tertiary);border-radius:8px;border-left:3px solid var(--accent-red)}.regress-explanation p{color:var(--text-secondary);font-size:.95rem;margin:0;line-height:1.5}.regress-explanation p strong{color:var(--accent-red)}.demo-controls{display:flex;justify-content:center;align-items:center;gap:.75rem;margin-top:1.5rem;flex-wrap:wrap}.demo-controls button{min-width:100px}.solution-statement{text-align:center;padding:2rem;background:linear-gradient(135deg,#3fb9501a,#58a6ff1a);border-radius:12px;border:1px solid var(--border-color);margin-bottom:2rem}.solution-statement h2{font-size:1.5rem;color:var(--accent-green);margin-bottom:.75rem}.solution-statement p{color:var(--text-secondary);font-size:1rem;max-width:700px;margin:0 auto;line-height:1.6}.solution-statement p strong{color:var(--accent-purple)}@media (max-width: 768px){.battlefield-container,.regress-container{padding:1rem;min-height:300px}.battlefield-scene h2,.infinite-regress h2{font-size:1.25rem}.demo-controls{flex-direction:column}.demo-controls button{width:100%;max-width:200px}}.performance-visualizer{padding:1.5rem;background:var(--bg-secondary);border-radius:12px;border:1px solid var(--border-color);margin-bottom:2rem}.performance-header{text-align:center;margin-bottom:2rem}.performance-header h2{font-size:1.5rem;margin-bottom:.5rem}.performance-header p{color:var(--text-secondary);font-size:.95rem}.perf-controls{display:flex;gap:1.5rem;align-items:flex-end;justify-content:center;flex-wrap:wrap;margin-bottom:2rem;padding:1.5rem;background:var(--bg-tertiary);border-radius:8px}.perf-control-group{display:flex;flex-direction:column;gap:.5rem}.perf-control-group label{font-size:.85rem;color:var(--text-secondary)}.perf-control-group select,.perf-control-group input[type=number]{padding:.5rem .75rem;background:var(--bg-secondary);border:1px solid var(--border-color);border-radius:6px;color:var(--text-primary);font-family:var(--font-mono);font-size:.9rem}.perf-control-group select:focus,.perf-control-group input:focus{outline:2px solid var(--accent-blue);outline-offset:2px}.perf-charts-grid{display:grid;grid-template-columns:repeat(2,1fr);gap:1.5rem;margin-bottom:2rem}@media (max-width: 900px){.perf-charts-grid{grid-template-columns:1fr}}.perf-chart-wrapper{background:var(--bg-primary);border-radius:8px;border:1px solid var(--border-color);padding:1rem}.perf-chart-wrapper h3{font-size:1rem;margin-bottom:.75rem;color:var(--text-primary);display:flex;align-items:center;gap:.5rem}.perf-chart-wrapper h3 .chart-icon{width:20px;height:20px;display:inline-flex;align-items:center;justify-content:center;background:var(--bg-tertiary);border-radius:4px;font-size:.75rem}.perf-chart{height:200px;position:relative}.perf-chart svg{width:100%;height:100%}.perf-chart .axis text{fill:var(--text-secondary);font-size:11px}.perf-chart .axis line,.perf-chart .axis path{stroke:var(--border-color)}.perf-chart .grid line{stroke:var(--bg-tertiary);stroke-dasharray:2,2}.protocol-cards{display:grid;grid-template-columns:repeat(4,1fr);gap:1rem;margin-bottom:2rem}@media (max-width: 1000px){.protocol-cards{grid-template-columns:repeat(2,1fr)}}@media (max-width: 600px){.protocol-cards{grid-template-columns:1fr}}.protocol-card{padding:1rem;background:var(--bg-primary);border-radius:8px;border:2px solid var(--border-color);text-align:center;transition:transform .15s ease,box-shadow .15s ease}.protocol-card:hover{transform:translateY(-2px);box-shadow:0 4px 12px #0000004d}.protocol-card.tgp{border-color:var(--accent-green)}.protocol-card.tcp{border-color:var(--accent-red)}.protocol-card.quic{border-color:var(--accent-purple)}.protocol-card.udp{border-color:var(--accent-yellow)}.protocol-card h4{font-size:1rem;margin-bottom:.5rem;font-family:var(--font-mono)}.protocol-card.tgp h4{color:var(--accent-green)}.protocol-card.tcp h4{color:var(--accent-red)}.protocol-card.quic h4{color:var(--accent-purple)}.protocol-card.udp h4{color:var(--accent-yellow)}.protocol-card .metric{font-family:var(--font-mono);font-size:1.5rem;font-weight:700;margin-bottom:.25rem}.protocol-card .metric-label{font-size:.8rem;color:var(--text-muted)}.protocol-card .description{margin-top:.75rem;font-size:.85rem;color:var(--text-secondary);line-height:1.4}.perf-summary{padding:1.5rem;background:linear-gradient(135deg,#3fb9501a,#58a6ff1a);border-radius:8px;border:1px solid var(--border-color);margin-bottom:1.5rem}.perf-summary h3{font-size:1.1rem;margin-bottom:1rem;color:var(--accent-green)}.perf-findings{display:flex;flex-direction:column;gap:.75rem}.perf-finding{display:flex;align-items:flex-start;gap:.75rem;padding:.75rem;background:var(--bg-secondary);border-radius:6px}.perf-finding .icon{width:24px;height:24px;display:flex;align-items:center;justify-content:center;background:var(--accent-green);border-radius:50%;font-size:.75rem;flex-shrink:0}.perf-finding .icon.warning{background:var(--accent-yellow)}.perf-finding .icon.info{background:var(--accent-blue)}.perf-finding .text{font-size:.9rem;color:var(--text-primary);line-height:1.4}.perf-finding .highlight{color:var(--accent-green);font-weight:600;font-family:var(--font-mono)}.perf-loading{display:flex;flex-direction:column;align-items:center;justify-content:center;padding:3rem;color:var(--text-secondary)}.perf-loading .spinner{width:40px;height:40px;border:3px solid var(--bg-tertiary);border-top-color:var(--accent-blue);border-radius:50%;animation:perf-spin 1s linear infinite;margin-bottom:1rem}@keyframes perf-spin{to{transform:rotate(360deg)}}.perf-loading .message{font-size:.95rem}.perf-error{padding:1.5rem;background:#f851491a;border:1px solid var(--accent-red);border-radius:8px;text-align:center;color:var(--accent-red)}.perf-error .error-icon{font-size:2rem;margin-bottom:.5rem}.perf-error .error-message{font-size:.95rem}.perf-chart-legend{display:flex;justify-content:center;gap:1.5rem;margin-top:1rem;flex-wrap:wrap}.perf-legend-item{display:flex;align-items:center;gap:.5rem;font-size:.85rem;color:var(--text-secondary)}.perf-legend-color{width:12px;height:12px;border-radius:2px}.perf-legend-color.tgp{background:var(--accent-green)}.perf-legend-color.tcp{background:var(--accent-red)}.perf-legend-color.quic{background:var(--accent-purple)}.perf-legend-color.udp{background:var(--accent-yellow)}.line-tgp{stroke:var(--accent-green)}.line-tcp{stroke:var(--accent-red)}.line-quic{stroke:var(--accent-purple)}.line-udp{stroke:var(--accent-yellow)}.bar-tgp{fill:var(--accent-green)}.bar-tcp{fill:var(--accent-red)}.bar-quic{fill:var(--accent-purple)}.bar-udp{fill:var(--accent-yellow)}.perf-progress{margin-bottom:1.5rem}.perf-progress-bar{height:8px;background:var(--bg-tertiary);border-radius:4px;overflow:hidden}.perf-progress-fill{height:100%;background:linear-gradient(90deg,var(--accent-blue),var(--accent-green));border-radius:4px;transition:width .3s ease}.perf-progress-text{display:flex;justify-content:space-between;margin-top:.5rem;font-size:.85rem;color:var(--text-secondary)}.perf-table{width:100%;border-collapse:collapse;margin-top:1.5rem;font-size:.9rem}.perf-table th,.perf-table td{padding:.75rem 1rem;text-align:left;border-bottom:1px solid var(--border-color)}.perf-table th{background:var(--bg-tertiary);font-weight:600;color:var(--text-primary)}.perf-table td{color:var(--text-secondary);font-family:var(--font-mono)}.perf-table tr:hover td{background:var(--bg-tertiary)}.perf-table .protocol-name{font-weight:600}.perf-table .protocol-name.tgp{color:var(--accent-green)}.perf-table .protocol-name.tcp{color:var(--accent-red)}.perf-table .protocol-name.quic{color:var(--accent-purple)}.perf-table .protocol-name.udp{color:var(--accent-yellow)}.perf-table .value-good{color:var(--accent-green)}.perf-table .value-warn{color:var(--accent-yellow)}.perf-table .value-bad{color:var(--accent-red)}.proof-merging{margin-bottom:3rem}.proof-merging h2{font-size:1.5rem;margin-bottom:.5rem;text-align:center;color:var(--text-primary)}.proof-merging-container{background:var(--bg-secondary);border-radius:12px;border:1px solid var(--border-color);padding:1.5rem;min-height:450px}.proof-merging-container svg{width:100%;max-width:800px;height:auto;display:block;margin:0 auto}.phase-walkthrough{margin-bottom:3rem}.phase-walkthrough h2{font-size:1.5rem;margin-bottom:.5rem;text-align:center;color:var(--text-primary)}.phase-walkthrough-container{background:var(--bg-secondary);border-radius:12px;border:1px solid var(--border-color);padding:1.5rem;min-height:500px}.phase-walkthrough-container svg{width:100%;max-width:800px;height:auto;display:block;margin:0 auto}.phase-indicator{cursor:pointer;transition:all .2s ease}.phase-indicator:hover{transform:scale(1.1)}.phase-indicator.active{filter:drop-shadow(0 0 6px currentColor)}.bilateral-property-box{background:linear-gradient(135deg,#f0883e26,#a371f726);border:2px solid var(--accent-purple);border-radius:8px;padding:1rem 1.5rem;margin-top:1.5rem;text-align:center}.bilateral-property-box h4{color:var(--accent-purple);font-size:.9rem;margin-bottom:.5rem;text-transform:uppercase;letter-spacing:.5px}.bilateral-property-box p{color:var(--text-primary);font-size:.9rem;line-height:1.6;margin:0}@keyframes fixpointPulse{0%,to{box-shadow:0 0 #3fb95066}50%{box-shadow:0 0 0 8px #3fb95000}}.fixpoint-achieved{animation:fixpointPulse 2s ease-in-out infinite}.control-btn{cursor:pointer;transition:all .15s ease}.control-btn:hover{filter:brightness(1.2)}@media (max-width: 768px){.proof-merging-container,.phase-walkthrough-container{padding:1rem;min-height:400px}.proof-merging h2,.phase-walkthrough h2{font-size:1.25rem}.bilateral-property-box{padding:.75rem 1rem}.bilateral-property-box p{font-size:.85rem}}.bilateral-graph-section{margin-bottom:3rem}.bilateral-graph-section h2{font-size:1.5rem;margin-bottom:.5rem;text-align:center;color:var(--text-primary)}.bilateral-graph-container{background:var(--bg-secondary);border-radius:12px;border:1px solid var(--border-color);padding:1.5rem;min-height:500px}.bilateral-graph-container svg{width:100%;max-width:900px;height:auto;display:block;margin:0 auto}.bilateral-header{display:flex;justify-content:space-between;align-items:center;margin-bottom:1rem;padding-bottom:1rem;border-bottom:1px solid var(--border-color)}.bilateral-header h3{font-size:1rem;color:var(--text-primary);margin:0}.bilateral-controls{display:flex;gap:.5rem}.bilateral-controls button{padding:.4rem .8rem;font-size:.8rem;background:var(--bg-tertiary);border:1px solid var(--border-color);border-radius:6px;color:var(--text-secondary);cursor:pointer;transition:all .15s ease}.bilateral-controls button:hover{background:var(--bg-primary);color:var(--text-primary);border-color:var(--accent-blue)}.bilateral-controls button.active{background:var(--accent-blue);color:var(--bg-primary);border-color:var(--accent-blue)}.bilateral-explanation{margin-top:1.5rem;padding:1rem;background:linear-gradient(135deg,#388bfd1a,#a371f71a);border-radius:8px;border-left:3px solid var(--accent-blue)}.bilateral-explanation p{margin:0;color:var(--text-secondary);font-size:.9rem;line-height:1.6}.bilateral-explanation code{background:var(--bg-tertiary);padding:.1rem .3rem;border-radius:4px;font-family:var(--font-mono);font-size:.85rem;color:var(--accent-purple)}.no-last-message-section{margin-bottom:3rem}.no-last-message-section h2{font-size:1.5rem;margin-bottom:.5rem;text-align:center;color:var(--text-primary)}.no-last-message-container{background:var(--bg-secondary);border-radius:12px;border:1px solid var(--border-color);padding:1.5rem;min-height:450px}.comparison-panels{display:grid;grid-template-columns:1fr 1fr;gap:1.5rem;margin-bottom:1.5rem}.comparison-panel{background:var(--bg-tertiary);border-radius:10px;padding:1.25rem;border:1px solid var(--border-color)}.comparison-panel.traditional{border-left:3px solid var(--accent-red)}.comparison-panel.tgp{border-left:3px solid var(--accent-green)}.comparison-panel h3{font-size:1rem;margin:0 0 1rem;display:flex;align-items:center;gap:.5rem}.comparison-panel.traditional h3{color:var(--accent-red)}.comparison-panel.tgp h3{color:var(--accent-green)}.comparison-panel .panel-icon{width:20px;height:20px;border-radius:50%;display:flex;align-items:center;justify-content:center;font-size:.75rem;font-weight:700}.comparison-panel.traditional .panel-icon{background:var(--accent-red);color:var(--bg-primary)}.comparison-panel.tgp .panel-icon{background:var(--accent-green);color:var(--bg-primary)}.comparison-panel svg{width:100%;height:200px;display:block;margin:0 auto}.comparison-panel .panel-footer{margin-top:1rem;padding-top:1rem;border-top:1px solid var(--border-color);font-size:.85rem;color:var(--text-secondary)}.comparison-insight{background:linear-gradient(135deg,#3fb95026,#388bfd26);border-radius:8px;padding:1rem;text-align:center}.comparison-insight p{margin:0;color:var(--text-primary);font-size:.95rem;font-weight:500}.knot-metaphor-section{margin-bottom:3rem}.knot-metaphor-section h2{font-size:1.5rem;margin-bottom:.5rem;text-align:center;color:var(--text-primary)}.knot-metaphor-container{background:var(--bg-secondary);border-radius:12px;border:1px solid var(--border-color);padding:1.5rem;min-height:450px}.knot-comparison{display:grid;grid-template-columns:1fr auto 1fr;gap:1.5rem;align-items:center;margin-bottom:1.5rem}.knot-side{text-align:center}.knot-side h3{font-size:1rem;margin-bottom:.75rem}.chain-side h3{color:var(--accent-red)}.knot-side:last-child h3{color:var(--accent-green)}.knot-side svg{width:100%;max-width:280px;height:200px;display:block;margin:0 auto}.knot-divider{display:flex;flex-direction:column;align-items:center;gap:.5rem;color:var(--text-muted)}.knot-divider .vs-text{font-size:1.25rem;font-weight:700;color:var(--accent-yellow)}.knot-divider .arrow{font-size:1.5rem}.knot-insight{background:linear-gradient(135deg,#a371f726,#f0883e26);border-radius:8px;padding:1.25rem;border:1px solid var(--accent-purple);text-align:center}.knot-insight h4{margin:0 0 .5rem;color:var(--accent-purple);font-size:.9rem;text-transform:uppercase;letter-spacing:.5px}.knot-insight p{margin:0;color:var(--text-primary);font-size:.95rem;line-height:1.6}.knot-insight code{background:var(--bg-tertiary);padding:.15rem .4rem;border-radius:4px;font-family:var(--font-mono);color:var(--accent-orange)}.impact-visualization-section{margin-bottom:3rem}.impact-visualization-section h2{font-size:1.5rem;margin-bottom:.5rem;text-align:center;color:var(--text-primary)}.impact-visualization-container{background:var(--bg-secondary);border-radius:12px;border:1px solid var(--border-color);padding:1.5rem}.impact-grid{display:grid;grid-template-columns:repeat(auto-fit,minmax(240px,1fr));gap:1.25rem;margin-bottom:1.5rem}.impact-card{background:var(--bg-tertiary);border-radius:10px;padding:1.25rem;border:1px solid var(--border-color);transition:all .2s ease;position:relative;overflow:hidden}.impact-card:before{content:"";position:absolute;top:0;left:0;right:0;height:3px;background:var(--card-accent, var(--accent-blue))}.impact-card:hover{transform:translateY(-2px);box-shadow:0 4px 12px #0000004d;border-color:var(--card-accent, var(--accent-blue))}.impact-card.safety{--card-accent: var(--accent-green)}.impact-card.liveness{--card-accent: var(--accent-blue)}.impact-card.performance{--card-accent: var(--accent-yellow)}.impact-card.simplicity{--card-accent: var(--accent-purple)}.impact-card .card-icon{width:40px;height:40px;border-radius:8px;background:var(--card-accent, var(--accent-blue));display:flex;align-items:center;justify-content:center;margin-bottom:.75rem;font-size:1.25rem}.impact-card h3{font-size:1rem;margin:0 0 .5rem;color:var(--text-primary)}.impact-card p{margin:0;font-size:.85rem;color:var(--text-secondary);line-height:1.5}.impact-card .metric{margin-top:.75rem;padding-top:.75rem;border-top:1px solid var(--border-color);font-family:var(--font-mono);font-size:.8rem}.impact-card .metric .label{color:var(--text-muted)}.impact-card .metric .value{color:var(--card-accent, var(--accent-blue));font-weight:600}.impact-philosophy{background:linear-gradient(135deg,#f0883e1a,#a371f71a);border-radius:8px;padding:1.5rem;text-align:center;border:1px solid var(--accent-orange)}.impact-philosophy h4{margin:0 0 .75rem;color:var(--accent-orange);font-size:1rem}.impact-philosophy .japanese{font-size:1.25rem;color:var(--text-primary);margin-bottom:.5rem}.impact-philosophy .translation{font-style:italic;color:var(--text-secondary);font-size:.9rem;margin-bottom:.75rem}.impact-philosophy p{margin:0;color:var(--text-secondary);font-size:.9rem;line-height:1.6}@media (max-width: 768px){.bilateral-graph-container,.no-last-message-container,.knot-metaphor-container,.impact-visualization-container{padding:1rem;min-height:auto}.bilateral-graph-section h2,.no-last-message-section h2,.knot-metaphor-section h2,.impact-visualization-section h2{font-size:1.25rem}.bilateral-header{flex-direction:column;gap:.75rem;text-align:center}.bilateral-controls{justify-content:center}.comparison-panels{grid-template-columns:1fr}.knot-comparison{grid-template-columns:1fr;gap:1rem}.knot-divider{flex-direction:row}.impact-grid{grid-template-columns:1fr}.impact-philosophy{padding:1rem}.impact-philosophy .japanese{font-size:1.1rem}}.animation-controls{display:flex;align-items:center;gap:1rem;padding:.75rem 1rem;background:var(--bg-tertiary);border-radius:8px;border:1px solid var(--border-color);margin-bottom:1rem}.animation-controls label{font-size:.85rem;color:var(--text-secondary);font-weight:500;white-space:nowrap}.animation-controls .speed-slider-container{display:flex;align-items:center;gap:.5rem;flex:1}.animation-controls input[type=range]{flex:1;height:4px;background:var(--bg-secondary);border-radius:2px;outline:none;-webkit-appearance:none;cursor:pointer}.animation-controls input[type=range]::-webkit-slider-thumb{-webkit-appearance:none;-moz-appearance:none;appearance:none;width:16px;height:16px;border-radius:50%;background:var(--accent-blue);cursor:pointer;transition:all .15s ease}.animation-controls input[type=range]::-webkit-slider-thumb:hover{background:var(--accent-purple);transform:scale(1.2)}.animation-controls input[type=range]::-moz-range-thumb{width:16px;height:16px;border-radius:50%;background:var(--accent-blue);border:none;cursor:pointer;transition:all .15s ease}.animation-controls input[type=range]::-moz-range-thumb:hover{background:var(--accent-purple);transform:scale(1.2)}.animation-controls .speed-value{font-size:.85rem;color:var(--text-primary);font-weight:600;font-family:var(--font-mono);min-width:2.5rem;text-align:right}.animation-controls .control-buttons{display:flex;gap:.5rem}.animation-controls button{padding:.4rem .75rem;font-size:.8rem;background:var(--bg-secondary);border:1px solid var(--border-color);border-radius:6px;color:var(--text-secondary);cursor:pointer;transition:all .15s ease;white-space:nowrap}.animation-controls button:hover{background:var(--bg-primary);color:var(--text-primary);border-color:var(--accent-blue)}.animation-controls button.active{background:var(--accent-blue);color:var(--bg-primary);border-color:var(--accent-blue)}.animation-controls button:disabled{opacity:.5;cursor:not-allowed}.animation-controls .speed-icon{display:inline-block;margin-right:.25rem}@media (max-width: 768px){.animation-controls{flex-direction:column;align-items:stretch;gap:.75rem}.animation-controls .speed-slider-container{width:100%}.animation-controls .control-buttons{justify-content:center}}.loading-overlay{position:fixed;top:0;left:0;right:0;bottom:0;background:#0d1117e6;display:flex;flex-direction:column;align-items:center;justify-content:center;z-index:9999;-webkit-backdrop-filter:blur(4px);backdrop-filter:blur(4px)}.loading-spinner{width:60px;height:60px;border:4px solid var(--bg-tertiary);border-top-color:var(--accent-blue);border-radius:50%;animation:spin 1s linear infinite;margin-bottom:1.5rem}@keyframes spin{to{transform:rotate(360deg)}}.loading-message{color:var(--text-primary);font-size:1rem;font-weight:500}.progress-overlay{position:fixed;top:0;left:0;right:0;bottom:0;background:#0d1117f2;display:flex;flex-direction:column;align-items:center;justify-content:center;z-index:9999;-webkit-backdrop-filter:blur(4px);backdrop-filter:blur(4px)}.progress-content{max-width:500px;width:90%;text-align:center}.progress-message{color:var(--text-primary);font-size:1rem;font-weight:500;margin-bottom:1rem}.progress-bar-container{background:var(--bg-tertiary);border-radius:8px;height:12px;overflow:hidden;margin-bottom:.5rem}.progress-bar-fill{height:100%;background:linear-gradient(90deg,var(--accent-blue),var(--accent-green));border-radius:8px;transition:width .3s ease;width:0%}.progress-percent{color:var(--text-secondary);font-size:.9rem;font-family:var(--font-mono)}.tooltip{position:absolute;background:var(--bg-primary);border:1px solid var(--border-color);border-radius:6px;padding:.5rem .75rem;font-size:.85rem;color:var(--text-primary);pointer-events:none;z-index:10000;box-shadow:0 4px 12px #0006;max-width:250px;opacity:0;transition:opacity .2s ease}.tooltip.visible{opacity:1}.tooltip:before{content:"";position:absolute;border:6px solid transparent}.tooltip-top:before{bottom:-12px;left:50%;transform:translate(-50%);border-top-color:var(--border-color)}.tooltip-bottom:before{top:-12px;left:50%;transform:translate(-50%);border-bottom-color:var(--border-color)}.tooltip-left:before{right:-12px;top:50%;transform:translateY(-50%);border-left-color:var(--border-color)}.tooltip-right:before{left:-12px;top:50%;transform:translateY(-50%);border-right-color:var(--border-color)}.button-ripple{position:absolute;border-radius:50%;background:#58a6ff66;pointer-events:none;transform:scale(0);animation:ripple-animation .6s ease-out}@keyframes ripple-animation{to{transform:scale(4);opacity:0}}.button-pulse{animation:pulse-animation 2s ease-in-out infinite}@keyframes pulse-animation{0%,to{box-shadow:0 0 #58a6ff66}50%{box-shadow:0 0 0 8px #58a6ff00}}button:hover:not(:disabled){box-shadow:0 4px 12px #58a6ff33}button.primary:hover:not(:disabled){box-shadow:0 4px 16px #58a6ff66}.fade-in{opacity:0;transition:opacity .6s ease,transform .6s ease}.fade-in.visible{opacity:1}.slide-in-left{opacity:0;transform:translate(-50px);transition:opacity .6s ease,transform .6s ease}.slide-in-left.visible{opacity:1;transform:translate(0)}.slide-in-right{opacity:0;transform:translate(50px);transition:opacity .6s ease,transform .6s ease}.slide-in-right.visible{opacity:1;transform:translate(0)}.counter{font-variant-numeric:tabular-nums}.tab-pane.slide-forward{animation:slide-in-forward .3s ease}.tab-pane.slide-backward{animation:slide-in-backward .3s ease}@keyframes slide-in-forward{0%{opacity:0;transform:translate(20px)}to{opacity:1;transform:translate(0)}}@keyframes slide-in-backward{0%{opacity:0;transform:translate(-20px)}to{opacity:1;transform:translate(0)}}@media (prefers-reduced-motion: reduce){.loading-spinner,.button-ripple,.button-pulse,.fade-in,.slide-in-left,.slide-in-right,.tab-pane{animation:none!important;transition:none!important}.fade-in,.slide-in-left,.slide-in-right{opacity:1!important;transform:none!important}}