:root{--paper:#f6f4ee;--ink:#172d3b;--muted:#55666c;--accent:#245b69;--line:#d5d9d4;--wash:#e9ede6;--white:#fffefa;--serif:Georgia,'Times New Roman',serif;--sans:system-ui,-apple-system,BlinkMacSystemFont,'Segoe UI',sans-serif}
*{box-sizing:border-box}html{scroll-behavior:smooth;scroll-padding-top:2rem}body{margin:0;background:var(--paper);color:var(--ink);font:17px/1.7 var(--sans);-webkit-font-smoothing:antialiased}a{color:var(--accent);text-underline-offset:.2em;text-decoration-thickness:1px}a:hover{text-decoration-thickness:2px}a:focus-visible,button:focus-visible,input:focus-visible,select:focus-visible,summary:focus-visible,[tabindex]:focus-visible{outline:3px solid #b9652a;outline-offset:5px}main:focus{outline:0}img{max-width:100%}button,input,select{font:inherit}button,a,summary{-webkit-tap-highlight-color:transparent}
.skip-link{position:absolute;top:-100px;left:1rem;background:var(--white);z-index:100;padding:.7rem 1rem}.skip-link:focus{top:1rem}.masthead{max-width:1440px;margin:auto;padding:1.4rem 4.5%;display:flex;align-items:center;gap:2.5rem;border-bottom:1px solid var(--line)}.wordmark{color:var(--ink);font-size:1.45rem;font-weight:750;letter-spacing:-.06em;text-decoration:none;white-space:nowrap}.wordmark span{font-size:.65rem;letter-spacing:.08em;margin-left:.65rem;padding:.18rem .35rem;border:1px solid var(--line);vertical-align:middle}.primary-nav{display:flex;gap:1.65rem;margin-left:auto}.primary-nav a,.search-link{font-size:.83rem;letter-spacing:.01em;text-decoration:none;padding:.5rem 0;color:var(--muted)}.primary-nav a[aria-current]{color:var(--ink);box-shadow:0 2px 0 var(--accent)}.search-link{color:var(--ink);white-space:nowrap}.search-link span{margin-left:1rem}
.eyebrow{font:600 .68rem/1.4 var(--sans);letter-spacing:.14em;text-transform:uppercase;color:var(--accent);margin:0 0 1.2rem}h1,h2,h3,h4{font-family:var(--serif);font-weight:400;line-height:1.18;overflow-wrap:break-word}h1{font-size:clamp(2.4rem,4.2vw,4.1rem);letter-spacing:-.035em;margin:.35rem 0 1.4rem}h2{font-size:1.85rem;margin:2.5rem 0 1.15rem;letter-spacing:-.02em}h3{font-size:1.4rem;margin:2rem 0 .8rem}p{margin:0 0 1.25rem}.lead{font-family:var(--serif);font-size:1.45rem;color:var(--muted);line-height:1.5}.text-link{font-size:.88rem;font-weight:600;text-decoration:none;display:inline-block;padding:.5rem 0}.text-link span{margin-left:.6rem}.button{display:inline-flex;justify-content:center;align-items:center;gap:1.4rem;background:var(--ink);color:var(--white);text-decoration:none;border:1px solid var(--ink);border-radius:2px;padding:.8rem 1.2rem;font:600 .88rem var(--sans);min-height:44px;cursor:pointer}.button:hover{background:var(--accent);text-decoration:none}

.primary-nav a{white-space:nowrap}
.document-list{list-style:none;padding:0;margin:1.5rem 0}.document-list>li{padding:1.1rem 0;border-bottom:1px solid var(--line)}.document-list>li>a{font-family:var(--serif);font-size:1.22rem;line-height:1.4;text-decoration:none;display:block}.document-list p{font-size:.88rem;line-height:1.6;color:var(--muted);margin:.45rem 0 0}.document-list .katex{font-size:.95em}.reading-callout{background:var(--wash);padding:1.8rem 2rem;margin:2rem 0;border-left:3px solid var(--accent)}.reading-callout h2{margin:0 0 .8rem}.reading-callout .eyebrow{display:block}
.article-shell{max-width:1200px;margin:0 auto;display:grid;grid-template-columns:minmax(0,780px) 240px;gap:5rem;padding:4rem 3.5% 6rem;align-items:start}.article{min-width:0}.article-header{padding-bottom:2rem;border-bottom:1px solid var(--line);margin-bottom:2.3rem}.article-date{color:var(--muted);font-size:.76rem;margin:.5rem 0}.scope-label{font-size:.74rem;color:var(--accent);border-left:2px solid var(--accent);padding:.3rem 0 .3rem .75rem;margin:.9rem 0 0}.article-body{font-family:var(--serif);font-size:1.13rem;line-height:1.8;overflow-wrap:break-word}.article-body h2{scroll-margin-top:2rem}.article-body a{overflow-wrap:anywhere}.article-body li{margin:.55rem 0}.article-body ul,.article-body ol{padding-left:1.6rem}.article-body blockquote{margin:1.8rem 0;padding:.5rem 1.3rem;border-left:2px solid var(--accent);color:var(--muted)}.article-body blockquote p:last-child{margin-bottom:0}.article-body hr{border:0;border-top:1px solid var(--line);margin:2.5rem 0}.article-sidebar{position:sticky;top:2rem;padding-top:.5rem}.page-toc summary{font-size:.68rem;letter-spacing:.12em;text-transform:uppercase;font-weight:700;cursor:pointer;padding:.4rem 0;color:var(--muted)}.page-toc nav{max-height:75vh;overflow:auto}.page-toc ol{list-style:none;padding:0;margin:1rem 0}.page-toc li{font-size:.74rem;line-height:1.5;margin:.7rem 0}.page-toc a{color:var(--muted);text-decoration:none;display:block;padding:.15rem 0}.page-toc .toc-level-3{padding-left:.8rem;font-size:.69rem}.related-reading{border-top:1px solid var(--line);padding-top:2.5rem;margin-top:3rem}.related-reading h2{margin-top:0}.related-reading ul{padding-left:1.2rem}.related-reading li{margin:.7rem 0;font-size:.9rem}
.math{display:inline-block;max-width:100%;overflow-x:auto;overflow-y:hidden;vertical-align:middle}.math-display{display:block;max-width:100%;overflow-x:auto;overflow-y:hidden;padding:.4rem .05rem;margin:1.3rem 0}.math-display .katex-display{margin:.4em 0}.math-display .katex-display>.katex>.katex-html{box-sizing:border-box;width:max-content;min-width:100%}.math-display .katex-display>.katex>.katex-html:has(>.katex-tag){padding-inline:5em}.katex{font-size:1.03em!important}.article-header .katex{font-size:.95em!important}.table-scroll{overflow:auto;max-width:100%;margin:1.5rem 0}table{border-collapse:collapse;width:100%;font: .84rem/1.6 var(--sans)}th,td{text-align:left;vertical-align:top;padding:.7rem .8rem;border-bottom:1px solid var(--line)}thead th{background:var(--wash);font-weight:600}td .math{white-space:nowrap}pre{overflow:auto;max-width:100%;background:#e9ece8;padding:1.25rem;font-size:.77rem;line-height:1.65}code{font-family:ui-monospace,SFMono-Regular,Consolas,monospace;font-size:.85em}p code,li code{background:var(--wash);padding:.1em .25em;overflow-wrap:anywhere}.record-data summary{cursor:pointer;padding:1rem 0;font:600 .85rem var(--sans)}
.search-page{max-width:950px;margin:0 auto;padding:4rem 5% 6rem;min-height:70vh}.search-page h1{margin-bottom:2rem}#library-search label{display:block;font-size:.76rem;font-weight:600;margin-bottom:.5rem}#query{width:100%;background:var(--white);border:1px solid #849397;padding:.9rem 1rem;min-height:50px;border-radius:2px}.search-filters{display:flex;gap:1rem;align-items:end;margin:1rem 0 2rem}.search-filters>div{flex:1}.search-filters select{width:100%;min-height:44px;padding:.55rem;background:var(--white);border:1px solid #849397;border-radius:2px;font-size:.86rem}#search-status{font-size:.84rem;color:var(--muted)}.result-category{font:600 .65rem var(--sans);text-transform:uppercase;letter-spacing:.1em;color:var(--accent);display:block;margin-bottom:.35rem}
.WordIndexLetters{display:flex;flex-wrap:wrap;gap:.5rem 1rem;margin:1.5rem 0}.WordIndexLetters[hidden]{display:none!important}.WordIndexLetters a{min-width:1.5rem;padding:.3rem 0}.WordIndexGroup>h2{margin:2.5rem 0 1rem;border-bottom:1px solid var(--line)}.WordIndexEntry{content-visibility:auto;contain-intrinsic-size:auto 10rem;padding:1rem 0;border-bottom:1px solid var(--line);overflow-wrap:anywhere}.WordIndexEntry h3{margin:0 0 .6rem;font-size:1.15rem}.WordIndexLinks{display:flex;flex-wrap:wrap;gap:.4rem 1.1rem;font-size:.85rem}.WordIndex [hidden]{display:none!important}
.site-footer{max-width:1440px;margin:auto;border-top:1px solid var(--line);padding:2rem 4.5%;display:flex;align-items:center;gap:2rem;color:var(--muted)}.site-footer p{font-size:.72rem;margin:0;max-width:280px}.site-footer nav{margin-left:auto;display:flex;gap:1.4rem}.site-footer nav a{font-size:.72rem;text-decoration:none;white-space:nowrap}
@media(min-width:1300px){.article-shell{gap:6rem}}@media(max-width:1050px){.masthead{gap:1.5rem}.primary-nav{gap:1rem}.article-shell{gap:2.4rem;grid-template-columns:minmax(0,1fr) 200px}.site-footer{flex-wrap:wrap}.site-footer nav{margin-left:0}}
@media(max-width:760px){body{font-size:16px}.masthead{flex-wrap:wrap;gap:.7rem 1rem;padding:1rem 5%}.search-link{margin-left:auto;order:1}.primary-nav{order:2;width:100%;justify-content:space-between;gap:.5rem;margin:0;overflow:auto}.primary-nav a{font-size:.74rem;min-height:42px;padding:.7rem 0}.article-shell{display:flex;flex-direction:column;padding:2.5rem 5% 4rem;gap:1rem}.article{width:100%;order:2}.article-sidebar{position:static;order:1;width:100%;padding:0 0 1rem;border-bottom:1px solid var(--line)}.page-toc nav{max-height:220px}.article-header h1{font-size:2.25rem}.article-body{font-size:1.06rem}.article-body h2{font-size:1.6rem}.reading-callout{padding:1.4rem}.site-footer{padding:1.7rem 5%;gap:1rem}.site-footer nav{width:100%;flex-wrap:wrap;gap:1rem}.search-filters{flex-wrap:wrap}.search-filters>div{min-width:45%}.search-filters button{width:100%}.table-scroll{font-size:.78rem}}
@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}}@media print{body{background:#fff;color:#000;font-size:11pt}.masthead,.article-sidebar,.site-footer,.related-reading,.skip-link{display:none}.article-shell{display:block;max-width:none;padding:0}.article-body{font-size:11pt}.article-header h1{font-size:24pt}.math-display,.table-scroll,pre{overflow:visible}a{color:inherit}h2,h3{break-after:avoid}.math-display,table{break-inside:avoid}.article-header{margin-bottom:1rem;padding-bottom:1rem}}
.home{max-width:1180px;margin:auto;padding:0 4.5%}.home-intro{padding:5.2rem 0 3.6rem;max-width:54rem}.home-intro h1{font-size:clamp(2.7rem,5vw,4.6rem);line-height:1.05;letter-spacing:-.04em;margin:0 0 1.6rem}.home-lede{font:1.32rem/1.55 var(--serif);color:var(--muted);margin:0;max-width:38em}.home-section{display:grid;grid-template-columns:12rem minmax(0,1fr);gap:3rem;padding:3.4rem 0;border-top:1px solid var(--line)}.home-section>h2{font:600 .72rem/1.4 var(--sans);letter-spacing:.14em;text-transform:uppercase;color:var(--accent);margin:.45rem 0 0}.home-body{max-width:44rem}.home-body>p{margin:0 0 1.25rem}.home-formula{font-size:1.2rem;margin:1.5rem 0 1.6rem!important}.depth-table{max-width:30rem;margin:.4rem 0 2rem;font-size:.9rem}.depth-table caption{text-align:left;font:600 .68rem/1.4 var(--sans);letter-spacing:.12em;text-transform:uppercase;color:var(--muted);padding:0 0 .6rem}.depth-table th,.depth-table td{padding:.55rem .8rem}.depth-table td:first-child,.depth-table th:first-child{width:5.5rem;font-variant-numeric:tabular-nums}.case-feature{max-width:44rem;background:var(--white);border:1px solid var(--line);border-top:3px solid var(--accent);padding:2.3rem 2.5rem 2.5rem}.case-feature .eyebrow{margin-bottom:1rem}.case-feature h3{font-size:clamp(1.7rem,2.8vw,2.3rem);letter-spacing:-.02em;margin:0 0 1rem}.case-feature p:not(.eyebrow){color:var(--muted);margin:0 0 1.7rem}.home-papers,.home-notes{margin:0 0 1rem}.home-papers>li:first-child,.home-notes>li:first-child{padding-top:0}.home-notes>li>a{font-size:1.1rem}.case-earlier{font-size:.86rem;margin:1.4rem 0 0!important}.home-papers>li:first-child{padding-top:0}.home-papers .paper-meta,.home-notes .paper-meta{font:600 .68rem/1.4 var(--sans);letter-spacing:.1em;text-transform:uppercase;margin:.5rem 0 .2rem}.guide-list{list-style:none;padding:0;margin:0;display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:0 3rem}.guide-list>li{padding:1.15rem 0;border-bottom:1px solid var(--line)}.guide-list>li:nth-child(-n+2){padding-top:0}.guide-list a{font:1.2rem/1.4 var(--serif);text-decoration:none}.guide-meta{font:600 .66rem/1.4 var(--sans);letter-spacing:.1em;text-transform:uppercase;color:var(--muted);margin-left:.7rem;white-space:nowrap}.guide-list p{font-size:.88rem;line-height:1.6;color:var(--muted);margin:.4rem 0 0}
@media(max-width:900px){.home-section{grid-template-columns:1fr;gap:1.4rem;padding:2.8rem 0}.home-section>h2{margin:0}}@media(max-width:760px){.home-intro{padding:3.2rem 0 2.6rem}.home-intro h1{font-size:clamp(2.4rem,10vw,3.4rem)}.home-lede{font-size:1.15rem}.case-feature{padding:1.6rem 1.4rem 1.8rem}.guide-list{grid-template-columns:1fr}.guide-list>li:nth-child(2){padding-top:1.15rem}}@media print{.home-section{display:block}}
