:root{--ground-bg:#f8fafc;--doc-bg:#ffffff;--rule-border:#cbd5e1;--rule-dark:#94a3b8;--rule-light:#e2e8f0;--ink-900:#0f172a;--ink-700:#334155;--ink-500:#64748b;--ink-400:#94a3b8;--provenance-emerald:#059669;--provenance-emerald-bg:#ecfdf5;--registry-cobalt:#1d4ed8;--registry-cobalt-bg:#eff6ff;--invariant-amber:#b45309;--invariant-amber-bg:#fffbeb;--hazard-crimson:#b91c1c;--hazard-crimson-bg:#fef2f2;--font-sans:-apple-system,BlinkMacSystemFont,"Inter","Segoe UI",Roboto,sans-serif;--font-mono:"JetBrains Mono","SF Mono",Menlo,Consolas,"Liberation Mono",monospace;--font-serif:"Newsreader","Charter","Georgia",serif;--max-width:1360px}*,::after,::before{box-sizing:border-box;margin:0;padding:0;border-radius:0!important}html{background-color:var(--ground-bg);color:var(--ink-900);font-family:var(--font-sans);line-height:1.65;font-size:15px;-webkit-font-smoothing:antialiased;scroll-behavior:smooth}body{min-height:100vh;display:flex;flex-direction:column;background-color:var(--ground-bg)}.repo-container{max-width:var(--max-width);margin:0 auto;padding:0 1.5rem;width:100%}.repo-topbar{background-color:#fff;border-bottom:1px solid var(--rule-border);padding:.6rem 0;font-family:var(--font-mono);font-size:.75rem}.topbar-flex{display:flex;justify-content:space-between;align-items:center}.topbar-status{display:flex;align-items:center;gap:.75rem;color:var(--ink-700)}.status-badge-verified{background:var(--provenance-emerald-bg);color:var(--provenance-emerald);border:1px solid rgba(5,150,105,.3);padding:.15rem .5rem;font-weight:700;display:inline-flex;align-items:center;gap:.35rem}.status-badge-verified::before{content:"";display:inline-block;width:6px;height:6px;background:var(--provenance-emerald)}.topbar-links{display:flex;gap:1.5rem;list-style:none}.topbar-links a{color:var(--ink-700);text-decoration:none;font-weight:600;transition:color .15s ease}.topbar-links a:hover{color:var(--registry-cobalt)}.topbar-links .active-portal{color:var(--registry-cobalt);border-bottom:2px solid var(--registry-cobalt);padding-bottom:2px}.rfc-masthead-wrapper{background:#fff;border-bottom:2px solid var(--ink-900);padding:2rem 0 1.75rem 0}.rfc-section-nav{background:#fff;border-bottom:1px solid var(--rule-border);padding:.5rem 0;font-family:var(--font-mono);font-size:.78rem;position:sticky;top:0;z-index:100;box-shadow:0 1px 3px rgba(0,0,0,.05)}.rfc-nav-flex{display:flex;align-items:center;gap:1.25rem;overflow-x:auto}.rfc-nav-label{color:var(--ink-500);font-weight:700;white-space:nowrap;letter-spacing:.05em;flex-shrink:0}.rfc-nav-list{display:flex;gap:.75rem;list-style:none;white-space:nowrap}.rfc-nav-list a{color:var(--ink-700);text-decoration:none;padding:.25rem .5rem;border:1px solid transparent;transition:all .15s ease}.rfc-nav-list a:hover{color:var(--registry-cobalt);background:var(--registry-cobalt-bg);border-color:rgba(29,78,216,.25)}.section-anchor{color:var(--rule-dark);text-decoration:none;font-weight:400;font-size:1.1rem;opacity:.4;transition:opacity .15s ease,color .15s ease}.section-anchor-header:hover .section-anchor,.section-anchor:hover{opacity:1;color:var(--registry-cobalt)}.rfc-header-box{background:#fff;border:1px solid var(--rule-border);padding:1.25rem 1.5rem;font-family:var(--font-mono);font-size:.8rem;line-height:1.5;display:grid;grid-template-columns:1fr 1fr;gap:1rem;margin-bottom:1.5rem}.rfc-header-left{display:flex;flex-direction:column;gap:.2rem;color:var(--ink-700)}.rfc-header-right{display:flex;flex-direction:column;gap:.2rem;text-align:right;color:var(--ink-700)}.rfc-label{color:var(--ink-500)}.rfc-title-area{display:flex;align-items:flex-start;gap:1.5rem}.rfc-logo{width:48px;height:48px;border:1px solid var(--rule-border);padding:4px}.rfc-title-block h1{font-size:1.75rem;font-weight:800;letter-spacing:-.02em;color:var(--ink-900);line-height:1.25}.rfc-lead-abstract{font-size:1.05rem;color:var(--ink-700);margin-top:.6rem;max-width:950px;line-height:1.6}.repo-body-section{padding:2.5rem 0 4rem 0}.repo-asymmetric-grid{display:grid;grid-template-columns:minmax(0,7fr) minmax(320px,3fr);gap:2.5rem;align-items:start}.document-pane{background:var(--doc-bg);border:1px solid var(--rule-border);box-shadow:0 1px 4px rgba(15,23,42,.04);padding:2.5rem;display:flex;flex-direction:column;gap:3.5rem}.doc-section{position:relative}.section-anchor-header{border-bottom:2px solid var(--ink-900);padding-bottom:.6rem;margin-bottom:1.25rem;display:flex;justify-content:space-between;align-items:baseline}.section-anchor-header h2{font-size:1.35rem;font-weight:800;letter-spacing:-.01em;color:var(--ink-900);display:flex;align-items:center;gap:.75rem}.section-num{font-family:var(--font-mono);font-size:.95rem;color:var(--registry-cobalt)}.section-badge{font-family:var(--font-mono);font-size:.72rem;font-weight:700;text-transform:uppercase;padding:.2rem .5rem;border:1px solid}.section-badge.emerald{color:var(--provenance-emerald);background:var(--provenance-emerald-bg);border-color:rgba(5,150,105,.3)}.section-badge.cobalt{color:var(--registry-cobalt);background:var(--registry-cobalt-bg);border-color:rgba(29,78,216,.3)}.section-badge.amber{color:var(--invariant-amber);background:var(--invariant-amber-bg);border-color:rgba(180,83,9,.3)}.doc-prose{color:var(--ink-700);font-size:.95rem;line-height:1.7;margin-bottom:1.25rem}.doc-prose strong{color:var(--ink-900)}.doc-table-wrap{overflow-x:auto;border:1px solid var(--rule-border);margin:1.25rem 0}.doc-table{width:100%;border-collapse:collapse;font-size:.85rem;text-align:left}.doc-table th{background:#f1f5f9;color:var(--ink-900);font-weight:700;padding:.65rem .9rem;border-bottom:1px solid var(--rule-border);font-family:var(--font-mono);font-size:.75rem;text-transform:uppercase;letter-spacing:.04em}.doc-table td{padding:.7rem .9rem;border-bottom:1px solid var(--rule-light);color:var(--ink-700)}.doc-table tr:hover td{background:#f8fafc}.doc-table td.mono{font-family:var(--font-mono);font-size:.8rem;color:var(--ink-900);font-weight:600}.doc-table td.verified{color:var(--provenance-emerald);font-family:var(--font-mono);font-size:.8rem;font-weight:700}.waveform-inspector-card{background:#f8fafc;border:1px solid var(--rule-border);padding:1.25rem;margin:1.5rem 0}.waveform-tabs{display:flex;gap:.5rem;margin-bottom:1rem;font-family:var(--font-mono);font-size:.75rem}.waveform-tab-btn{background:#fff;border:1px solid var(--rule-border);padding:.4rem .85rem;font-weight:600;cursor:pointer;color:var(--ink-700);transition:all .15s ease}.waveform-tab-btn:hover{background:#f1f5f9;color:var(--registry-cobalt)}.waveform-tab-btn.active{background:var(--ink-900);color:#fff;border-color:var(--ink-900)}.waveform-display-box{background:#fff;border:1px solid var(--rule-border);height:140px;position:relative;overflow:hidden}.waveform-svg{width:100%;height:100%}.waveform-info-strip{display:flex;justify-content:space-between;margin-top:.75rem;font-family:var(--font-mono);font-size:.75rem;color:var(--ink-700);border-top:1px solid var(--rule-light);padding-top:.6rem}.theorem-card{background:#fff;border-left:3px solid var(--registry-cobalt);border-top:1px solid var(--rule-border);border-right:1px solid var(--rule-border);border-bottom:1px solid var(--rule-border);padding:1.25rem 1.5rem;margin:1.5rem 0}.theorem-title{font-family:var(--font-mono);font-size:.85rem;font-weight:700;color:var(--registry-cobalt);text-transform:uppercase;margin-bottom:.75rem;display:flex;justify-content:space-between;align-items:center}.math-formula-box{background:#f8fafc;border:1px solid var(--rule-light);padding:1.25rem;margin:.75rem 0;overflow-x:auto;text-align:center}math[display=block]{font-size:1.15rem;color:var(--ink-900);font-family:"STIX Two Math","Cambria Math","Latin Modern Math","TeX Gyre Termes Math",math,var(--font-serif)}.theorem-explanation{font-size:.88rem;color:var(--ink-700);line-height:1.6;margin-top:.5rem}.bibtex-card{background:#f8fafc;border:1px solid var(--rule-border);padding:1.25rem;margin:1.25rem 0}.bibtex-header{display:flex;justify-content:space-between;align-items:center;font-family:var(--font-mono);font-size:.75rem;font-weight:700;color:var(--ink-700);margin-bottom:.6rem}.copy-btn{background:#fff;border:1px solid var(--rule-border);color:var(--registry-cobalt);font-family:var(--font-mono);font-size:.7rem;font-weight:600;padding:.25rem .6rem;cursor:pointer;transition:all .15s ease}.copy-btn:hover{background:var(--registry-cobalt);color:#fff}.bibtex-code{background:#fff;border:1px solid var(--rule-light);padding:.85rem 1rem;font-family:var(--font-mono);font-size:.78rem;color:var(--ink-900);white-space:pre-wrap;line-height:1.5;overflow-x:auto}.verification-rail{position:sticky;top:1.5rem;display:flex;flex-direction:column;gap:1.5rem}.rail-panel{background:#fff;border:1px solid var(--rule-border);box-shadow:0 1px 3px rgba(15,23,42,.04);padding:1.25rem}.rail-panel-header{border-bottom:2px solid var(--ink-900);padding-bottom:.5rem;margin-bottom:.85rem;display:flex;justify-content:space-between;align-items:center}.rail-panel-header h3{font-family:var(--font-mono);font-size:.8rem;font-weight:800;color:var(--ink-900);text-transform:uppercase;letter-spacing:.05em}.digest-box{background:#f8fafc;border:1px solid var(--rule-light);padding:.75rem;font-family:var(--font-mono);font-size:.75rem}.digest-tag{color:var(--ink-500);font-size:.68rem;text-transform:uppercase}.digest-hash{word-break:break-all;color:var(--provenance-emerald);font-weight:700;font-size:.72rem;margin:.35rem 0;line-height:1.4}.digest-meta{color:var(--ink-700);font-size:.7rem;border-top:1px solid var(--rule-light);padding-top:.35rem;display:flex;justify-content:space-between}.id-list{display:flex;flex-direction:column;gap:.5rem;font-family:var(--font-mono);font-size:.75rem}.id-item{display:flex;justify-content:space-between;align-items:center;background:#f8fafc;border:1px solid var(--rule-light);padding:.45rem .65rem}.id-key{color:var(--ink-500);font-weight:600}.id-val{color:var(--registry-cobalt);font-weight:700;text-decoration:none}.id-val:hover{text-decoration:underline}.gate-audit-list{display:flex;flex-direction:column;gap:.5rem}.gate-audit-item{background:#f8fafc;border:1px solid var(--rule-light);border-left:3px solid var(--provenance-emerald);padding:.5rem .65rem;font-family:var(--font-mono)}.gate-top-row{display:flex;justify-content:space-between;align-items:center;font-size:.72rem}.gate-id{font-weight:700;color:var(--ink-900)}.gate-badge{font-weight:700;color:var(--provenance-emerald)}.gate-desc{font-size:.7rem;color:var(--ink-700);margin-top:.2rem}.repl-cmd-box{background:var(--ink-900);color:#f8fafc;padding:.75rem;font-family:var(--font-mono);font-size:.72rem;line-height:1.5;overflow-x:auto}.repl-comment{color:var(--ink-400)}.repl-code{color:#a7f3d0}.repo-footer{background:#fff;border-top:2px solid var(--ink-900);padding:2.5rem 0;font-size:.82rem;color:var(--ink-700)}.footer-inner-grid{display:grid;grid-template-columns:1.4fr 1fr 1fr 1fr;gap:2rem}.footer-bio h4{font-size:1.1rem;color:var(--ink-900);font-weight:800;margin-bottom:.5rem}.footer-links-col h5{font-family:var(--font-mono);font-size:.75rem;color:var(--ink-900);text-transform:uppercase;margin-bottom:.6rem}.footer-links-col ul{list-style:none;display:flex;flex-direction:column;gap:.35rem}.footer-links-col a{color:var(--ink-700);text-decoration:none}.footer-links-col a:hover{color:var(--registry-cobalt)}.footer-bottom-row{margin-top:2rem;padding-top:1rem;border-top:1px solid var(--rule-border);display:flex;justify-content:space-between;font-family:var(--font-mono);font-size:.72rem;color:var(--ink-500)}@media (max-width:1024px){.repo-asymmetric-grid{grid-template-columns:1fr}.verification-rail{position:static}}@media (max-width:640px){.topbar-flex{flex-direction:column;align-items:flex-start;gap:.5rem}.topbar-links{flex-wrap:wrap;gap:.5rem 1rem}.rfc-header-box{grid-template-columns:1fr}.rfc-header-right{text-align:left}.document-pane{padding:1.25rem}.footer-inner-grid{grid-template-columns:1fr}.footer-bottom-row{flex-direction:column;gap:.5rem}}