:root{color-scheme:dark;--bg:#080f20;--paper:#d7dde6;--acid:#acc6e9;--muted:#8799b2;--line:#2e4262;font-family:Arial,Helvetica,sans-serif;font-size:16px;scroll-behavior:smooth}*{box-sizing:border-box}body{margin:0;background:var(--bg);color:var(--paper)}a{color:var(--acid);text-underline-offset:4px}a:hover{color:#dce6f3}a:focus-visible,[tabindex]:focus-visible{outline:2px solid var(--acid);outline-offset:5px}::selection{background:var(--acid);color:var(--bg)}.skip{position:fixed;top:-80px;left:16px;padding:12px;background:var(--acid);color:var(--bg);z-index:5}.skip:focus{top:10px}.paper-top{display:flex;align-items:center;justify-content:space-between;gap:22px;padding:24px max(5%,calc((100% - 1240px)/2));border-bottom:1px solid var(--line)}.paper-top>a:last-child{font-size:.875rem}.brand{font:bold 1.8rem/1.2 'Courier New',monospace;letter-spacing:-.06em;color:var(--paper);text-decoration:none;white-space:nowrap}.brand span{color:var(--acid);font-size:.8rem;letter-spacing:0}.paper-layout{display:grid;grid-template-columns:225px minmax(0,820px);gap:70px;max-width:1240px;margin:0 auto;padding:56px 30px 0}.contents{position:sticky;align-self:start;top:28px;max-height:calc(100dvh - 56px);overflow:auto;font:.875rem/1.5 'Courier New',monospace}.contents>p{font-size:.8rem;color:var(--muted);margin:0 0 20px}.contents ol{margin:0;padding-left:25px}.contents li{margin:0 0 13px;color:var(--muted);padding-left:5px}.contents a{color:#aebacb;text-decoration:none}.contents a:hover{color:var(--acid)}main{min-width:0}.eyebrow{font:.8rem/1.5 'Courier New',monospace;letter-spacing:.1em;color:var(--acid);margin:0 0 22px}.paper-cover h1{font:900 clamp(2.65rem,5.4vw,4.8rem)/1.06 'Courier New',monospace;letter-spacing:-.06em;margin:0 0 22px;color:#e1e6ee}.subtitle{font-size:1.25rem;line-height:1.55;color:#aab6c8;margin:0 0 24px}.paper-meta{display:flex;flex-wrap:wrap;gap:10px 20px;font:.8rem/1.5 'Courier New',monospace;color:var(--muted);padding:18px 0 28px;border-bottom:1px solid var(--line)}.status-note{margin:28px 0 42px;padding:22px 24px;border-left:3px solid var(--acid);background:#acc6e907}.status-note>strong{font:.9rem/1.5 'Courier New',monospace;color:var(--acid);text-transform:uppercase}.status-note p{font-size:.95rem;line-height:1.8;margin:10px 0 0;color:#b5c0d0}section{margin:0 0 56px;scroll-margin-top:24px}h2{font:700 1.75rem/1.25 'Courier New',monospace;letter-spacing:-.035em;color:#e1e6ee;margin:0 0 22px;padding-top:24px;border-top:1px solid var(--line)}h2>span{display:block;color:var(--acid);font-size:.8rem;letter-spacing:.05em;margin-bottom:10px}h3{font-size:1.15rem;line-height:1.45;margin:28px 0 12px;color:#e1e6ee}section>p{font-size:1.0625rem;line-height:1.85;margin:0 0 19px;color:#b6c1d0}strong{color:#dde3eb}.cite{font:.8rem/1.5 'Courier New',monospace;white-space:nowrap}.thesis-line{border-left:2px solid var(--acid);padding:14px 20px;color:var(--acid);font-weight:bold}.tag{display:inline-block;border:1px solid #475870;padding:3px 7px;margin-right:6px;color:var(--acid);font:.72rem/1.5 'Courier New',monospace;vertical-align:middle}.tag.proposed{color:#e3c882;border-color:#6b5a35}code{font:.9em/1.6 'Courier New',monospace;background:#acc6e90a;padding:2px 4px;overflow-wrap:anywhere}.table-wrap{width:100%;overflow:auto;margin:24px 0;overscroll-behavior-x:contain}table{border-collapse:collapse;width:100%;min-width:610px;font-size:.93rem;line-height:1.7;text-align:left}caption{text-align:left;font:.85rem/1.7 'Courier New',monospace;color:var(--muted);margin-bottom:12px}th{color:var(--acid);font:.8rem/1.6 'Courier New',monospace;text-transform:uppercase;background:#12171d}td,th{vertical-align:top;border:1px solid var(--line);padding:15px}td:first-child{width:20%;color:#dde3eb}td{color:#b2bdcd}.flow{margin:30px 0;display:grid;grid-template-columns:1fr auto 1.2fr auto 1fr;align-items:stretch;gap:9px}.flow>div{border:1px solid var(--line);padding:17px 14px;min-width:0}.flow strong{display:block;font:.9rem/1.5 'Courier New',monospace}.flow div span{display:block;font-size:.8rem;line-height:1.7;color:var(--muted);margin-top:10px}.flow .private-box{border-color:var(--acid);background:#acc6e909}.private-box strong{color:var(--acid)}.flow-arrow{align-self:center;color:var(--acid)}figcaption{grid-column:1/-1;font-size:.8rem;line-height:1.65;color:var(--muted);margin-top:6px}.equation{padding:24px;background:#101b30;border:1px solid #435d83;margin:24px 0}.equation>strong{display:block;font-size:.9rem;color:var(--acid);margin-bottom:15px}.equation>code{display:block;background:transparent;padding:0;font-size:1rem;line-height:1.9}.equation p{font-size:.9rem;color:var(--muted);line-height:1.75;margin:18px 0 0}.decision{border-left:2px solid #435d83;padding:0 0 0 24px;margin:26px 0}.decision h3{margin-top:0}.decision ol,.gates{padding-left:23px;font-size:1rem;line-height:1.85;color:#b2bdcd}.decision li,.gates li{margin-bottom:16px;padding-left:4px}.official-note{background:#acc6e906;padding:20px;font-size:.95rem}.references ol{padding-left:25px}.references li{padding-left:4px;margin:0 0 13px;font-size:.9rem;line-height:1.65;overflow-wrap:anywhere}.paper-footer{display:flex;gap:20px;justify-content:space-between;border-top:1px solid var(--line);padding:25px 0 40px;font:.8rem/1.6 'Courier New',monospace;color:var(--muted)}@media(max-width:1000px){.paper-layout{grid-template-columns:185px minmax(0,1fr);gap:32px;padding-inline:25px}}@media(max-width:760px){.paper-top{padding:20px 6%;flex-wrap:wrap}.paper-layout{display:flex;flex-direction:column;padding:30px 6% 0;gap:30px}.contents{position:static;max-height:none;width:100%;border-bottom:1px solid var(--line);padding-bottom:18px}.contents ol{columns:2;column-gap:30px;font-size:.8rem}.contents li{break-inside:avoid;margin-bottom:10px}.paper-cover h1{font-size:clamp(2.3rem,8.5vw,3.6rem)}.subtitle{font-size:1.1rem}.flow{grid-template-columns:1fr}.flow-arrow{transform:rotate(90deg);justify-self:center}.flow>div{text-align:center}h2{font-size:1.5rem}.status-note{padding:18px}.equation{padding:18px}.paper-footer{flex-wrap:wrap}section>p{font-size:1rem}.contents a{display:inline-block;padding-block:3px}}@media(prefers-reduced-motion:reduce){:root{scroll-behavior:auto}}@media print{body{background:white;color:#111}.paper-top,.contents,.skip{display:none}.paper-layout{display:block;max-width:none;margin:0;padding:0}.paper-cover h1,h2,h3,strong{color:#111}.paper-cover h1{font-size:32pt}section>p,.status-note p,.subtitle,td,.decision ol,.gates{color:#222}.paper-meta,.eyebrow,.cite,a,.references li,.paper-footer,figcaption,.tag,.flow strong,.flow div span{color:#333}.status-note,.equation,.official-note,.flow .private-box,th{background:#f5f5f5;color:#111}.status-note>strong,.thesis-line,.equation>strong{color:#222}.tag{border-color:#777}.table-wrap{overflow:visible}table{min-width:0;font-size:9pt}th{color:#111}h2,h3{break-after:avoid}tr,.equation,.flow{break-inside:avoid}section{margin-bottom:22px}.contents{display:none}p{orphans:3;widows:3}@page{size:A4;margin:18mm}}

.paper-cover{background:radial-gradient(ellipse at top right,#2f578c22,transparent 65%)}.revision-note{border-top:1px solid var(--line);padding-top:14px}.paper-cover h1{color:#e8eef7}.private-box{box-shadow:3px 3px 0 #664c8833}