:root{--ink:#142a2a;--muted:#4e6261;--paper:#f7f6f0;--accent:#c8ed63;--line:#d3dbd2;--tint:#e9eddf}
*{box-sizing:border-box}
html{scroll-behavior:smooth;scroll-padding-top:24px}
body{margin:0;color:var(--ink);background:var(--paper);font-family:system-ui,-apple-system,"Segoe UI",sans-serif;line-height:1.7}
a{color:inherit;text-underline-offset:5px}
a:hover{color:#42673f}
a:focus-visible,summary:focus-visible{outline:3px solid #538d22;outline-offset:5px}
.skip{position:absolute;top:-80px}
.skip:focus{top:0;background:white;padding:16px;z-index:9}
header,main,footer{max-width:1280px;margin:auto}
header{padding:27px 50px;display:flex;justify-content:space-between;align-items:center;gap:28px;border-bottom:1px solid var(--line)}
.brand{font-size:25px;font-weight:750;text-decoration:none;letter-spacing:-1px;line-height:1.25;flex-shrink:0}
.brand span{display:block;font-size:12px;font-weight:400;letter-spacing:.6px;margin-top:7px}
.brand-with-icon{display:flex;align-items:center;gap:12px}
.brand-icon{display:block;width:40px;height:40px;flex-shrink:0;object-fit:contain}
.desktop-nav{display:flex;gap:23px;font-size:13px}
.desktop-nav a{text-decoration:none}
.mobile-nav{display:none}
.hero{padding:80px 60px 65px;background:radial-gradient(ellipse at 100% 50%,#e5ecd8,transparent 60%)}
.eyebrow{font-size:12px;letter-spacing:1.7px;font-weight:650}
h1,h2,h3,h4{font-family:Georgia,"Times New Roman",serif;font-weight:400;line-height:1.12;letter-spacing:-1.5px}
h1{font-size:clamp(51px,7vw,94px);margin:30px 0}
h1 em{color:#42664c;font-weight:400}
h2{font-size:clamp(34px,4vw,51px);margin:24px 0}
h3{font-size:29px;letter-spacing:-.6px}
h4{font-size:25px;letter-spacing:-.5px;margin:20px 0}
.hero p{max-width:700px;font-size:17px;color:var(--muted)}
.hero .lede{font-size:23px;color:var(--ink)}
.actions{display:flex;gap:30px;align-items:center;flex-wrap:wrap;margin-top:32px}
.primary{display:inline-flex;align-items:center;justify-content:space-between;gap:24px;background:var(--ink);color:white;text-decoration:none;padding:13px 22px;font-size:14px}
.primary:hover{background:#315343;color:white}
.textlink{font-size:14px}
.hero-note{margin-top:45px;font-size:12px;color:var(--muted)}
section:not(.hero){padding:68px 60px;border-top:1px solid var(--line)}
p{margin:16px 0}
section p{color:var(--muted)}
.context-grid,.result,.mechanism-grid,.meaning-grid,.compute,.use-grid{display:grid;grid-template-columns:1fr 1fr;gap:58px}
.context-grid{align-items:start}
.research-purpose{border-left:2px solid #92ac82;padding:20px 0 18px 35px}
.research-purpose h3{font-size:35px;margin:20px 0}
.research-purpose p{font-size:16px}
.research-purpose a{font-size:14px}
.pde{background:var(--tint);padding:25px 14px;margin:25px 0;overflow-x:auto}
.pde math{font-size:24px}
.pde p{font-size:12px;text-align:center;line-height:1.7;margin:12px 0 0}
.theorem{background:var(--tint);padding:32px 36px;border-left:3px solid #53794a;align-self:start}
.label{font-size:12px;letter-spacing:1.6px}
.theorem math{font-size:35px;margin:25px 0}
.theorem p{font-size:15px}
.evidence-links{display:flex;flex-wrap:wrap;gap:13px 24px;font-size:13px;margin:22px 0 0}
.theorem .evidence-links{border-top:1px solid #c9d4c1;padding-top:20px}
.meaning{background:#eceee5}
.meaning-grid{gap:60px}
.inline-math{font-family:Georgia,serif;white-space:nowrap;color:var(--ink)}
.achievement-strip{display:grid;grid-template-columns:1fr 1.2fr 1fr;gap:30px;border-top:1px solid #bdcbb8;margin-top:30px;padding-top:26px}
.achievement-strip strong{display:block;font-size:16px;font-weight:650}
.achievement-strip span{display:block;font-size:13px;color:var(--muted);margin-top:8px}
.mechanism-grid{align-items:center}
.support{height:180px;position:relative;display:flex;align-items:center;justify-content:space-around}
.baseline{position:absolute;left:0;right:0;top:130px;border-bottom:1px solid #83947b}
.bump{width:110px;height:110px;background:#d9e3cd;border-radius:60px 60px 0 0;display:flex;align-items:center;justify-content:center;text-align:center;font-size:13px;margin-top:-10px}
.second{background:#aec9b1}
.gap{font-size:14px}
.support small{position:absolute;top:145px;left:0;color:var(--muted);font-size:12px}
.margin{background:var(--ink);color:var(--paper);padding:30px 36px;margin-top:40px}
.margin>span{font-size:12px;letter-spacing:1.7px;color:var(--accent)}
.margin-equation{color:white;font-family:Georgia,serif;font-size:28px;line-height:1.6;overflow-wrap:anywhere}
.margin .detail{font-size:15px;color:#d3ded6;max-width:850px}
.margin a:hover{color:var(--accent)}
details{border-top:1px solid var(--line);margin-top:32px}
summary{cursor:pointer;padding:20px 0;font-size:15px;font-weight:600}
dl{margin:0}
dt{font-size:16px;font-weight:600;margin-top:22px}
dd{margin:7px 0 22px;font-size:15px;color:var(--muted)}
dd:last-child{margin-bottom:15px}
.glossary dl{display:grid;grid-template-columns:165px 1fr;gap:16px 28px;padding-bottom:10px}
.glossary dt,.glossary dd{margin:5px 0}
.table-wrap{overflow-x:auto}
table{border-collapse:collapse;width:100%;font-size:14px;text-align:left}
caption{text-align:left;font-size:13px;color:var(--muted);padding-bottom:18px}
th{font-weight:600;border-bottom:2px solid var(--ink);padding:13px 14px 13px 0;vertical-align:bottom}
td{border-bottom:1px solid var(--line);padding:20px 16px 20px 0;vertical-align:top}
.proof-table{min-width:730px}
.proof-table td:first-child{width:24%}
.proof-table td:nth-child(2){width:32%}
.proof-table code{font-size:12px;overflow-wrap:anywhere}
.proof-table small{display:block;font-size:12px;color:var(--muted);margin-top:7px}
.status{font-size:12px;color:#2d6436;font-weight:700;white-space:nowrap}
.table-note{font-size:13px;max-width:980px;line-height:1.75}
.compute{background:#eceee5}
.compute-card{background:var(--paper);padding:30px}
.compute-card dt{font-size:12px;text-transform:uppercase;letter-spacing:1px;font-weight:400;margin-top:24px}
.compute-card dd{font-family:ui-monospace,Consolas,monospace;font-size:21px;color:var(--ink);margin-top:8px}
.compute-card>p{font-size:13px;border-top:1px solid var(--line);padding-top:20px}
.wide{grid-column:1/-1}
.scalar-table{min-width:620px}
.scalar-table th,.scalar-table td{text-align:right}
.scalar-table th:first-child,.scalar-table td:first-child{text-align:left}
.scalar-table td{font-family:ui-monospace,Consolas,monospace}
.scalar-table td small{font-family:system-ui,sans-serif;font-size:12px;display:block;color:var(--muted);margin-top:6px}
.exact-records{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:24px;margin-top:22px}
.exact-records details{min-width:0}
.exact-records code{font-size:12px;word-break:break-all;line-height:1.8}
.exact-records dt{font-size:13px}
.data-links{display:flex;gap:24px;font-size:14px;flex-wrap:wrap}
.section-intro{max-width:780px;font-size:18px}
.roadmap{list-style:none;padding:0;margin:40px 0 0;display:grid;grid-template-columns:1fr 1fr;gap:35px 50px}
.roadmap li{border-top:2px solid #a9bda0;padding-top:20px}
.roadmap h3{font-size:27px;margin:18px 0}
.roadmap p{font-size:15px}
.roadmap a{font-size:13px}
.stage{font-size:12px;font-weight:650;letter-spacing:1px;color:#2d6436}
.stage.next{color:#7d4f17}
.stage.planned{color:var(--muted)}
.use-section{margin-top:45px;padding-top:25px;border-top:1px solid var(--line)}
.use-grid{gap:55px}
.use-grid p{font-size:15px}
.papers{display:grid;grid-template-columns:1fr 1fr;gap:40px;margin-top:38px}
.papers article{border-top:2px solid var(--ink);padding:22px 0}
.paper-no{font-family:Georgia,serif;font-size:32px}
.paper-no span{font-family:system-ui,sans-serif;font-size:12px;letter-spacing:1px;margin-left:18px}
.papers article p{font-size:15px;min-height:75px}
.paper-links{display:flex;gap:25px;margin-top:20px;font-size:14px}
.repro-grid{display:grid;grid-template-columns:1fr 1.4fr 1fr;gap:30px;margin:35px 0}
.repro-grid h3{font-size:25px}
.repro-grid p,.repro-grid a{font-size:14px}
.repro-grid pre{font-size:12px;white-space:pre-wrap;overflow-wrap:anywhere;background:var(--tint);padding:16px;line-height:1.8}
.scope-details p{font-size:14px}
.scope-details summary{font-weight:400}
footer{padding:35px 60px;border-top:1px solid var(--line);display:flex;justify-content:space-between;gap:35px;align-items:start}
footer p{font-size:12px;margin:7px 0}
.paper-page{max-width:850px;padding:55px 30px}
.paper-page h1{font-size:clamp(37px,5vw,54px);line-height:1.18}
.paper-page .abstract{font-size:17px}
.paper-page .citation{background:var(--tint);padding:24px;margin-top:30px}
.paper-page pre{white-space:pre-wrap;overflow-wrap:anywhere;font-size:13px}
.paper-page footer{display:block;padding:25px 0}
.paper-page .back{font-size:14px}

@media(max-width:1000px){header{padding:24px 30px;gap:20px}
.desktop-nav{gap:15px;font-size:12px}
.brand span{font-size:11px}
.brand{font-size:24px}
.context-grid,.result,.compute,.meaning-grid,.mechanism-grid{gap:35px}
.hero{padding:65px 40px}
.repro-grid{grid-template-columns:1fr 1fr}
.repro-grid>div:last-child{grid-column:1/-1}
}

@media(max-width:760px){header{padding:23px 24px;display:flex;align-items:start}
.brand{font-size:23px}
.brand span{font-size:12px;max-width:175px;line-height:1.6}
header .brand-with-icon{gap:10px}
header .brand-with-icon span{max-width:135px}
header .brand-icon{width:32px;height:32px}
.desktop-nav{display:none}
.mobile-nav{display:block;border:0;margin:0;position:relative;min-width:125px}
.mobile-nav summary{padding:2px 0;font-size:13px;text-align:right;list-style:none}
.mobile-nav summary::-webkit-details-marker{display:none}
.mobile-nav summary span{padding-left:8px}
.mobile-nav[open]{width:100%}
.mobile-nav nav{display:flex;flex-direction:column;text-align:right;gap:12px;padding-top:20px;font-size:14px}
.hero{padding:50px 24px}
.eyebrow{font-size:12px;letter-spacing:1.2px}
.hero .lede{font-size:21px}
.hero p{font-size:16px}
section:not(.hero){padding:48px 24px}
.context-grid,.result,.mechanism-grid,.meaning-grid,.compute,.use-grid,.papers,.repro-grid,.roadmap,.achievement-strip{grid-template-columns:1fr;gap:28px}
.theorem{padding:25px}
.theorem math{font-size:32px}
.pde math{font-size:21px}
.research-purpose{padding-left:25px}
.margin{padding:26px 23px}
.margin-equation{font-size:24px}
.papers article p{min-height:0}
.hero-note{line-height:1.9}
.glossary dl{grid-template-columns:1fr;gap:4px}
.glossary dd{margin-bottom:17px}
.exact-records{grid-template-columns:1fr;gap:0}
.support{max-width:450px}
.support small{font-size:12px}
.actions{gap:20px}
.wide{grid-column:auto}
.roadmap{gap:32px}
.repro-grid>div:last-child{grid-column:auto}
footer{padding:30px 24px;display:block}
footer>div:last-child{margin-top:25px}
.paper-links{flex-wrap:wrap}
.paper-no span{letter-spacing:.5px;font-size:12px}
}

@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}
}


.context-grid>*,.compute>*,.repro-grid>*,.result>*{min-width:0}

.roadmap li:last-child{grid-column:1/-1}

@media(max-width:760px){header{flex-wrap:wrap}
.mobile-nav{margin-left:auto}
}

/* Research library: document navigation, readable body, local section index. */
.desktop-nav{gap:16px}
.reader{display:grid;grid-template-columns:210px minmax(0,740px) 190px;gap:32px;max-width:1280px;margin:0 auto;padding:45px 30px 80px;align-items:start}
.doc-nav,.doc-toc{position:sticky;top:24px;font-size:13px;max-height:90vh;overflow:auto}
.doc-nav nav,.doc-toc nav{display:flex;flex-direction:column;gap:12px}
.doc-nav a,.doc-toc a{text-decoration:none;overflow-wrap:anywhere}
.doc-nav a[aria-current]{font-weight:700;color:#416140;border-left:3px solid #6c9658;padding-left:10px}
.doc-nav summary{font-weight:650;margin-bottom:18px}
.doc-toc{font-size:12px;border-left:1px solid var(--line);padding-left:18px}
.doc-body{min-width:0;width:100%;max-width:740px;overflow-wrap:anywhere}
.doc-body h1{font-size:48px;margin-top:0}
.doc-body h2{font-size:30px;margin:46px 0 20px;scroll-margin-top:24px}
.doc-body h3{font-size:24px}
.doc-body p,.doc-body li{font-size:16px}
.doc-body pre{max-width:100%;overflow:auto;white-space:pre;padding:18px;background:#e9ecdf;font-size:12px}
.doc-body table{display:block;max-width:100%;overflow:auto;border-collapse:collapse;font-size:13px}
.doc-body td,.doc-body th{border:1px solid var(--line);padding:12px;min-width:110px}
.doc-body img{max-width:100%}
.document-source{margin-top:50px;padding-top:20px;border-top:1px solid var(--line);font-size:13px}
.library-list{list-style:none;padding:0}
.library-list li{padding:18px 0;border-bottom:1px solid var(--line);font-size:20px}
.essay{margin:40px 0;padding:30px;background:#e9eddf}
.bridge-image{overflow:auto;margin-top:28px}
.bridge-image img{display:block;width:100%;height:auto;min-width:620px}
.backend-check{grid-column:1/-1;padding:28px 32px;background:#e8efdd;margin-top:16px}
.backend-check h3{margin-top:18px}
@media(max-width:1100px){.reader{grid-template-columns:180px minmax(0,1fr)}.doc-toc{display:none}.desktop-nav{gap:11px;font-size:12px}}
@media(max-width:760px){.reader{display:block;padding:25px 24px}.doc-nav{position:static;max-height:none;margin-bottom:40px;padding-bottom:20px;border-bottom:1px solid var(--line)}.doc-body h1{font-size:37px}.reader header nav{font-size:12px}.backend-check{padding:22px}.bridge-image img{min-width:620px}}

.doc-mobile{display:none}
@media(max-width:760px){.doc-nav .doc-desktop{display:none}.doc-mobile{display:block}.doc-mobile summary{margin:0}.doc-mobile[open] summary{margin-bottom:20px}}

/* Paper discovery: concise abstracts, artifact links and official citations. */
.papers article{min-width:0;scroll-margin-top:25px}
.papers article p{min-height:0}
.papers .paper-meta,.papers .paper-release{font-size:12px;color:var(--muted);line-height:1.8}
.papers .paper-evidence{font-size:13px;padding-left:14px;border-left:3px solid #a1b48c}
.paper-terminology,.version-note{font-size:14px;max-width:970px}
.coverage-links{display:flex;flex-wrap:wrap;gap:9px;margin:16px 0}
.coverage-links a{font-size:12px;background:#e6ebdb;border:1px solid #cbd4bf;padding:6px 10px;text-decoration:none}
.coverage-links a:hover{background:#dce5ce}
.paper-incident{font-size:13px!important;color:var(--muted)}
.paper-links{flex-wrap:wrap;gap:12px 22px}
.paper-revision,.citation-details{margin-top:22px;border-top:1px solid var(--line);padding-top:17px;font-size:14px;min-width:0}
.paper-revision summary,.citation-details summary,.paper-map summary{cursor:pointer;font-weight:600}
.paper-revision p{font-size:13px!important}
.citation-details pre{padding:18px;background:#e9ecdf;overflow:auto;max-width:100%;font-size:11px;line-height:1.8;text-align:left}
.citation-tools{display:flex;gap:15px;align-items:center;flex-wrap:wrap;margin:17px 0;font-size:12px}
.citation-tools button{padding:9px 13px;border:1px solid var(--ink);background:var(--ink);color:var(--paper);cursor:pointer;font:inherit}
.citation-tools button:focus-visible{outline:3px solid #538d22;outline-offset:4px}
.citation-tools [role=status]{flex-basis:100%;color:#315343;min-height:1.2em}
.citation-origin{font-size:12px!important;color:var(--muted)}
.paper-map{margin:30px 0;padding:22px;border:1px solid var(--line);scroll-margin-top:25px}
.paper-map table{min-width:680px;margin-top:25px}
.paper-map code{font-size:12px}
.software-citation{margin-top:30px;padding:24px;background:#e8eddf}
.software-citation h3{font-size:26px;margin-top:0}
.software-citation p{font-size:14px}
.scalar-paper-link{display:block;font-size:12px;margin-top:9px}
.paper-context{padding:20px 0}
.paper-context h2{font-size:34px}
.paper-context h3{font-size:25px}
.paper-context table{font-size:13px;min-width:560px}
@media(max-width:760px){.paper-map{padding:18px}.software-citation{padding:21px}.paper-context h2{font-size:30px}}