:root{--ink:#25343c;--muted:#64737b;--accent:#257283;--line:#e3e9ec;--wash:#f5f8f9;--soft:#edf5f6}
*{box-sizing:border-box}html{scroll-behavior:smooth;scroll-padding-top:92px}body{margin:0;color:var(--ink);background:white;font:17px/1.75 'DM Sans',-apple-system,BlinkMacSystemFont,'Segoe UI',sans-serif;-webkit-font-smoothing:antialiased}a{color:var(--accent);text-decoration:none;text-underline-offset:4px}a:hover{text-decoration:underline}button{font:inherit;cursor:pointer}a:focus-visible,button:focus-visible,summary:focus-visible{outline:3px solid #4b9fb1;outline-offset:4px}img,svg{display:block;max-width:100%}h1,h2,h3,h4,p,figure{margin:0}sup{font-size:.65em;line-height:0}p+p{margin-top:18px}strong{font-weight:600}.container{max-width:1080px;margin:auto;padding:0 32px}.reading-width{max-width:790px;margin:0 auto}.skip-link{position:fixed;z-index:100;top:-70px;left:20px;padding:10px 18px;background:white}.skip-link:focus{top:10px}
.project-header{position:sticky;top:0;z-index:20;border-bottom:1px solid rgba(227,233,236,.8);background:rgba(255,255,255,.92);backdrop-filter:blur(16px);-webkit-backdrop-filter:blur(16px)}.nav-inner{max-width:1200px;margin:auto;min-height:62px;display:flex;align-items:center;gap:32px;padding:0 28px;font-size:13px}.wordmark{font-size:18px;letter-spacing:-.7px;font-weight:700;color:var(--ink)}.wordmark span{color:#2d8596}.section-links{display:flex;gap:28px;margin:auto}.section-links a{color:var(--muted);padding:18px 0;border-bottom:2px solid transparent;transition:color .2s,border-color .2s}.section-links a[aria-current]{color:var(--accent);border-bottom-color:var(--accent)}.home-link{white-space:nowrap;color:var(--muted)}.home-link span{margin-left:6px}
.hero{text-align:center;padding-top:64px}.paper-status{font-size:13px;font-weight:500;color:var(--muted);margin-bottom:19px}h1{font-size:clamp(36px,4.4vw,54px);line-height:1.14;letter-spacing:-2.2px;font-weight:700}h1>span{display:inline-block;color:var(--accent);margin-top:8px}.authors{display:flex;flex-direction:column;align-items:center;gap:3px;max-width:800px;margin:29px auto 0;font-size:17px;color:var(--accent)}.author-row{display:flex;justify-content:center;flex-wrap:wrap;gap:3px 18px}.author-row>span{white-space:nowrap}.authors sup{padding-left:2px;color:var(--muted)}.affiliations{display:flex;justify-content:center;flex-wrap:wrap;gap:3px 18px;margin:10px 0 0;font-size:13px;color:var(--muted)}.affiliations sup{margin-right:3px}.resource-links{display:flex;justify-content:center;flex-wrap:wrap;gap:10px;margin-top:27px}.resource{display:inline-flex;align-items:center;gap:9px;padding:8px 20px;border-radius:999px;background:#293940;border:1px solid #293940;color:white;font-size:14px;font-weight:500;transition:transform .2s,background .2s}.resource:hover{text-decoration:none;background:#3a515c;transform:translateY(-2px)}.resource svg{width:17px;height:17px;fill:none;stroke:currentColor;stroke-width:1.5;stroke-linecap:round;stroke-linejoin:round}.resource.secondary{background:white;color:var(--ink);border-color:#d7e0e4}.resource.secondary:hover{background:var(--wash)}.hero-summary{font-size:19px;line-height:1.6;margin:34px auto 30px;max-width:900px;color:#53656f;text-wrap:balance}.hero-summary::first-line{color:var(--ink);font-weight:500}.overview{margin:0 auto 52px}.overview .figure-link{padding:18px 8px}.overview img{width:100%;height:auto}.overview figcaption{max-width:760px;margin:16px auto 0;font-size:15px}.figure-link{position:relative;display:block;cursor:zoom-in;border-radius:8px}.figure-link:hover{background:#fcfdfd}.enlarge-hint{position:absolute;right:12px;bottom:6px;font-size:11px;color:var(--muted);padding:3px 8px;border-radius:4px;background:rgba(255,255,255,.94);opacity:0;transition:opacity .2s}.figure-link:hover .enlarge-hint,.figure-link:focus-visible .enlarge-hint{opacity:1}figcaption{font-size:13px;line-height:1.6;color:var(--muted)}
h2{font-size:31px;line-height:1.25;letter-spacing:-.8px;font-weight:600;margin-bottom:22px}h3{font-size:20px;letter-spacing:-.3px;line-height:1.35}h4{font-size:12px;letter-spacing:.7px;text-transform:uppercase;font-weight:600;color:var(--muted)}.abstract-section{background:var(--wash);padding:46px 32px 50px}.abstract-section h2{text-align:center}.content-section{padding-top:70px;padding-bottom:4px}.content-section+.content-section{margin-top:20px}.content-section .reading-width>p{color:#4d5b63}.figure-pair{display:grid;grid-template-columns:1fr 1fr;gap:24px;margin-top:32px}.figure-pair img{width:100%;height:auto}.figure-pair figcaption{text-align:center;margin:14px 12px 0}.equation{text-align:center;padding:27px 0 23px;margin:22px 0;border-top:1px solid var(--line);border-bottom:1px solid var(--line)}.equation>span{font-family:Georgia,'Times New Roman',serif;font-size:43px;font-style:italic;color:var(--accent)}.equation>p{font-size:12px;margin-top:3px;color:var(--muted)}.figure-note{max-width:790px;margin:21px auto 0;font-size:12px;color:var(--muted)}
.logic-explorer{margin-top:30px;border:1px solid #dce6ea;border-radius:14px;overflow:hidden;background:white;box-shadow:0 8px 35px rgba(34,62,74,.035)}.explorer-heading{padding:25px 28px 20px;display:flex;align-items:baseline;justify-content:space-between;gap:12px}.explorer-heading p{font-size:13px;color:var(--muted)}.logic-controls{display:grid;grid-template-columns:repeat(5,1fr);border-top:1px solid var(--line);border-bottom:1px solid var(--line);background:var(--wash);padding:6px;gap:4px}.logic-controls button{background:transparent;color:var(--muted);border:1px solid transparent;border-radius:8px;padding:10px 5px;font-size:12px;line-height:1.4;transition:background .2s,color .2s}.logic-controls button>span{display:block;font-family:Georgia,serif;font-size:23px;line-height:1.3;margin-bottom:4px}.logic-controls button:hover{background:#e7f0f2}.logic-controls button[aria-pressed=true]{color:var(--accent);background:white;border-color:#dce7e9;box-shadow:0 2px 5px #263f4b08}.example{display:grid;grid-template-columns:1.15fr 1fr;min-height:250px}.example-content{padding:28px}.example-content ul{list-style:none;padding:0;margin:16px 0 0}.example-content li{position:relative;padding-left:18px;margin:10px 0;font-size:15px}.example-content li::before{content:'·';position:absolute;left:0;color:var(--accent);font-weight:700}.example-explanation{background:#fbfcfc;border-left:1px solid var(--line);padding:28px;font-size:14px;color:var(--muted)}.conclusion{margin:18px 0;color:var(--ink)}.conclusion span{display:block;font-size:12px;color:var(--muted)}.conclusion strong{font-size:20px}.example-explanation details{border-top:1px solid var(--line);padding-top:14px}.example-explanation summary{cursor:pointer;color:var(--accent);font-weight:500}.example-explanation details p{margin-top:12px}.example-note{font-size:11px;padding:13px 28px;border-top:1px solid var(--line);color:var(--muted)}
.citation-section{margin-top:85px;padding:48px 32px 35px;background:var(--wash)}.citation-heading{display:flex;align-items:center;justify-content:space-between;gap:16px;margin-bottom:18px}.citation-heading h2{margin:0}#copy-bibtex,#close-figure{border:1px solid #d5e0e5;border-radius:7px;padding:8px 13px;background:white;color:var(--ink);font-size:12px}#copy-bibtex:hover,#close-figure:hover{background:var(--soft)}pre{margin:0;padding:24px;background:#fff;border:1px solid var(--line);border-radius:10px;overflow-x:auto;font:12px/1.85 ui-monospace,SFMono-Regular,Consolas,monospace;tab-size:2}pre code{font:inherit}.copy-status{min-height:22px;font-size:12px;color:var(--muted);margin:7px 0 0}footer.container{display:flex;justify-content:space-between;align-items:center;gap:20px;padding-top:26px;padding-bottom:30px;font-size:12px;color:var(--muted)}footer a{color:inherit}dialog{border:1px solid #e1e8ec;border-radius:14px;padding:20px 24px;max-width:min(1200px,94vw);max-height:92vh;width:max-content;box-shadow:0 24px 100px #162a4640}dialog::backdrop{background:rgba(17,30,39,.7);backdrop-filter:blur(4px)}.dialog-toolbar{display:flex;justify-content:space-between;align-items:center;gap:20px;margin-bottom:20px;font-size:12px;color:var(--muted)}#expanded-figure{max-height:68vh;width:auto;max-width:100%;margin:auto}#expanded-caption{max-width:900px;font-size:13px;line-height:1.6;color:var(--muted);margin:15px auto 0}body:has(dialog[open]){overflow:hidden}
@media(max-width:800px){.nav-inner{gap:18px;padding:0 20px}.section-links{gap:18px}.home-link{font-size:0}.home-link span{font-size:18px}.hero{padding-top:44px}h1{letter-spacing:-1.5px}.desktop-break{display:none}.authors{font-size:15px;max-width:600px}.affiliations{font-size:12px}.hero-summary{font-size:17px}.explorer-heading{display:block}.explorer-heading p{margin-top:7px}.figure-pair{gap:16px}h2{font-size:28px}}
@media(max-width:560px){body{font-size:16px}.container{padding-left:22px;padding-right:22px}.nav-inner{min-height:58px;flex-wrap:wrap;gap:0;justify-content:space-between;padding:12px 20px 0}.wordmark{font-size:17px}.home-link{order:1}.section-links{order:2;flex-basis:100%;justify-content:space-between;gap:15px;margin-top:4px;font-size:12px}.section-links a{padding:8px 0}.hero{padding-top:32px}.paper-status{font-size:11px;margin-bottom:14px}h1{font-size:34px;letter-spacing:-1.3px;line-height:1.17}.authors{font-size:14px;gap:3px 12px;margin-top:23px}.affiliations{gap:2px 12px;max-width:290px;margin:12px auto 0}.resource-links{margin-top:23px;gap:8px}.resource{padding:8px 16px;font-size:13px}.hero-summary{font-size:16px;margin-top:27px}.overview{margin-bottom:33px}.overview .figure-link{padding:0}.overview figcaption{font-size:12px;margin-top:13px}.enlarge-hint{display:none}.abstract-section{padding:32px 22px}.content-section{padding-top:43px}.content-section+.content-section{margin-top:13px}h2{font-size:26px;margin-bottom:18px}.figure-pair{grid-template-columns:1fr;gap:26px;margin-top:24px}.figure-pair figcaption{margin-top:8px}.logic-controls{grid-template-columns:repeat(3,1fr)}.logic-controls button{font-size:11px}.logic-controls button>span{font-size:20px}.explorer-heading{padding:21px}h3{font-size:19px}.example{grid-template-columns:1fr}.example-content,.example-explanation{padding:21px}.example-explanation{border-left:0;border-top:1px solid var(--line)}.example-note{padding:12px 21px}.equation>p{font-size:11px}.citation-section{padding:32px 22px 25px;margin-top:50px}.citation-heading h2{font-size:26px}pre{font-size:11px;padding:17px}footer.container{align-items:flex-start;flex-direction:column;gap:8px}dialog{padding:15px;max-width:96vw}.dialog-toolbar{font-size:11px}}
@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}*,*::before,*::after{transition:none!important}}

.results-table-wrap{margin-top:28px;overflow-x:auto}.results-table{width:100%;border-collapse:collapse;font-size:14px;font-variant-numeric:tabular-nums}.results-table caption{text-align:left;color:var(--muted);font-size:12px;padding-bottom:12px}.results-table th,.results-table td{padding:13px 16px;border-bottom:1px solid var(--line);text-align:right;white-space:nowrap}.results-table th:first-child{text-align:left}.results-table thead th{font-size:12px;color:var(--muted);font-weight:500;border-top:1px solid var(--line)}.results-table tbody th{font-weight:400}.results-table .ours{background:var(--soft);color:var(--accent)}.results-table .ours th,.results-table .ours td{font-weight:600}.content-section .reading-width>p.table-note{font-size:12px;line-height:1.65;color:var(--muted);margin-top:15px}
@media(max-width:560px){.author-row{gap:3px 12px}.results-table{font-size:12px}.results-table th,.results-table td{padding:11px 9px}.results-table thead th{font-size:11px}}

.frontier-figure{max-width:790px;margin:32px auto 0}.frontier-figure img{width:100%;height:auto}.frontier-figure figcaption{text-align:center;margin:15px 12px 0}@media(max-width:560px){.frontier-figure{margin-top:24px}.frontier-figure figcaption{margin:10px 0 0}}

.equation-key{display:grid;grid-template-columns:repeat(3,1fr);gap:20px;max-width:640px;margin:20px auto 0}.equation-key dt{font:italic 23px Georgia,serif;color:var(--accent);margin-bottom:7px}.equation-key dd{margin:0;color:var(--muted);font-size:13px;line-height:1.6}@media(max-width:560px){.equation-key{grid-template-columns:1fr;gap:13px;max-width:290px;text-align:left}.equation-key>div{display:grid;grid-template-columns:30px 1fr;gap:12px;align-items:baseline}.equation-key dt{margin:0}.equation-key dd{font-size:12px}.equation-key br{display:none}}