@charset "UTF-8";
:root{--paper:#f6f5ef;--ink:#202e2a;--muted:#626b63;--green:#174d43;--green-light:#e8eee5;--line:#d8ddd2;--amber:#80581f;--amber-bg:#f3ecdf;--serif:Georgia,"Times New Roman",serif;--sans:Inter,-apple-system,BlinkMacSystemFont,"Segoe UI",sans-serif;--mono:"SFMono-Regular",Consolas,"Liberation Mono",monospace}
*{box-sizing:border-box}html{scroll-behavior:smooth;scroll-padding-top:100px}body{margin:0;background:var(--paper);color:var(--ink);font:16px/1.65 var(--sans);-webkit-font-smoothing:antialiased}h1,h2,h3,h4,p{margin-top:0}h1,h2,h3,h4{line-height:1.13;letter-spacing:-.035em}h1,h2{font-family:var(--serif);font-weight:400}h1{font-size:clamp(42px,5.2vw,72px);margin-bottom:24px}h2{font-size:clamp(32px,3.5vw,48px);margin-bottom:24px}h3{font-size:23px;font-weight:550}h4{font-size:19px;font-weight:550}em{font-weight:400;color:var(--green)}p{margin-bottom:20px}a{color:var(--green);text-underline-offset:4px;text-decoration-thickness:1px}a:hover{color:#54744c}button,input,select{font:inherit}button,a,input,select,summary{-webkit-tap-highlight-color:transparent}button{cursor:pointer}button:disabled{cursor:default}button:focus-visible,a:focus-visible,input:focus-visible,select:focus-visible,[tabindex]:focus-visible,summary:focus-visible{outline:3px solid #93712f;outline-offset:5px}button{color:inherit}img,svg{max-width:100%}pre,code{font-family:var(--mono)}code{font-size:.86em;overflow-wrap:anywhere}pre{font-size:13px;line-height:1.75;overflow:auto;white-space:pre;tab-size:2}pre code{font-size:inherit;overflow-wrap:normal}[hidden]{display:none!important}.container{width:min(1180px,calc(100% - 80px));margin:auto}.small{font-size:13px;color:var(--muted);line-height:1.7}.lead{font-size:20px;line-height:1.6;max-width:760px}.eyebrow,.small-caps{font-size:11px;letter-spacing:.13em;font-weight:650;text-transform:uppercase;line-height:1.6}.eyebrow{color:var(--green);margin-bottom:26px;text-decoration:none}.small-caps{color:var(--muted)}.skip-link{position:fixed;top:-80px;left:20px;z-index:100;background:var(--green);color:white;padding:12px}.skip-link:focus{top:10px}.site-header{position:sticky;top:0;z-index:20;background:rgba(246,245,239,.96);border-bottom:1px solid var(--line);backdrop-filter:blur(14px)}.header-inner{min-height:80px;width:min(1350px,calc(100% - 72px));margin:auto;display:flex;align-items:center;justify-content:space-between;gap:30px}.brand{display:flex;align-items:center;gap:10px;font-size:21px;letter-spacing:-.04em;font-weight:750;text-decoration:none;white-space:nowrap}.brand span{font-size:11px;color:var(--muted);letter-spacing:0;font-weight:450}.site-header nav{display:flex;gap:26px;font-size:12px}.site-header nav a{text-decoration:none;color:var(--muted);padding:27px 0;border-bottom:2px solid transparent}.site-header nav a:hover,.site-header nav a[aria-current]{color:var(--green);border-bottom-color:var(--green)}.hero{display:grid;grid-template-columns:1.2fr 1fr;align-items:center;gap:60px;padding-top:82px;padding-bottom:70px}.hero h1{font-size:clamp(46px,4.7vw,66px);line-height:1.08;letter-spacing:-.045em}.hero h1 em{font-style:italic}.hero-lead{max-width:500px;font-size:19px;color:#4c5d54;line-height:1.65;margin:28px 0}.status-dot{display:inline-block;width:6px;height:6px;border-radius:50%;background:var(--green);margin-right:7px;vertical-align:middle}.authors{font-size:13px;margin:0 0 6px}.affiliations{font-size:11px;line-height:1.7;color:var(--muted);margin-bottom:28px}.actions{display:flex;gap:12px;align-items:center;flex-wrap:wrap}.button{display:inline-flex;align-items:center;justify-content:center;gap:18px;background:var(--green);color:#fff;border:1px solid var(--green);border-radius:4px;font-weight:550;font-size:12px;line-height:1.5;padding:14px 20px;text-decoration:none;transition:background .15s}.button:hover{background:#286353;color:white}.button.secondary{background:transparent;color:var(--green);border-color:#bcc8ba}.button.secondary:hover{background:var(--green-light)}.availability{font-size:11px;color:var(--muted);margin-top:18px;margin-bottom:0}.availability span{margin:0 7px}.hero-art{padding:25px 30px 20px;border:1px solid #d1d8c9;background:#f0f2e9;border-radius:5px;box-shadow:0 10px 40px #20352905;position:relative}.art-caption{display:flex;justify-content:space-between;font-family:var(--mono);font-size:9px;letter-spacing:.08em;color:var(--muted);margin-bottom:27px}.knowledge-step{display:flex;gap:15px;background:#fafbf6;border:1px solid #d4dbce;padding:20px 20px 19px;border-radius:3px}.step-number{font:10px/1.6 var(--mono);color:#70806c;padding-top:1px}.knowledge-step>div{min-width:0}.knowledge-step .small-caps{font-size:9px;letter-spacing:.12em;margin-bottom:6px}.knowledge-step h2{font:500 17px/1.3 var(--sans);letter-spacing:-.025em;margin-bottom:8px}.knowledge-step p:not(.small-caps){font-size:11px;color:var(--muted);margin:0}.mini-equation{font:italic 23px/1.5 var(--serif);margin-top:12px}.mini-equation span{font-size:14px;color:var(--muted);margin-left:16px}.connector{text-align:center;font-size:18px;color:#829477;height:26px;line-height:26px}.formal-step{background:var(--green);border-color:var(--green);color:#fff}.formal-step .small-caps,.formal-step .step-number{color:#bacdb7}.formal-step pre{font-size:12px;line-height:1.7;margin:12px 0}.syntax{color:#e0e6a9}.tiny-note{font-size:9px;color:#c7d8cd}.use-step{background:#e4e9d8}.use-pills{display:flex;gap:8px;margin-top:13px;flex-wrap:wrap}.use-pills span{font-size:10px;border:1px solid #c6cebb;padding:3px 9px;border-radius:20px}.art-footnote{font:9px/1.5 var(--mono);text-align:center;color:var(--muted);margin:18px 0 0}.stats-band{display:grid;grid-template-columns:repeat(4,1fr);border-top:1px solid var(--line);border-bottom:1px solid var(--line);padding:25px 0}.stats-band>div{padding:6px 30px;border-left:1px solid var(--line)}.stats-band>div:first-child{padding-left:0;border-left:0}.stats-band strong{font:46px/1.2 var(--serif);letter-spacing:-.04em;display:block}.stats-band span{display:block;font-size:11px;color:var(--muted);margin-top:7px}.stats-band .selected-stat{color:var(--green)}.stats-note{font-size:10px;color:var(--muted);margin-top:12px}.section{padding-top:100px;padding-bottom:100px}.context-section{display:grid;grid-template-columns:1fr 1fr;gap:70px}.context-section h2{font-size:42px;line-height:1.2}.context-copy .lead{font-size:23px;line-height:1.45;letter-spacing:-.02em}.context-copy p:not(.lead){font-size:14px;color:var(--muted)}.context-list{display:grid;border-top:1px solid var(--line)}.context-list span{display:flex;justify-content:space-between;padding:10px 0;border-bottom:1px solid var(--line);font-size:11px;color:var(--muted);gap:16px}.context-list b{font-weight:550;color:var(--green)}.method-section{background:#e9eee5}.section-heading{display:grid;grid-template-columns:1.25fr 1fr;gap:100px;align-items:end;margin-bottom:42px}.section-heading>div h2{margin-bottom:0;line-height:1.18}.section-heading>p{font-size:14px;color:var(--muted);margin-bottom:6px;max-width:380px;justify-self:end}.pipeline{display:grid;grid-template-columns:1fr 1.5fr .8fr;gap:0;border-top:1px solid #c6d2c1;border-bottom:1px solid #c6d2c1;padding:28px 0}.pipeline-stage{padding:6px 28px 14px 0}.pipeline-stage+.pipeline-stage{padding-left:28px;border-left:1px solid #c6d2c1}.stage-no{font:10px/1.5 var(--mono);color:#7d8e74}.pipeline h3{font:28px/1.2 var(--serif);margin-top:10px;margin-bottom:10px}.pipeline p{font-size:11px;color:var(--muted)}.roles{display:flex;flex-wrap:wrap;gap:8px}.role-button{padding:7px 10px;font-size:10px;background:transparent;border:1px solid #bdcbb7;border-radius:3px}.role-button[aria-pressed=true],.role-button:hover{background:var(--green);color:#fff;border-color:var(--green)}.pipeline-output{margin:5px 0 5px 24px;padding:20px 22px;background:#d8e3d1;border-radius:4px}.pipeline-output h3{font-size:25px}.output-mark{color:var(--green);font:30px/1 var(--serif)}.pipeline-output p{margin-bottom:0}.role-explanation{display:grid;grid-template-columns:1fr 1fr 2fr;align-items:start;gap:30px;padding:28px 0 16px;min-height:115px}.role-explanation .small-caps{font-size:9px}.role-explanation h3{font-size:17px}.role-explanation p{font-size:12px;color:var(--muted);margin:0}.text-link{font-size:12px;font-weight:600;text-decoration:none;border-bottom:1px solid #b6c5ae;padding-bottom:4px}.cases-grid{display:grid;grid-template-columns:1fr 1fr;gap:26px}.case-card{border:1px solid var(--line);padding:32px;background:#f1f3eb}.case-card h3{font:32px/1.2 var(--serif);letter-spacing:-.025em;margin-bottom:28px}.case-card .small-caps{font-size:9px}.warning-card{background:var(--amber-bg);border-color:#ded4c3}.warning-card .small-caps,.warning-card .text-link{color:var(--amber)}.case-steps{display:flex;gap:7px;border-bottom:1px solid #c9d2c3;padding-bottom:13px;flex-wrap:wrap}.case-steps button{border:0;border-radius:3px;background:transparent;color:var(--muted);padding:7px 8px;font-size:10px}.case-steps button[aria-pressed=true]{background:var(--green);color:white}.warning-card .case-steps button[aria-pressed=true]{background:var(--amber)}.case-content{min-height:228px;padding-top:22px}.case-formula{font:19px/1.7 var(--serif);color:var(--green);margin-bottom:20px;overflow-wrap:anywhere;white-space:pre-line}.warning-card .case-formula{color:var(--amber)}.case-content h4{font-size:16px;margin-bottom:10px}.case-content p{font-size:12px;color:#57635b;margin-bottom:20px}.case-card>p.small{font-size:10px;margin-bottom:0}.applications-section{background:#edf0eb}.applications-grid{display:grid;grid-template-columns:1fr 1fr;gap:48px}.application{scroll-margin-top:100px}.application+.application{border-left:1px solid var(--line);padding-left:48px}.application-header{display:flex;justify-content:space-between;gap:12px;padding:15px 0;border-top:1px solid #b7c5b1;margin-bottom:20px;font-size:9px;color:var(--muted);letter-spacing:.05em}.application-header .small-caps{font-size:9px}.application h3{font:30px/1.15 var(--serif);margin-bottom:12px}.application>p{font-size:13px;color:var(--muted)}.heat-visual{display:flex;gap:12px;align-items:center;height:60px;padding-top:10px;color:#305c65;font-size:12px}.heat-strip{height:30px;flex:1;background:repeating-linear-gradient(90deg,#aac9cc 0px,#aac9cc 12px,#d7e4d8 12px,#d7e4d8 24px,#6a989d 24px,#6a989d 36px,#85b2b4 36px,#85b2b4 48px,#d1e0d8 48px,#d1e0d8 60px);border-top:1px solid #628d8e;border-bottom:1px solid #628d8e}.visual-label{font-size:9px!important;letter-spacing:.04em;margin-bottom:24px!important}.application-metric{border-top:1px solid var(--line);border-bottom:1px solid var(--line);padding:18px 0;margin-bottom:22px}.application-metric>strong{font:45px/1.2 var(--serif);display:block;color:var(--green)}.application-metric>strong span{font-size:26px;color:#71846a}.application-metric>span{font-size:11px;color:var(--muted)}.wave-application{color:#594968}.wave-visual{height:60px}.wave-visual svg{width:100%;height:60px}.wave-application .application-metric>strong{color:#675279}.application-facts{font-size:12px}.application-facts>div{display:flex;justify-content:space-between;gap:20px;border-bottom:1px solid var(--line);padding:8px 0}.application-facts dt{color:var(--muted)}.application-facts dd{margin:0;font-weight:600;text-align:right}.application .small{font-size:10px}.application-scope{font-size:11px;color:var(--muted);margin:38px 0 15px;max-width:850px}.table-scroll{overflow-x:auto}table{border-collapse:collapse;width:100%;text-align:left;font-size:13px}caption{text-align:left;font-size:11px;color:var(--muted);margin-bottom:16px}th,td{padding:19px 15px;border-bottom:1px solid var(--line)}th:first-child,td:first-child{padding-left:0}thead th{font-size:10px;text-transform:uppercase;letter-spacing:.05em;font-weight:550;white-space:nowrap}tbody th{font-weight:550;min-width:270px}tbody a{text-decoration:none}.table-sub{display:block;font-size:10px;color:var(--muted);font-weight:400;margin-top:3px}td{font-variant-numeric:tabular-nums}tfoot{color:var(--green);font-weight:600}tfoot th,tfoot td{border-bottom:0}.table-scroll+.small{font-size:10px}.results-bottom{display:grid;grid-template-columns:1fr 1.4fr .8fr;gap:35px;border-top:1px solid var(--line);padding-top:30px;margin-top:25px;align-items:start}.result-highlight strong{font:34px/1.3 var(--serif);color:var(--green);display:block;letter-spacing:-.03em}.result-highlight span{font-size:10px;color:var(--muted)}.results-bottom p{font-size:12px;color:var(--muted);margin:0}.results-bottom .text-link{justify-self:end;white-space:nowrap}.closing{background:var(--green);color:#f6f5ef;padding:70px 0 80px;text-align:center}.closing .eyebrow{color:#c4d4b6}.closing h2{font-size:54px;line-height:1.15}.closing em{color:#d7e0ba}.closing .button{background:#e2e9d4;border-color:#e2e9d4;color:var(--green)}.closing .button:hover{background:white}.closing p:last-child{font-size:11px;color:#bfcebf;margin:20px 0 0}footer{padding:50px 0;border-top:1px solid var(--line)}.footer-inner{display:grid;grid-template-columns:1fr 1fr .8fr;gap:40px}.wordmark{font-size:25px;font-weight:700;letter-spacing:-.05em;text-decoration:none}.footer-inner p{font-size:11px;color:var(--muted);line-height:1.7;margin:12px 0}.footer-inner>div:last-child a{display:block;font-size:11px;text-decoration:none;margin-bottom:10px}.footer-inner p.small{font-size:9px}.page-intro{padding-top:75px;padding-bottom:30px}.page-intro h1{font-size:64px}.page-intro .lead{color:var(--muted);font-size:19px;max-width:750px}.notice{font-size:12px;line-height:1.8;padding:17px 21px;border-left:3px solid #9bab7c;background:#eaf0e3;color:#4c5f4d;margin:24px 0}.notice strong{font-weight:650}.explorer{padding-bottom:70px}.filters{display:grid;grid-template-columns:2fr 1.5fr auto;gap:16px;align-items:end;padding:20px 0;border-bottom:1px solid var(--line)}.filters label{display:flex;flex-direction:column;gap:8px;font-size:11px;color:var(--muted);min-width:0}input,select{background:#fafbf6;border:1px solid #bdc8b6;border-radius:3px;color:var(--ink);padding:12px 13px;width:100%;height:45px;font-size:12px}.text-button{border:0;background:transparent;text-decoration:underline;text-underline-offset:4px;color:var(--green);font-size:12px;padding:12px 6px}.list-toolbar{display:flex;justify-content:space-between;gap:20px;align-items:center;padding:22px 0;font-size:11px;color:var(--muted)}.list-toolbar p{margin:0}.statement-row{display:grid;grid-template-columns:40px 1fr 215px;gap:18px;padding:29px 0;border-top:1px solid var(--line)}.row-index{font:12px/1.5 var(--mono);color:#8a9681}.row-meta{display:flex;gap:20px;flex-wrap:wrap;font-size:10px;color:var(--muted);margin-bottom:9px}.row-meta span{font-family:var(--mono)}.statement-row h2{font:28px/1.3 var(--serif);margin-bottom:10px}.statement-row h2 a{text-decoration:none}.statement-row h2 a span{font-size:19px}.statement-row p{font-size:12px;color:var(--muted);margin-bottom:12px;max-width:650px}.statement-id{font-size:10px;color:#687461}.row-status{display:flex;align-items:flex-start;flex-direction:column;gap:12px}.row-status .small{font-size:10px}.badge{display:inline-block;font-size:10px;padding:5px 10px;border-radius:3px;font-weight:550;line-height:1.5}.badge.accepted{background:#e1eadb;color:#335a3e}.badge.warning{background:#efe1c8;color:#75521e}.badge.upcoming{background:#e9e9e1;color:#676c61}.collection-ending{text-align:center;border-top:1px solid var(--line);padding:55px 20px 40px;margin-top:20px}.collection-ending .small-caps{font-size:9px}.collection-ending h2{font-size:40px;margin:18px 0}.collection-ending p{font-size:13px;color:var(--muted);max-width:450px;margin:0 auto 20px}.scope-note{max-width:800px;font-size:11px;color:var(--muted);margin:15px auto 0;text-align:center}.empty-state{text-align:center;padding:45px 20px}.empty-state h2{font-size:32px}.empty-state p{color:var(--muted);font-size:13px}.detail-intro{padding:60px 0 15px}.detail-intro h1{font-size:48px;max-width:950px;margin-top:23px}.detail-intro .lead{font-size:18px;color:var(--muted)}.detail-heading{display:flex;gap:15px;align-items:center;margin-top:30px;flex-wrap:wrap}.detail-heading .small{font-size:10px}.source-line{font-size:12px;color:var(--muted);line-height:1.9}.copy-status:empty{display:none}.copy-status{margin-top:15px}.comparison{display:grid;grid-template-columns:1fr 1.2fr;gap:40px;padding:25px 0 50px;align-items:start}.comparison>section{min-width:0}.comparison h2{font-size:30px}.comparison .eyebrow{font-size:9px;margin-bottom:13px}.math-panel>p,.math-panel li{font-size:13px;color:#566257}.math-panel h3{font-size:17px;margin-top:30px;letter-spacing:-.02em}.math-panel ul{padding-left:20px}.math-panel li{margin-bottom:12px}.editorial-label{font-size:10px!important;font-style:italic;color:var(--muted)}.formula{padding:20px;background:#e9eee2;border-left:2px solid #829967;font:18px/1.9 var(--serif);overflow:auto;white-space:nowrap;color:var(--green);margin:25px 0}.lean-panel{background:#eaf0e5;padding:24px 24px 10px;border:1px solid #d0daca;border-radius:4px}.lean-panel .code-heading{display:flex;justify-content:space-between;gap:20px;align-items:flex-start}.lean-panel h2{font-size:26px}.lean-panel .small{font-size:10px}.lean-panel pre{padding:20px;background:#f9fbf5;max-height:760px;border:1px solid #d5decd;font-size:11px;color:#274f42;white-space:pre}.detail-notes{max-width:960px;padding-bottom:70px}.detail-notes>section,.detail-notes>details{border-top:1px solid var(--line);padding-top:34px;margin-top:25px}.detail-notes h2{font-size:34px}.detail-notes p,.detail-notes li{font-size:13px;color:var(--muted)}.detail-notes ol{padding-left:22px}.detail-notes li{margin-bottom:15px;padding-left:8px}.evidence summary{font-size:19px;cursor:pointer;margin-bottom:20px}.evidence dl{display:grid;grid-template-columns:190px 1fr;gap:10px 25px;font-size:12px}.evidence dt{color:var(--muted)}.evidence dd{margin:0;min-width:0;overflow-wrap:anywhere}.evidence a{font-size:12px}.related a{display:block;font-size:13px;margin-top:15px}.resources-body{max-width:850px;padding-bottom:80px}.resources-body section{padding:35px 0;border-top:1px solid var(--line)}.resources-body h2{font-size:36px}.resources-body p,.bibliography{font-size:13px;color:var(--muted)}.release-list>div{display:flex;justify-content:space-between;align-items:center;gap:25px;padding:17px 0;border-bottom:1px solid var(--line);font-size:13px}.release-list{margin-bottom:25px}.release-list .badge{white-space:nowrap}.download-links{display:flex;flex-wrap:wrap;gap:15px 25px;font-size:12px;margin:25px 0}.bibliography li{margin-bottom:18px}.resources-body pre{background:#edf0e7;padding:25px;border:1px solid var(--line);font-size:12px}.inline-download{font-size:12px;margin-left:20px}
@media(min-width:1500px){.hero{gap:100px}.hero h1{font-size:70px}.hero-art{padding:32px}}
@media(max-width:1100px){.brand span{display:none}.site-header nav{gap:20px}.hero{gap:30px}.hero h1{font-size:52px}.hero-art{padding:20px}.hero .actions{gap:9px}.hero .button{font-size:11px;padding:12px 15px}.section-heading{gap:50px}.context-section{gap:40px}.context-section h2{font-size:36px}.pipeline{grid-template-columns:1fr 1.3fr}.pipeline-output{grid-column:1/-1;margin:20px 0 0;display:flex;align-items:center;gap:30px;padding:20px}.pipeline-output h3,.pipeline-output p{margin:0}.role-explanation{grid-template-columns:1fr 1.8fr}.role-explanation>span{grid-column:1/-1}.case-card{padding:25px}.results-bottom{grid-template-columns:1fr 1.4fr}.results-bottom>a{grid-column:2;justify-self:start!important}.comparison{gap:25px;grid-template-columns:1fr 1.15fr}.lean-panel{padding:16px}.lean-panel .code-heading{flex-direction:column;gap:0}.lean-panel .code-heading h2{margin-bottom:10px}}
@media(max-width:760px){html{scroll-padding-top:130px}.container{width:calc(100% - 40px)}.header-inner{width:calc(100% - 40px);display:block;padding-top:13px;min-height:0}.brand{font-size:19px}.brand img{width:24px;height:24px}.brand span{display:inline;font-size:10px}.site-header nav{gap:22px;overflow-x:auto;white-space:nowrap;font-size:11px}.site-header nav a{padding:13px 0 10px}.hero{grid-template-columns:1fr;padding-top:42px;padding-bottom:35px;gap:35px}.hero h1{font-size:clamp(40px,8.5vw,60px)}.hero .eyebrow{font-size:9px}.hero-lead{font-size:17px}.hero-art{max-width:480px;width:100%;margin:auto;padding:23px}.hero .actions{gap:12px}.hero .button{padding:13px 16px}.stats-band{grid-template-columns:1fr 1fr;gap:22px 0;padding:22px 0}.stats-band>div{padding:0 22px}.stats-band>div:nth-child(3){padding-left:0;border-left:0}.stats-band strong{font-size:36px}.stats-band span{font-size:10px}.stats-note{font-size:9px;line-height:1.8}.section{padding:60px 0}.context-section{grid-template-columns:1fr;gap:12px}.context-section h2{font-size:35px}.context-copy .lead{font-size:21px}.context-list span{font-size:11px}.section-heading{grid-template-columns:1fr;gap:18px;margin-bottom:30px}.section-heading>p{justify-self:start;max-width:100%;font-size:13px}.eyebrow{font-size:10px;margin-bottom:20px}.section-heading h2{font-size:36px}.pipeline{grid-template-columns:1fr}.pipeline-stage{padding:0 0 25px}.pipeline-stage+.pipeline-stage{padding:25px 0;border-left:0;border-top:1px solid #c6d2c1}.pipeline h3{font-size:27px}.role-button{font-size:11px;padding:9px 12px}.pipeline-output{margin:0;gap:20px}.pipeline-output h3{font-size:22px}.pipeline-output p{font-size:10px}.role-explanation{grid-template-columns:1fr;gap:12px;padding-bottom:25px;min-height:190px}.role-explanation h3{margin:0}.role-explanation p{font-size:13px}.cases-grid,.applications-grid{grid-template-columns:1fr}.case-card{padding:25px}.case-card h3{font-size:30px}.case-content{min-height:220px}.case-steps button{font-size:11px;padding:9px}.application+.application{border-left:0;padding-left:0}.application h3{font-size:30px}.application-header{font-size:8px}.application>p{font-size:13px}.application-metric>strong{font-size:42px}.application-scope{font-size:11px}.results-bottom{grid-template-columns:1fr;gap:18px}.results-bottom>a{grid-column:auto}.table-scroll th,.table-scroll td{padding:14px 14px}.table-scroll th:first-child{padding-left:0}tbody th{min-width:220px}table{font-size:12px}.closing{padding:55px 0}.closing h2{font-size:40px}.footer-inner{grid-template-columns:1fr 1fr;gap:25px}.footer-inner>div:first-child{grid-column:1/-1}.footer-inner p{font-size:10px}.page-intro{padding-top:40px}.page-intro h1{font-size:48px}.page-intro .lead{font-size:17px}.notice{font-size:11px;padding:15px}.filters{grid-template-columns:minmax(0,1fr) auto;gap:15px}.filters .search-label{grid-column:1/-1}.filters button{justify-self:start;align-self:end}.filters select{font-size:11px;padding:10px 8px}.list-toolbar{font-size:10px;align-items:flex-start}.list-toolbar a{text-align:right;max-width:130px}.statement-row{grid-template-columns:24px 1fr;gap:12px;padding:25px 0}.statement-row h2{font-size:25px}.row-status{grid-column:2;flex-direction:row;align-items:center;flex-wrap:wrap;gap:10px}.row-meta{font-size:9px;gap:8px}.statement-row p{font-size:12px}.statement-id{font-size:9px}.collection-ending{padding-left:0;padding-right:0}.collection-ending h2{font-size:36px}.detail-intro{padding-top:35px}.detail-intro h1{font-size:36px}.detail-intro .lead{font-size:16px}.comparison{grid-template-columns:1fr;gap:30px;padding-bottom:20px}.comparison .math-panel{min-width:0}.lean-panel pre{max-height:560px;font-size:11px;padding:14px}.lean-panel .code-heading{flex-direction:row;gap:15px}.lean-panel .code-heading h2{font-size:25px}.lean-panel .code-heading button{font-size:11px;white-space:nowrap}.formula{font-size:16px;padding:16px;max-width:100%}.detail-notes h2{font-size:30px}.evidence dl{grid-template-columns:1fr;gap:5px}.evidence dd{margin-bottom:12px}.resources-body h2{font-size:30px}.resources-body pre{font-size:11px;padding:18px}.release-list>div{font-size:12px;gap:15px}.release-list .badge{font-size:9px}.inline-download{display:inline-block;margin-top:15px}.bibliography{padding-left:20px}.source-line{font-size:11px}.detail-intro .button{font-size:11px;padding:12px 15px}}
.hero>*{min-width:0}
@media(max-width:360px){.page-intro h1{font-size:40px}.hero-art{padding:16px}.knowledge-step{padding:17px 13px;gap:10px}.art-caption{font-size:8px;gap:10px}.mini-equation span{display:block;margin-left:0}.hero .eyebrow{letter-spacing:.08em}.brand span{font-size:9px}.pipeline-output{gap:15px;padding:17px}.pipeline-output h3{font-size:20px}.case-card{padding:20px}.release-list>div{align-items:flex-start;flex-direction:column;gap:8px}}
@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}*,*::before,*::after{transition:none!important;animation:none!important}}

/* Reader-facing statement and source-defect presentation. */
.site-header nav a.project-link{color:var(--green);font-weight:650}
.hero-explore{display:flex;flex-wrap:wrap;gap:10px 22px;margin-top:18px;font-size:12px}
@media(min-width:761px) and (max-width:900px){.header-inner{flex-wrap:wrap;gap:0;padding-top:12px}.site-header nav{flex-basis:100%;overflow-x:auto;white-space:nowrap}.site-header nav a{padding:12px 0}}
.collection-intro{font-size:13px;color:var(--muted)}
.notice.source-defect{background:var(--amber-bg);border-left-color:var(--amber);color:#66491f}
.bibliography strong{font-weight:600}

.research-figure{margin:42px 0 0}.research-figure img{display:block;width:100%;height:auto;background:white;border:1px solid var(--line);border-radius:4px}.research-figure figcaption{margin-top:12px;font-size:12px;color:var(--muted)}

/* Full statement collection; formulas are rendered before publication. */
.filters{grid-template-columns:minmax(210px,2fr) minmax(150px,1.4fr) minmax(160px,1.4fr) minmax(130px,1fr) auto}
.math-display{font-size:15px;white-space:normal;max-width:100%;padding:20px 16px}
.math-display .katex-display{margin:0;text-align:left}
.math-display .katex-display>.katex{text-align:left}
.math-panel .katex{font-size:1.08em}
.full-lean{border-top:1px solid var(--line);margin-top:20px;padding-top:16px}
.full-lean summary{font-size:12px;cursor:pointer;line-height:1.6;margin-bottom:15px}
.full-lean pre{max-height:70vh}
.statement-navigation{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:24px;margin:36px 0 25px;border-top:1px solid var(--line);padding-top:25px}
.statement-navigation a{display:flex;flex-direction:column;gap:10px;font-size:14px;text-decoration:none}
.statement-navigation .small-caps{font-size:10px;color:var(--muted)}
@media(max-width:1100px){.filters{grid-template-columns:repeat(3,minmax(0,1fr)) auto}.filters .search-label{grid-column:1/-1}}
@media(max-width:760px){.filters{grid-template-columns:repeat(2,minmax(0,1fr))}.filters .search-label{grid-column:1/-1}.filters button{justify-self:start}.math-display{font-size:14px;padding:16px 12px}.statement-navigation{grid-template-columns:1fr;gap:20px}}