:root{--ink:#172033;--muted:#526078;--paper:#f7f5ed;--paper2:#e9edf1;--navy:#162743;--blue:#2458a6;--cyan:#4bc4cd;--gold:#ddb755;--coral:#cb624f;--line:#a7b0bf}
*{box-sizing:border-box}
html{scroll-behavior:smooth;background:#101a2d}
body{min-width:320px;margin:0;color:var(--ink);background:linear-gradient(145deg,#1a2c49,#0d1424);font-family:Inter,"Avenir Next",Arial,sans-serif}
a{color:inherit;text-underline-offset:.2em}
.paper-hero{width:min(1260px,calc(100% - 32px));min-height:760px;margin:24px auto 0;padding:24px clamp(28px,7vw,92px) clamp(62px,9vw,112px);color:#fff;background:radial-gradient(circle at 84% 24%,#4bc4cd55,transparent 25rem),linear-gradient(145deg,#0f1b32,#253f66);box-shadow:0 30px 90px #020610aa}
.paper-hero .hierarchy-nav.hierarchy-nav{margin:0}
.section-code{margin:clamp(82px,12vw,145px) 0 18px;color:var(--cyan);font-size:10px;font-weight:900;letter-spacing:.2em}
.paper-hero h1{margin:clamp(82px,12vw,145px) 0 0}
.paper-hero h1>span{display:block;font:800 clamp(112px,22vw,260px)/.68 Arial,sans-serif;letter-spacing:-.09em}
.paper-hero h1>small{display:block;margin:34px 0 0;font:700 clamp(42px,6vw,76px)/.92 Georgia,serif;letter-spacing:-.045em}
.paper-hero h1>small i{color:var(--gold);font-weight:400}
.paper-deck{max-width:820px;margin:38px 0 0;color:#dbe6f3;font:20px/1.65 Georgia,serif}
.hero-actions{display:flex;flex-wrap:wrap;gap:12px;margin-top:36px}
.hero-actions a{display:flex;min-width:min(100%,320px);flex-direction:column;gap:8px;padding:18px 20px;border:1px solid #6f8099;text-decoration:none}
.hero-actions a:hover,.hero-actions a:focus-visible{border-color:var(--gold);background:#ffffff0d}
.hero-actions .paper-download{color:#111b2d;background:var(--gold);border-color:var(--gold)}
.hero-actions .paper-download:hover,.hero-actions .paper-download:focus-visible{background:#f0ce72}
.hero-actions span{font-size:10px;font-weight:900;letter-spacing:.12em;text-transform:uppercase}
.paper-facts{display:grid;grid-template-columns:repeat(5,1fr);gap:1px;margin:62px 0 0;padding:1px;background:#8391a6}
.paper-facts div{padding:18px;background:#142440}
.paper-facts dt{color:#9fdfe4;font-size:9px;font-weight:900;letter-spacing:.14em;text-transform:uppercase}
.paper-facts dd{margin:10px 0 0;font:700 18px Georgia,serif}
.paper-layout{display:grid;grid-template-columns:245px minmax(0,1fr);width:min(1260px,calc(100% - 32px));margin:0 auto 48px;background:var(--paper);box-shadow:0 30px 90px #020610aa}
.paper-toc{position:sticky;top:0;align-self:start;max-height:100vh;padding:34px 26px;color:#e8eef7;background:#111d32;overflow:auto}
.paper-toc>strong{display:block;color:var(--cyan);font-size:10px;letter-spacing:.15em;text-transform:uppercase}
.paper-toc ol{margin:24px 0 30px;padding:0;list-style:none;counter-reset:toc}
.paper-toc li{counter-increment:toc;border-top:1px solid #40506a}
.paper-toc a{display:block;padding:12px 0;color:#dfe7f2;font-size:13px;line-height:1.35;text-decoration:none}
.paper-toc li a::before{content:"0" counter(toc) " ";color:#7f92aa}
.paper-toc li:nth-child(n+10) a::before{content:counter(toc) " "}
.paper-toc a:hover,.paper-toc a:focus-visible{color:#fff5bd}
.paper-source-link{border-top:2px solid var(--gold)!important;font-weight:800}
.paper-main{min-width:0}
.paper-section{padding:clamp(62px,9vw,112px) clamp(28px,8vw,102px);border-bottom:1px solid #b7bfca}
.paper-section:nth-child(even){background:var(--paper2)}
.paper-section .section-code{margin:0 0 18px;color:var(--blue)}
.paper-section h2{max-width:920px;margin:0;font:700 clamp(42px,6vw,76px)/.94 Georgia,serif;letter-spacing:-.05em;text-wrap:balance}
.paper-section h3{font-family:Georgia,serif}
.paper-section p,.paper-section li{text-wrap:pretty}
.lead-columns,.body-grid,.walk-grid,.dip-features,.receipt-grid{display:grid;gap:22px}
.lead-columns{grid-template-columns:1fr 1fr;margin-top:44px}
.lead-columns p,.section-intro,.dip-lede{margin:0;font:18px/1.72 Georgia,serif}
.definition-box{display:grid;grid-template-columns:180px 1fr;gap:26px;margin-top:40px;padding:26px;color:#fff;background:var(--navy)}
.definition-box strong{color:var(--gold);font-size:11px;letter-spacing:.12em;text-transform:uppercase}
.definition-box p{margin:0;font:18px/1.6 Georgia,serif}
.history-line{margin:50px 0 0;padding:0;list-style:none}
.history-line li{display:grid;grid-template-columns:110px 1fr;gap:28px;padding:28px 0;border-top:1px solid var(--line)}
.history-line time{color:var(--blue);font:800 28px Arial,sans-serif}
.history-line h3{margin:0 0 10px;font-size:26px}
.history-line p{max-width:760px;margin:0 0 12px;line-height:1.65}
.history-line a{color:var(--blue);font-weight:800}
.equation-panel{display:grid;justify-items:center;gap:16px;margin-top:48px;padding:38px;color:#f4f8fd;background:#12213a;text-align:center}
.equation-panel span{color:var(--cyan);font-size:10px;font-weight:900;letter-spacing:.17em}
.equation-panel code{font:clamp(20px,3vw,34px)/1.4 Georgia,serif}
.equation-panel b{color:#c8d5e6;font-size:12px}
.body-grid{grid-template-columns:repeat(3,1fr);margin-top:24px}
.body-grid>div{padding:25px;background:#fff;border-top:5px solid var(--blue)}
.body-grid h3{margin:30px 0 10px;font-size:24px}
.body-grid p{margin:0;line-height:1.65}
.repair-section{background:#dce9e8!important}
.basis-lab{display:grid;grid-template-columns:230px minmax(0,1fr);gap:24px;margin-top:44px;padding:24px;background:#fff;border:1px solid #718296}
.lab-controls label,.dip-controls label{display:grid;grid-template-columns:1fr auto;gap:10px;margin:0 0 8px;font-size:11px;font-weight:900;letter-spacing:.08em;text-transform:uppercase}
.lab-controls input,.dip-controls input{width:100%;margin:0 0 26px;accent-color:var(--blue)}
canvas{display:block;max-width:100%;height:auto;background:#0e1c31}
.lab-readout{grid-column:1/-1;display:grid;grid-template-columns:repeat(3,1fr);gap:1px;margin:0;background:#8e9baa}
.lab-readout div{padding:16px;background:#eef3f2}
.lab-readout dt{font-size:9px;font-weight:900;letter-spacing:.12em;text-transform:uppercase}
.lab-readout dd{margin:8px 0 0;font:700 22px Georgia,serif}
.repair-identity{margin-top:24px;padding:24px;color:#fff;background:var(--navy)}
.repair-identity code{font-size:clamp(14px,2vw,21px)}
.repair-identity p{margin:18px 0 0;line-height:1.65}
.walk-grid{grid-template-columns:repeat(3,1fr);margin-top:46px}
.walk-grid article{display:flex;min-height:400px;flex-direction:column;padding:26px;background:#fff;border-top:6px solid var(--blue)}
.walk-grid .dip-card{color:#fff;background:#163a4a;border-top-color:var(--cyan)}
.walk-grid span{color:var(--blue);font-size:11px;font-weight:900;letter-spacing:.15em}
.walk-grid .dip-card span{color:var(--cyan)}
.walk-grid h3{margin:52px 0 14px;font-size:29px}
.walk-grid p{margin:0;line-height:1.65}
.walk-grid strong{margin-top:auto;padding-top:24px;font-size:12px;line-height:1.5}
.dip-section{color:#eef6fb;background:linear-gradient(150deg,#0c172a,#173d50)!important}
.dip-section .section-code{color:var(--cyan)}
.dip-section h2{color:#fff}
.dip-lede{max-width:860px;margin-top:30px;color:#d8e5ed}
.dip-equation{display:grid;grid-template-columns:1fr 1fr;gap:28px;align-items:center;margin-top:38px;padding:28px;background:#071424;border:1px solid #416276}
.dip-equation code{color:#ffe28b;font:clamp(18px,2.5vw,30px)/1.5 Georgia,serif}
.dip-equation p{margin:0;color:#d7e5ed;line-height:1.65}
.dip-explorer{display:grid;grid-template-columns:245px minmax(0,1fr);gap:24px;margin-top:28px;padding:24px;background:#f4f7f5;color:var(--ink)}
.dip-controls select{width:100%;min-height:44px;margin:6px 0 24px;padding:8px}
.dip-controls dl{margin:18px 0 0}
.dip-controls dl div{padding:12px 0;border-top:1px solid var(--line)}
.dip-controls dt{font-size:9px;font-weight:900;letter-spacing:.1em;text-transform:uppercase}
.dip-controls dd{margin:5px 0 0;font:700 20px Georgia,serif}
.dip-features{grid-template-columns:repeat(3,1fr);margin-top:28px}
.dip-features article{padding:22px;background:#152d3e;border-top:4px solid var(--cyan)}
.dip-features h3{margin:28px 0 10px;color:#fff;font-size:22px}
.dip-features p{margin:0;color:#d2e1e9;line-height:1.6}
.dip-result{display:grid;grid-template-columns:190px 1fr;gap:30px;margin-top:28px;padding:28px;color:var(--ink);background:var(--gold)}
.dip-result strong{font-size:11px;letter-spacing:.12em;text-transform:uppercase}
.dip-result p{margin:0;font:19px/1.6 Georgia,serif}
.capability-table{margin-top:44px;border-top:1px solid var(--line)}
.capability-table>div{display:grid;grid-template-columns:180px 1fr;gap:24px;padding:18px 0;border-bottom:1px solid var(--line)}
.capability-table strong{color:var(--blue)}
.capability-table span{line-height:1.55}
.code-sample{margin:34px 0 0;padding:28px;color:#dce9f4;background:#101d32;overflow:auto;line-height:1.6}
.receipt-grid{grid-template-columns:1fr 1fr;margin-top:44px}
.receipt-grid article{padding:26px;background:#fff;border-top:5px solid var(--blue)}
.receipt-grid h3{margin:22px 0;font-size:27px}
.receipt-grid ul{margin:0;padding-left:20px}
.receipt-grid li{margin:0 0 12px;line-height:1.55}
.source-register{display:grid;grid-template-columns:1fr 1fr;gap:10px;margin-top:28px}
.source-register a{display:grid;grid-template-columns:62px 1fr;gap:16px;padding:18px;color:#fff;background:var(--navy);text-decoration:none}
.source-register b{color:var(--gold)}
.source-register span{line-height:1.45}
.proof-section{background:#eef1f4!important}
.theorem-chain{display:grid;grid-template-columns:repeat(2,1fr);gap:1px;margin-top:42px;padding:1px;background:#929daa}
.theorem-chain article{display:grid;grid-template-rows:auto minmax(88px,auto) 1fr;padding:26px;background:#fff}
.theorem-chain strong,.proof-consequence span,.rail-diagram span{color:var(--blue);font-size:10px;font-weight:900;letter-spacing:.13em;text-transform:uppercase}
.theorem-chain code{align-self:center;margin:22px 0;color:var(--navy);font:700 clamp(19px,2.4vw,29px)/1.45 Georgia,serif}
.theorem-chain p{margin:0;line-height:1.62}
.proof-consequence{display:grid;grid-template-columns:150px minmax(220px,.65fr) 1fr;gap:24px;align-items:center;margin-top:18px;padding:24px;color:#fff;background:var(--navy)}
.proof-consequence span{color:var(--cyan)}
.proof-consequence code{color:var(--gold);font:700 clamp(20px,2.6vw,30px)/1.4 Georgia,serif}
.proof-consequence p{margin:0;line-height:1.6}
.full-paper-link{display:flex;justify-content:space-between;gap:24px;margin-top:18px;padding:22px 24px;color:#15233a;background:var(--gold);text-decoration:none}
.full-paper-link:hover,.full-paper-link:focus-visible{background:#f0ce72}
.full-paper-link span{font:700 21px Georgia,serif}
.full-paper-link strong{font-size:11px;letter-spacing:.08em;text-transform:uppercase}
.condition-plot{align-self:end}
.lab-controls{grid-row:1/3}
.condition-plot{grid-column:2}
.condition-plot p{margin:12px 0 0;color:var(--muted);font-size:12px;line-height:1.5}
.lab-readout{grid-template-columns:repeat(5,1fr)}
.physical-section{background:#e8e5dc!important}
.rail-diagram{display:grid;grid-template-columns:1fr auto 1fr auto 1fr;gap:18px;align-items:center;margin-top:42px;padding:28px;color:#fff;background:#101d32}
.rail-diagram>div{min-height:190px;padding:22px;border:1px solid #4b5d76}
.rail-diagram span{color:var(--cyan)}
.rail-diagram code{display:block;margin:34px 0 18px;color:var(--gold);font:700 clamp(19px,2.3vw,28px)/1.4 Georgia,serif}
.rail-diagram p{margin:0;color:#d5dfeb;line-height:1.55}
.rail-diagram>b{color:var(--gold);font-size:28px}
.physical-grid{display:grid;grid-template-columns:repeat(3,1fr);gap:16px;margin-top:20px}
.physical-grid article{padding:24px;background:#fff;border-top:5px solid var(--coral)}
.physical-grid h3{margin:24px 0 12px;font-size:24px}
.physical-grid p{margin:0;line-height:1.62}
.research-boundary{display:grid;grid-template-columns:180px 1fr;gap:26px;margin-top:20px;padding:24px;border:1px solid #8d918f;background:#f7f5ed}
.research-boundary strong{color:#8c3f37;font-size:10px;letter-spacing:.12em;text-transform:uppercase}
.research-boundary p{margin:0;line-height:1.62}
@media(max-width:900px){.paper-layout{grid-template-columns:1fr}
.paper-toc{position:static;max-height:none}
.paper-toc ol{display:grid;grid-template-columns:repeat(2,1fr)}
.paper-facts,.body-grid,.walk-grid,.dip-features,.physical-grid{grid-template-columns:1fr 1fr}
.basis-lab,.dip-explorer{grid-template-columns:1fr}
.lab-controls{grid-row:auto}
.condition-plot{grid-column:1/-1}
.proof-consequence{grid-template-columns:1fr 1fr}
.proof-consequence p{grid-column:1/-1}
.rail-diagram{grid-template-columns:1fr}
.rail-diagram>b{transform:rotate(90deg);justify-self:center}
}
@media(max-width:620px){.paper-hero,.paper-layout{width:100%;margin-left:0;margin-right:0}
.paper-hero{margin-top:0}
.paper-hero h1>span{font-size:112px}
.paper-facts,.lead-columns,.body-grid,.walk-grid,.dip-features,.receipt-grid,.source-register,.theorem-chain,.physical-grid{grid-template-columns:1fr}
.paper-toc ol{grid-template-columns:1fr 1fr}
.definition-box,.dip-equation,.dip-result,.proof-consequence,.research-boundary{grid-template-columns:1fr}
.history-line li{grid-template-columns:1fr;gap:12px}
.lab-readout{grid-template-columns:1fr 1fr}
.full-paper-link{flex-direction:column}
.capability-table>div{grid-template-columns:1fr;gap:8px}
.paper-section{padding-inline:22px}
}
@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}
}