@font-face{font-family:mona sans;src:url(../fonts/mona-sans.woff2)format("woff2");font-weight:400 800;font-stretch:100% 125%;font-style:normal;font-display:swap}@font-face{font-family:newsreader;src:url(../fonts/newsreader.woff2)format("woff2");font-weight:380 700;font-style:normal;font-display:swap}@font-face{font-family:newsreader;src:url(../fonts/newsreader-italic.woff2)format("woff2");font-weight:380 700;font-style:italic;font-display:swap}@font-face{font-family:mona sans mono;src:url(../fonts/mona-sans-mono.woff2)format("woff2");font-weight:200 900;font-style:normal;font-display:swap}:root{--paper:#ffffff;--ink:#141a16;--ink-2:#4c564f;--ink-3:#7b857e;--rule:#e2e9e3;--rule-2:#c8d4cb;--brand:#bdefc8;--brand-2:#9fe2b0;--brand-3:#7fd497;--panel:#eefaf0;--panel-2:#d3eedb;--amber:#ffb36b;--coral:#ff8f70;--butter:#f5d27a;--sky:#8fb8f0;--lilac:#bda8f2;--font-display:"Mona Sans", "PingFang SC", "Hiragino Sans GB", "Microsoft YaHei", system-ui, sans-serif;--font-text:"Newsreader", "PingFang SC", "Hiragino Sans GB", "Microsoft YaHei", Georgia, serif;--font-mono:"Mona Sans Mono", ui-monospace, "SF Mono", Menlo, Consolas, monospace;--page:72rem;--wide:60rem;--text:42rem;--gutter:clamp(1.25rem, 4vw, 2.5rem);--radius:1rem;color-scheme:light}*,*::before,*::after{box-sizing:border-box}html{-webkit-text-size-adjust:100%;text-size-adjust:100%;scroll-padding-top:1.5rem}body{margin:0;overflow-x:clip;background:var(--paper);color:var(--ink);font-family:var(--font-display);font-size:1rem;line-height:1.5;-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale;text-rendering:optimizeLegibility}img,svg,video{max-width:100%}a{color:var(--ink)}::selection{background:var(--brand);color:var(--ink)}:focus-visible{outline:2px solid var(--ink);outline-offset:3px;border-radius:3px}.skip{position:absolute;left:1rem;top:-4rem;z-index:10;padding:.5rem .875rem;border-radius:.5rem;background:var(--ink);color:#fff;font-weight:600;text-decoration:none}.skip:focus{top:1rem}.wrap{width:min(var(--page),100% - 2 * var(--gutter));margin-inline:auto}.site-header{border-bottom:1px solid var(--rule)}.site-header .wrap{display:flex;align-items:center;justify-content:space-between;gap:1.5rem;min-height:4.25rem}.brand{display:inline-flex;align-items:center;gap:.625rem;color:var(--ink);font-size:1.1875rem;font-weight:640;font-stretch:125%;letter-spacing:-.01em;line-height:1;text-decoration:none}.logo-tile{display:inline-grid;place-items:center;width:1.875rem;height:1.875rem;flex:none;border-radius:.5rem;background:var(--brand)}.glyph{width:1.125rem;height:1.125rem;fill:var(--ink)}.nav{display:flex;align-items:center;gap:clamp(1rem,3vw,2rem);font-size:.9375rem;font-weight:520}.nav a{color:var(--ink-2);text-decoration:none;text-underline-offset:.55em;text-decoration-thickness:2px}.nav a:hover{color:var(--ink)}.nav a[aria-current=page]{color:var(--ink);text-decoration-line:underline;text-decoration-color:var(--brand-2);text-decoration-thickness:3px}.nav__icon{display:inline-flex}.nav__icon svg{width:1.125rem;height:1.125rem}.site-footer{margin-top:clamp(5rem,11vw,8.5rem);border-top:1px solid var(--rule);padding:3rem 0 3.5rem;font-size:.9375rem}.site-footer .wrap{display:grid;grid-template-columns:1fr auto;gap:2rem 3rem;align-items:start}.site-footer__about p{max-width:26rem;margin:.875rem 0 0;color:var(--ink-2)}.site-footer__links{display:flex;flex-wrap:wrap;gap:.75rem 1.75rem;padding-top:.125rem}.site-footer__links a{color:var(--ink-2);text-decoration:none}.site-footer__links a:hover{color:var(--ink)}.site-footer__legal{grid-column:1/-1;margin:0;color:var(--ink-3);font-size:.8125rem}.btn{display:inline-flex;align-items:center;gap:.5rem;min-height:2.5rem;padding:.5rem 1rem;border:1px solid var(--rule-2);border-radius:.625rem;background:var(--paper);color:var(--ink);font:580 .9375rem/1 var(--font-display);text-decoration:none;cursor:pointer;transition:border-color .15s,background-color .15s}.btn svg{width:1rem;height:1rem;flex:none}.btn:hover{border-color:var(--ink)}.btn--primary{border-color:var(--ink);background:var(--ink);color:#fff}.btn--primary:hover{border-color:#000;background:#000}.btn--quiet{border-color:var(--rule);color:var(--ink-2)}.btn--quiet:hover{border-color:var(--ink);color:var(--ink)}.mask{display:block;width:100%;height:auto}.mask .m-s{fill:var(--ink)}.mask .m-v{fill:var(--m-accent,var(--amber))}.mask .m-p{fill:var(--panel-2)}@media(prefers-reduced-motion:no-preference){.js .mask--animate:not(.is-playing) rect{opacity:0}.js:not(.motion-ready) .mask--animate rect{animation:reveal-fallback 0s 2.5s forwards}@keyframes reveal-fallback{to{opacity:1;transform:none}}.mask--animate.is-playing rect{transform-box:fill-box;transform-origin:50% 50%;animation:mask-scan .7s cubic-bezier(.2,.75,.25,1)backwards;animation-delay:calc(var(--c,0) * 14ms)}@keyframes mask-scan{0%{fill:var(--panel-2);transform:scale(.3);opacity:0}45%{fill:var(--panel-2);transform:scale(1);opacity:1}}}.card{--pad:clamp(1.5rem, 4.5vw, 3rem);padding:var(--pad)var(--pad)0;border-radius:var(--radius);background:var(--panel)}.card__date{margin:0 0 1.25rem;color:var(--ink-2);font-size:.9375rem;font-weight:520}.card__title{margin:0;color:var(--ink);font-size:clamp(2.125rem,4.8vw,3.75rem);font-weight:600;font-stretch:116%;line-height:1.02;letter-spacing:-.018em;text-wrap:balance}.card__title a{color:inherit;text-decoration:none}.card__title a:hover{text-decoration:underline;text-decoration-color:var(--brand-2);text-decoration-thickness:.16em;text-underline-offset:.04em;text-decoration-skip-ink:none}.card__sub{max-width:40rem;margin:1.125rem 0 0;color:var(--ink-2);font-family:var(--font-text);font-size:clamp(1.1875rem,2vw,1.375rem);line-height:1.42;text-wrap:pretty}.card .byline{margin-top:1.25rem;font-size:.9375rem;color:var(--ink-2)}.authors{margin:1.5rem 0 0;font-size:1.0625rem;font-weight:560;line-height:1.5}.author{white-space:nowrap}.author+.author::before{content:" "}.author a{color:var(--ink);text-decoration:none}.author a:hover{text-decoration:underline;text-decoration-color:var(--brand-2);text-decoration-thickness:3px}.authors sup,.affils sup,.author-notes sup{font-size:.68em;font-weight:500;color:var(--ink-2);margin-left:.08em}.affils{display:flex;flex-wrap:wrap;gap:.25rem 1.25rem;margin:.375rem 0 0;color:var(--ink-2);font-size:.9375rem}.affils sup{margin:0 .2em 0 0}.author-notes{display:flex;flex-wrap:wrap;gap:.25rem 1.25rem;margin:.5rem 0 0;color:var(--ink-3);font-size:.8125rem}.author-notes sup{margin:0 .15em 0 0}.card__links{display:flex;flex-wrap:wrap;gap:.625rem;margin-top:1.75rem}.card__mask{margin-top:clamp(2.25rem,5vw,3.25rem);padding-bottom:var(--pad)}.home{padding-top:clamp(3rem,8vw,6.5rem)}.intro{display:grid;grid-template-columns:repeat(12,minmax(0,1fr));gap:1.5rem 2rem;align-items:end;margin-bottom:clamp(2.5rem,6vw,4.5rem)}.statement{grid-column:1/span 8;margin:0;color:var(--ink);font-size:clamp(2.5rem,6vw,5rem);font-weight:580;font-stretch:120%;line-height:.98;letter-spacing:-.022em;text-wrap:balance}.intro__text{grid-column:9/-1;margin:0;padding-bottom:.375rem;color:var(--ink-2);font-family:var(--font-text);font-size:1.25rem;line-height:1.45;text-wrap:pretty}.home-sec{margin-top:clamp(4rem,9vw,6.5rem)}.sec-head{display:flex;align-items:baseline;justify-content:space-between;gap:1rem;margin-bottom:1.25rem}.sec-head h2{margin:0;font-size:1.375rem;font-weight:600;font-stretch:112%;letter-spacing:-.012em}.sec-head a{color:var(--ink-2);font-size:.9375rem;font-weight:520;text-underline-offset:.2em}.sec-head a:hover{color:var(--ink)}.page-head{padding:clamp(3rem,8vw,6rem)0 clamp(2rem,4vw,3rem)}.page-head h1{margin:0;color:var(--ink);font-size:clamp(2.5rem,5.5vw,4.25rem);font-weight:580;font-stretch:120%;line-height:1;letter-spacing:-.022em}.page-head p{max-width:38rem;margin:1.125rem 0 0;color:var(--ink-2);font-family:var(--font-text);font-size:1.3125rem;line-height:1.45}.page-head__up{margin:0 0 1rem!important;font-family:var(--font-display)!important;font-size:.9375rem!important}.page-head__up a{color:var(--ink);text-decoration:none;font-weight:600}.post-list{margin:0;padding:0;list-style:none;border-top:1px solid var(--rule)}.post-row{display:grid;grid-template-columns:9.5rem minmax(0,1fr)6.5rem;gap:1.25rem 2.5rem;align-items:start;padding:1.875rem 0;border-bottom:1px solid var(--rule)}.post-row time{padding-top:.3rem;color:var(--ink-3);font-size:.9375rem;font-weight:520}.post-row h3{margin:0;font-size:1.5rem;font-weight:600;font-stretch:112%;line-height:1.15;letter-spacing:-.014em;text-wrap:balance}.post-row h3 a{color:var(--ink);text-decoration:none}.post-row h3 a:hover{text-decoration:underline;text-decoration-color:var(--brand-2);text-decoration-thickness:.2em;text-underline-offset:.05em;text-decoration-skip-ink:none}.post-row p:not(.byline){max-width:38rem;margin:.5rem 0 0;color:var(--ink-2);font-family:var(--font-text);font-size:1.1875rem;line-height:1.42}.post-row .byline{margin-top:.625rem}.post-row__art{display:block;padding-top:.375rem}.byline{margin:0;color:var(--ink-3);font-size:.875rem;font-weight:520}.empty{color:var(--ink-2);font-family:var(--font-text);font-size:1.25rem}.projects{display:grid;grid-template-columns:repeat(auto-fill,minmax(min(100%,20rem),1fr));column-gap:2.5rem;margin:0;padding:0;list-style:none;border-top:1px solid var(--rule)}.project{padding:1.625rem 0 1.75rem;border-bottom:1px solid var(--rule)}.project__name{margin:0;font-size:1.25rem;font-weight:600;font-stretch:108%;letter-spacing:-.01em}.project__name a{color:var(--ink);text-decoration:none}.project__name a:hover{text-decoration:underline;text-decoration-color:var(--brand-2);text-decoration-thickness:.2em;text-underline-offset:.05em;text-decoration-skip-ink:none}.project__desc{margin:.5rem 0 0;color:var(--ink-2);font-family:var(--font-text);font-size:1.125rem;line-height:1.42}.project__links{display:flex;flex-wrap:wrap;gap:.5rem 1.25rem;margin:.875rem 0 0;font-size:.875rem;font-weight:520}.project__links a{display:inline-flex;align-items:center;gap:.375rem;color:var(--ink-2);text-decoration:none}.project__links a:hover{color:var(--ink);text-decoration:underline;text-decoration-color:var(--brand-2);text-decoration-thickness:2px}.project__links svg{width:.9375rem;height:.9375rem}.tag-index{display:flex;flex-wrap:wrap;gap:.625rem;margin:0;padding:0;list-style:none}.tag-index a,.tags a{display:inline-flex;gap:.5rem;padding:.375rem .75rem;border:1px solid var(--rule);border-radius:999px;color:var(--ink-2);font-size:.875rem;font-weight:520;text-decoration:none}.tag-index a:hover,.tags a:hover{border-color:var(--ink);color:var(--ink)}.tag-index span{margin-left:.5rem;color:var(--ink-3);font-size:.875rem}.layout{display:grid;grid-template-columns:[full-start] minmax(var(--gutter),1fr) [wide-start] minmax(0,calc((var(--wide) - var(--text))/2)) [text-start] min(var(--text),100% - 2 * var(--gutter)) [text-end] minmax(0,calc((var(--wide) - var(--text))/2)) [wide-end] minmax(var(--gutter),1fr) [full-end]}.post-head{padding-top:clamp(1.75rem,4vw,3rem)}.post-head>*{grid-column:wide}.post-meta{display:flex;flex-wrap:wrap;gap:.25rem 1.5rem;margin-bottom:1rem;color:var(--ink-3);font-size:.9375rem;font-weight:520}.post-meta a{color:var(--ink);text-decoration:none;font-weight:600}.post-meta a:hover{text-decoration:underline}.post-body{margin-top:clamp(2.5rem,5vw,3.75rem)}.post-body>.prose{grid-column:full;grid-row:1}.toc{font-family:var(--font-display)}.toc ul{margin:0;padding:0;list-style:none}.toc ul ul{padding-left:.875rem}.toc a{display:block;padding:.3rem 0;color:var(--ink-2);font-size:.875rem;line-height:1.35;text-decoration:none}.toc a:hover{color:var(--ink)}.toc--inline{border:1px solid var(--rule);border-radius:.75rem;padding:.75rem 1.125rem}.toc--inline summary{cursor:pointer;color:var(--ink);font-size:.9375rem;font-weight:600}.toc--inline nav{padding:.5rem 0 .25rem}.toc--rail{display:none}@media(min-width:88rem){.toc--inline{display:none}.toc--rail{display:block;grid-column:full-start/wide-start;grid-row:1;z-index:1;justify-self:start;width:min(14rem,100% - var(--gutter) - 1.5rem);margin-left:var(--gutter)}.toc--rail .toc__inner{position:sticky;top:2rem;max-height:calc(100vh - 4rem);overflow-y:auto}.toc__title{margin:0 0 .5rem;color:var(--ink);font-size:.875rem;font-weight:650}.toc--rail a{border-left:2px solid var(--rule);padding-left:.875rem;margin-left:0}.toc--rail ul ul a{padding-left:1.5rem}.toc--rail ul ul{padding-left:0}.toc--rail a[aria-current=true]{border-left-color:var(--brand-2);color:var(--ink)}}.post-end{margin-top:clamp(4rem,8vw,5.5rem)}.post-end__inner{grid-column:text}.cite{border-top:1px solid var(--rule);padding-top:2rem}.cite h2{margin:0 0 .875rem;font-size:1.25rem;font-weight:600;font-stretch:110%;letter-spacing:-.01em}.cite__text{margin:0 0 1.25rem;color:var(--ink-2);font-family:var(--font-text);font-size:1.125rem;line-height:1.5;overflow-wrap:anywhere}.cite__text a{color:var(--ink)}.post-foot{display:flex;flex-wrap:wrap;align-items:center;justify-content:space-between;gap:1rem 2rem;margin-top:2.5rem;padding-top:1.75rem;border-top:1px solid var(--rule)}.tags{display:flex;flex-wrap:wrap;gap:.5rem;margin:0;padding:0;list-style:none}.share{display:flex;flex-wrap:wrap;gap:.5rem}@media(max-width:56rem){.statement,.intro__text{grid-column:1/-1}.intro__text{max-width:36rem}.post-row{grid-template-columns:minmax(0,1fr)4.5rem}.post-row time{grid-column:1/-1;padding:0}.post-row__main{grid-row:2}.post-row__art{grid-row:2}}@media(max-width:36rem){.site-header .wrap{min-height:3.75rem}.brand span{font-size:1.0625rem}.nav{gap:1rem;font-size:.875rem}.post-row{grid-template-columns:minmax(0,1fr);gap:.5rem;padding:1.5rem 0}.post-row__art{display:none}.post-row h3{font-size:1.3125rem}.site-footer .wrap{grid-template-columns:1fr}.card{--pad:1.375rem;border-radius:.875rem}.card__links .btn{flex:auto;justify-content:center}}@media print{.site-header,.site-footer,.toc,.share,.code__copy,.skip{display:none!important}.card{background:0 0;padding:0}.card__mask{display:none}}.progress{position:fixed;top:0;left:0;z-index:30;width:100%;height:3px;background:var(--brand-3);transform:scaleX(0);transform-origin:0 50%;pointer-events:none}.about__lead{max-width:var(--text)}.about__lead p:first-child{font-size:1.375rem;line-height:1.5;color:var(--ink)}.about-sec{margin-top:clamp(3.5rem,8vw,5.5rem)}.about-sec__title{margin:0 0 1.25rem;font-size:1.375rem;font-weight:600;font-stretch:112%;letter-spacing:-.012em}.people{margin:0;padding:0;list-style:none;border-top:1px solid var(--rule)}.person{display:grid;grid-template-columns:minmax(0,15rem)minmax(0,var(--text));gap:1rem 4rem;padding:2.25rem 0 2.5rem;border-bottom:1px solid var(--rule);scroll-margin-top:1.5rem}.person__id{grid-row:1/span 2}.person__photo{display:block;width:7.5rem;height:7.5rem;margin-bottom:1.125rem;border-radius:1.25rem;object-fit:cover;background:var(--panel)}.person__name{margin:0;font-size:1.5rem;font-weight:600;font-stretch:112%;line-height:1.15;letter-spacing:-.014em}.person__role{margin:.5rem 0 0;color:var(--ink-2);font-size:.9375rem;line-height:1.4}.person__bio{font-size:1.1875rem;line-height:1.6}.person__bio>*+*{margin-top:.875rem}.person__links{display:flex;flex-wrap:wrap;gap:.5rem;margin:.5rem 0 0;padding:0;list-style:none}.person__links a{display:inline-flex;align-items:center;gap:.4375rem;min-height:2.25rem;padding:.375rem .75rem;border:1px solid var(--rule-2);border-radius:.5625rem;color:var(--ink);font-size:.875rem;font-weight:560;text-decoration:none;transition:border-color .15s,background-color .15s}.person__links a:hover{border-color:var(--ink);background:var(--panel)}.person__links svg{width:.9375rem;height:.9375rem;flex:none}.about__text{max-width:var(--text);font-size:1.1875rem;line-height:1.6}@media(max-width:56rem){.person{grid-template-columns:minmax(0,1fr);gap:1rem;padding:1.75rem 0 2rem}.person__id{grid-row:auto}.person__photo{width:5.5rem;height:5.5rem;border-radius:1rem}}.prose{color:var(--ink);font-family:var(--font-text);font-size:1.25rem;line-height:1.62;font-optical-sizing:auto;font-kerning:normal;overflow-wrap:break-word}.prose--post{display:grid;grid-template-columns:subgrid;align-content:start;counter-reset:fig tbl}.prose--post>*{grid-column:text;min-width:0}.prose--post>.wide{grid-column:wide}.prose--page{max-width:var(--text)}.prose>*{margin-block:0}.prose>*+*{margin-top:1.15rem}.prose p{text-wrap:pretty}.prose strong{font-weight:600}.prose a{color:var(--ink);text-decoration-line:underline;text-decoration-color:var(--brand-2);text-decoration-thickness:.34em;text-underline-offset:-.14em;text-decoration-skip-ink:none}.prose a:hover{text-decoration-color:var(--brand-3)}.prose :is(h2,h3,h4){color:var(--ink);font-family:var(--font-display);text-wrap:balance;scroll-margin-top:1.5rem}.prose h2{font-size:1.75rem;font-weight:600;font-stretch:114%;line-height:1.12;letter-spacing:-.016em}.prose h3{font-size:1.3125rem;font-weight:600;font-stretch:108%;line-height:1.22;letter-spacing:-.01em}.prose h4{font-size:1.0625rem;font-weight:600;line-height:1.3}.prose>h2{margin-top:3.75rem}.prose>h3{margin-top:2.5rem}.prose>h4{margin-top:2rem}.prose>:is(h2,h3,h4)+*{margin-top:.75rem}.prose>:first-child{margin-top:0}.prose .anchor{margin-left:.35em;color:var(--ink-3);font-weight:400;text-decoration:none;opacity:0;transition:opacity .15s}.prose :is(h2,h3,h4):hover .anchor,.prose .anchor:focus-visible{opacity:1}.prose :is(ul,ol){padding-left:1.375em}.prose li+li{margin-top:.375em}.prose li>:is(ul,ol){margin-top:.375em}.prose li::marker{color:var(--ink-3)}.prose ol>li::marker{font-family:var(--font-display);font-size:.875em;font-weight:560}.prose blockquote{margin-inline:0;padding-left:1.25rem;border-left:2px solid var(--rule-2);color:var(--ink-2);font-style:italic}.prose blockquote>*+*{margin-top:.75em}.prose blockquote p{margin:0}.prose hr{height:.625rem;margin-block:3rem;border:0;background:linear-gradient(var(--ink),var(--ink))calc(50% - .875rem)0/.625rem .625rem no-repeat,linear-gradient(var(--brand),var(--brand))50% 0/.625rem .625rem no-repeat,linear-gradient(var(--panel-2),var(--panel-2))calc(50% + .875rem)0/.625rem .625rem no-repeat}.prose :not(pre)>code{padding:.1em .32em;border-radius:.3rem;background:#f0f4f1;color:var(--ink);font-family:var(--font-mono);font-size:.8em;font-variant-ligatures:none}.prose kbd{padding:.05em .4em;border:1px solid var(--rule-2);border-bottom-width:2px;border-radius:.3rem;font-family:var(--font-display);font-size:.78em;font-weight:560}.prose mark{background:var(--brand);color:inherit;padding:0 .1em;border-radius:.15em}.prose sub,.prose sup{line-height:0}.prose .katex{font-size:1.06em}.prose .katex-mathml{overflow:hidden}.prose .katex-display{margin:0;padding:.25rem 0;overflow-x:auto;overflow-y:hidden}.prose>.katex-display,.prose>p:has(>.katex-display:only-child){margin-top:1.5rem}.prose>.katex-display+*,.prose>p:has(>.katex-display:only-child)+*{margin-top:1.5rem}.prose figure{margin-inline:0}.prose>:where(.fig,.row,.video,.tbl,.code,.callout,.mermaid),.prose>:where(.fig,.row,.video,.tbl,.code,.callout,.mermaid)+*{margin-top:2.25rem}.fig img{display:block;width:100%;height:auto;margin-inline:auto}.fig.narrow img{width:min(100%,28rem)}.prose figcaption{max-width:var(--text);margin-top:1rem;color:var(--ink-2);font-family:var(--font-display);font-size:.9375rem;line-height:1.5;text-wrap:pretty}.prose figcaption .katex{font-size:1em}.prose figcaption a{color:inherit}.prose--post>:is(.fig,.row,.video)>figcaption::before{counter-increment:fig;content:"Figure " counter(fig);margin-right:.6em;color:var(--ink);font-weight:680}.prose--post>.tbl>figcaption::before{counter-increment:tbl;content:"Table " counter(tbl);margin-right:.6em;color:var(--ink);font-weight:680}.prose--nonum>*>figcaption::before{content:none!important}.row__items{display:grid;grid-template-columns:repeat(auto-fit,minmax(min(100%,13rem),1fr));gap:1.5rem 2rem}.row__items[style]{grid-template-columns:var(--cols)}.row__items>.fig{display:flex;flex-direction:column;justify-content:flex-end;margin:0}.row__items>.fig>figcaption{margin-top:.625rem;color:var(--ink-2);font-size:.875rem;text-align:center}.row>figcaption{margin-top:1.25rem}.video__frame:has(iframe){aspect-ratio:var(--ratio,16/9)}.video__frame iframe{display:block;width:100%;height:100%;border:0;border-radius:.75rem;background:var(--panel)}.video video{display:block;width:100%;height:auto;border-radius:.75rem;background:var(--panel)}.tbl>figcaption{margin:0 0 .875rem}.tbl__scroll{overflow-x:auto}.tbl table{width:100%;border-collapse:collapse;border-top:1.5px solid var(--ink);border-bottom:1.5px solid var(--ink);font-family:var(--font-display);font-size:.9375rem;line-height:1.4}.tbl th,.tbl td{padding:.625rem .875rem;text-align:left;vertical-align:top}.tbl th:first-child,.tbl td:first-child{padding-left:0}.tbl th:last-child,.tbl td:last-child{padding-right:0}.tbl thead th{border-bottom:1px solid var(--ink);font-weight:650;white-space:nowrap}.tbl tbody tr+tr td{border-top:1px solid var(--rule)}.tbl strong{font-weight:700}.tbl code{font-size:.875em}.code{overflow:hidden;border:1px solid var(--rule);border-radius:.75rem;background:#f7faf8}.code__bar{display:flex;align-items:center;justify-content:space-between;gap:1rem;min-height:2.5rem;padding:.25rem .5rem .25rem 1rem;border-bottom:1px solid var(--rule);color:var(--ink-2);font-family:var(--font-display);font-size:.8125rem;font-weight:560}.code__label--file{font-family:var(--font-mono);font-weight:450}.code__copy{margin-left:auto;padding:.3rem .625rem;border:1px solid transparent;border-radius:.4rem;background:0 0;color:var(--ink-2);font:inherit;cursor:pointer}.code__copy:hover{border-color:var(--rule-2);background:var(--paper);color:var(--ink)}.code pre{margin:0;padding:1rem 1.125rem 1.125rem;overflow-x:auto;background:0 0;font-family:var(--font-mono);font-size:.875rem;line-height:1.68;tab-size:4;font-variant-ligatures:none;font-feature-settings:"calt" 0}.code pre code{font:inherit}.code .lntable{border-spacing:0}.code .lntd{padding:0;vertical-align:top}.code .lntd:first-child pre{padding-right:0}.callout{padding:1rem 1.25rem 1.125rem;border-radius:.75rem;background:var(--panel);font-size:1.125rem;line-height:1.55}.callout__title{margin:0 0 .375rem;color:var(--ink);font-family:var(--font-display);font-size:.9375rem;font-weight:680}.callout__body>*{margin:0}.callout__body>*+*{margin-top:.75em}.callout__body .katex-display{margin:.5em 0}.callout--tip{background:#fff6e0}.callout--tip .callout__title{color:#7a5200}.callout--important{background:#f2effd}.callout--important .callout__title{color:#4b33a8}.callout--warning,.callout--caution{background:#fff2e8}.callout--warning .callout__title,.callout--caution .callout__title{color:#9a4310}.callout--formal{padding:.125rem 0 .125rem 1.25rem;border-left:2px solid var(--ink);border-radius:0;background:0 0;font-size:inherit;line-height:inherit}.callout--formal .callout__title{color:var(--ink);font-size:1rem}:is(.callout--theorem,.callout--proposition,.callout--lemma,.callout--corollary) .callout__body{font-style:italic}.callout--proof{border-left-color:var(--rule-2)}.callout--proof .callout__body::after{content:"";display:block;width:.6em;height:.6em;margin:.5em 0 0 auto;border:1.5px solid var(--ink-2)}details.callout>summary{display:flex;align-items:center;gap:.5rem;margin:0;list-style:none;cursor:pointer}details.callout>summary::-webkit-details-marker{display:none}details.callout>summary::after{content:"";width:.45rem;height:.45rem;margin-left:.25rem;border-right:1.5px solid;border-bottom:1.5px solid;transform:translateY(-.15rem)rotate(45deg);transition:transform .15s}details.callout[open]>summary::after{transform:translateY(.1rem)rotate(-135deg)}details.callout[open]>summary{margin-bottom:.375rem}.prose .footnote-ref{padding:0 .08em;font-family:var(--font-display);font-size:.72em;font-weight:650;text-decoration:none}.prose .footnotes{margin-top:3.5rem;padding-top:1.25rem;border-top:1px solid var(--rule);color:var(--ink-2);font-size:1rem;line-height:1.55}.prose .footnotes hr{display:none}.prose .footnotes ol{margin:0;padding-left:1.25em}.prose .footnotes li+li{margin-top:.5em}.prose .footnotes p{margin:0}.prose .footnote-backref{margin-left:.25em;text-decoration:none;font-family:var(--font-display)}.prose pre.mermaid{display:flex;justify-content:center;margin-top:2.25rem;padding:1.5rem;border-radius:.75rem;background:#f7faf8;font-size:.875rem;line-height:1.4}.prose pre.mermaid:not([data-processed]){color:transparent;min-height:8rem}@media(max-width:36rem){.prose{font-size:1.1875rem;line-height:1.6}.prose h2{font-size:1.5rem}.prose>h2{margin-top:3rem}.code pre{font-size:.8125rem}.prose figcaption{font-size:.875rem}}.stats{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));gap:0;border-top:1px solid var(--ink);border-bottom:1px solid var(--rule);font-family:var(--font-display)}.prose>.stats{margin-top:2.5rem}.prose>.stats+*{margin-top:2.5rem}.stat{padding:1.125rem 1.25rem 1.25rem;border-left:1px solid var(--rule)}.stat:first-child{padding-left:0;border-left:0}@media(max-width:48rem){.stats{grid-template-columns:repeat(2,minmax(0,1fr))}.stat:nth-child(odd){padding-left:0;border-left:0}.stat:nth-child(n+3){border-top:1px solid var(--rule)}.stat{padding:1rem 0 1.125rem 1rem}}.stat>*{margin:0}.stat__value{color:var(--ink);font-size:clamp(2.25rem,4.5vw,3rem);font-weight:560;font-stretch:112%;line-height:1;letter-spacing:-.02em}.stat__label{margin-top:.625rem!important;color:var(--ink);font-size:.9375rem;font-weight:600;line-height:1.35}.stat__note{margin-top:.25rem!important;color:var(--ink-3);font-size:.8125rem;line-height:1.4}:root{--viz-1:#9aa19c;--viz-2:#2a78d6;--viz-3:#1f9a5c;--viz-4:#d9663a}.chart__plot{position:relative;min-height:12rem}.viz{display:block;width:100%;height:auto;overflow:visible;font-family:var(--font-display)}.viz-grid{stroke:var(--rule);stroke-width:1}.viz-base{stroke:var(--rule-2);stroke-width:1}.viz-tick{fill:var(--ink-3);font-size:11.5px}.viz-axis-title{fill:var(--ink-2);font-size:12px;font-weight:560}.viz-group{fill:var(--ink);font-size:12.5px;font-weight:600}.viz-label{fill:var(--ink);font-size:12px;font-weight:640}.viz-end{fill:var(--ink-2);font-size:12px;font-weight:560}.viz-band{fill:transparent}.viz-hit{cursor:default;outline:none}.viz-hit:hover .viz-band,.viz-hit:focus-visible .viz-band{fill:rgb(20 26 22/4%)}.viz-hit:focus-visible .viz-band{stroke:var(--ink);stroke-width:1.5}.viz-line{stroke-width:2;stroke-linejoin:round;stroke-linecap:round}.viz-cross{stroke:var(--ink-3);stroke-width:1;opacity:0}.viz-dot{stroke:var(--paper);stroke-width:2;opacity:0}.viz.is-hover .viz-cross,.viz.is-hover .viz-dot{opacity:1}.viz-overlay{fill:transparent;outline:none}.viz-overlay:focus-visible{stroke:var(--ink);stroke-width:1.5}@media(prefers-reduced-motion:no-preference){.js .chart:not(.is-playing) .viz-bar{transform-box:fill-box;transform-origin:50% 100%;transform:scaleY(0)}.js .chart:not(.is-playing) .viz-line{stroke-dasharray:1;stroke-dashoffset:1}.js:not(.motion-ready) .chart .viz-bar{animation:reveal-fallback 0s 2.5s forwards}.js:not(.motion-ready) .chart .viz-line{stroke-dasharray:none}.chart.is-playing .viz-bar{transform-box:fill-box;transform-origin:50% 100%;animation:bar-grow .8s cubic-bezier(.2,.8,.2,1)backwards;animation-delay:var(--d,0ms)}.chart.is-playing .viz-line{stroke-dasharray:1;animation:line-draw 1.4s cubic-bezier(.4,0,.2,1)backwards}@keyframes bar-grow{from{transform:scaleY(0)}}@keyframes line-draw{from{stroke-dashoffset:1}}}.viz-legend{display:flex;flex-wrap:wrap;gap:.375rem 1.25rem;margin:0 0 .875rem;padding:0;list-style:none;color:var(--ink-2);font-family:var(--font-display);font-size:.8125rem;font-weight:560}.viz-legend li{display:inline-flex;align-items:center;gap:.5rem;margin:0}.viz-key{display:inline-block;background:var(--c)}.viz-key--rect{width:.75rem;height:.75rem;border-radius:3px}.viz-key--line{width:1rem;height:2px;border-radius:1px}.viz-tip{position:absolute;top:0;left:0;z-index:20;min-width:9rem;padding:.625rem .75rem;border-radius:.5rem;background:var(--ink);color:#fff;font-family:var(--font-display);font-size:.8125rem;line-height:1.35;pointer-events:none;opacity:0;transition:opacity .12s}.viz-tip.is-on{opacity:1}.viz-tip p{margin:0}.viz-tip__title{margin-bottom:.375rem!important;color:rgb(255 255 255/.7);font-weight:560}.viz-tip__row{display:flex;align-items:center;gap:.5rem}.viz-tip__row+.viz-tip__row{margin-top:.25rem!important}.viz-tip__row i{width:.75rem;height:2px;border-radius:1px}.viz-tip__row strong{min-width:3.25rem;font-weight:650}.viz-tip__row span{color:rgb(255 255 255/.75)}.chart__table{margin-top:1rem;font-family:var(--font-display);font-size:.875rem}.chart__table summary{color:var(--ink-2);font-weight:560;cursor:pointer;width:max-content}.chart__table summary:hover{color:var(--ink)}.chart__table table{width:100%;margin-top:.75rem;border-collapse:collapse;border-top:1.5px solid var(--ink);border-bottom:1.5px solid var(--ink)}.chart__table th,.chart__table td{padding:.4rem .75rem;text-align:left}.chart__table th:first-child,.chart__table td:first-child{padding-left:0}.chart__table th:last-child,.chart__table td:last-child{padding-right:0}.chart__table thead th{border-bottom:1px solid var(--ink);font-weight:650}.chart__table tbody tr+tr td{border-top:1px solid var(--rule)}.screen__panel{padding:clamp(1.125rem,3vw,1.75rem);border-radius:var(--radius);background:var(--panel);font-family:var(--font-display)}.screen__head{display:flex;flex-wrap:wrap;align-items:center;justify-content:space-between;gap:.75rem 1.5rem;margin-bottom:1rem}.screen__readout{margin:0;color:var(--ink-2);font-size:1rem}.screen__readout strong{color:var(--ink);font-size:1.5rem;font-weight:600;font-stretch:110%}.screen__control{display:flex;align-items:center;gap:.75rem;color:var(--ink-2);font-size:.875rem;font-weight:560}.screen__control input{width:min(14rem,50vw);accent-color:var(--ink)}.screen__svg{display:block;width:100%}.sc-track{fill:rgb(255 255 255/.7)}.sc-bound{fill:var(--panel-2);transition:fill .15s}.sc-bound.is-live{fill:var(--brand-3)}.sc-score{fill:var(--ink)}.sc-tau{stroke:var(--ink);stroke-width:2}.screen__legend{display:flex;flex-wrap:wrap;gap:.375rem 1.5rem;margin:1rem 0 0;padding:0;list-style:none;color:var(--ink-2);font-size:.8125rem}.screen__legend li{display:inline-flex;align-items:center;gap:.5rem;margin:0}.screen__legend .k{display:inline-block}.k--bound{width:1rem;height:.5rem;border-radius:2px;background:var(--brand-3)}.k--score{width:3px;height:.75rem;border-radius:1px;background:var(--ink)}.k--tau{width:2px;height:.875rem;background:var(--ink)}.screen__help{margin:.625rem 0 0;color:var(--ink-3);font-size:.8125rem;line-height:1.45}.prose>:where(.stats,.chart,.screen){margin-top:2.25rem}.prose>:where(.chart,.screen)+*{margin-top:2.25rem}.prose--post>:is(.chart,.screen)>figcaption::before{counter-increment:fig;content:"Figure " counter(fig);margin-right:.6em;color:var(--ink);font-weight:680}.chroma{color:var(--ink)}.chroma .line{display:block}.chroma .hl{display:block;margin-inline:-1.125rem;padding-inline:1.125rem;background:#ddf5e3}.chroma :is(.ln,.lnt){margin-right:1.25em;color:#a7b1aa;user-select:none}.chroma .err{color:#9b2c1a}.chroma :is(.c,.ch,.cm,.c1,.cs,.cpf){color:#7b857e;font-style:italic}.chroma :is(.cp){color:#7b857e}.chroma :is(.k,.kc,.kd,.kn,.kp,.kr){color:#1a1814;font-weight:640}.chroma .kt{color:#8a560c}.chroma :is(.nf,.fm){color:var(--ink);font-weight:560}.chroma :is(.nc,.nn){color:#8a560c;font-weight:560}.chroma :is(.nb,.bp){color:#8a560c}.chroma :is(.nd,.nl){color:#7a4fb0}.chroma .na{color:#1a1814}.chroma :is(.nt){color:#1a1814}.chroma :is(.nv,.vc,.vg,.vi){color:#2f6f6a}.chroma :is(.s,.sa,.sb,.sc,.dl,.sd,.s2,.se,.sh,.si,.sx,.sr,.s1,.ss){color:#3c7a3b}.chroma .se{font-weight:560}.chroma :is(.m,.mb,.mf,.mh,.mi,.il,.mo){color:#b0471f}.chroma .o{color:var(--ink-2)}.chroma .ow{color:#1a1814;font-weight:640}.chroma .p{color:var(--ink-2)}.chroma .gd{display:inline-block;width:100%;background:#fbe9e4;color:#9b2c1a}.chroma .gi{display:inline-block;width:100%;background:#e6f4ea;color:#1e6b35}.chroma :is(.gh,.gu){color:#1a1814;font-weight:640}.chroma .gp{color:var(--ink-3);user-select:none}.chroma .go{color:var(--ink-2)}.chroma .ge{font-style:italic}.chroma .gs{font-weight:640}