@font-face{font-family:Libertinus Serif;font-style:normal;font-display:swap;font-weight:400;src:url(/_astro/libertinus-serif-latin-400-normal.UuLrF836.woff2)format("woff2"),url(/_astro/libertinus-serif-latin-400-normal.23LEb6vZ.woff)format("woff")}@font-face{font-family:Libertinus Serif;font-style:italic;font-display:swap;font-weight:400;src:url(/_astro/libertinus-serif-latin-400-italic.B2pw30VD.woff2)format("woff2"),url(/_astro/libertinus-serif-latin-400-italic.Yo4WIJgi.woff)format("woff")}:root{--paper:#faf8f3;--ink:#141311;--muted:#6b6760;--rule:#d9d4c8;--accent:#8a1c1c;--cursor:#8a1c1c1a;color-scheme:light}@media (prefers-color-scheme:dark){:root:not([data-theme=light]){--paper:#151412;--ink:#e6e1d6;--muted:#9a948a;--rule:#2e2c28;--accent:#d05a5a;--cursor:#d05a5a24;color-scheme:dark}}:root[data-theme=dark]{--paper:#151412;--ink:#e6e1d6;--muted:#9a948a;--rule:#2e2c28;--accent:#d05a5a;--cursor:#d05a5a24;color-scheme:dark}html{background:var(--paper);color:var(--ink);font-synthesis-weight:none;font-family:Libertinus Serif,Georgia,Times New Roman,serif;font-size:17px;line-height:1.5}b,strong{letter-spacing:.04em;font-variant-caps:small-caps;font-weight:400}body{margin:0}.mono{font-family:ui-monospace,Cascadia Mono,JetBrains Mono,Menlo,Consolas,monospace;font-size:.82em}a{color:var(--accent);text-decoration:none}a:hover,a:focus-visible{text-underline-offset:.15em;text-decoration:underline}h1,h2,h3{margin:1.6em 0 .5em;font-weight:400;line-height:1.2}p{text-wrap:pretty}h1{font-size:1.6rem}h2{font-size:1.25rem}h3{font-size:1.05rem;font-style:italic}.sc{letter-spacing:.04em;font-variant-caps:small-caps}hr{border:0;border-top:1px solid var(--rule);margin:2rem 0}main{isolation:isolate;max-width:72ch;margin:0 auto;padding:3rem 1.25rem 4rem;position:relative}footer{max-width:72ch;color:var(--muted);margin:0 auto;padding:0 1.25rem 3rem;font-size:.85rem}footer .mono{font-size:.8rem}.abstract{border-bottom:1px solid var(--rule);margin-bottom:1.5rem;padding-bottom:1.5rem}.abstract:after{content:"";clear:both;display:block}.abstract h1{margin:0 0 .2rem;font-size:1.9rem}.abstract .affil{color:var(--muted);margin:0 0 1rem}.abstract .lede{margin:0 0 .8rem}.abstract .line{margin:.25rem 0}.abstract .line b{margin-right:.5em}.abstract .line a+a:before,.crumbs a+a:before,.linkrow a+a:before{content:" · ";color:var(--muted)}.signature{width:180px;height:auto;color:var(--ink);display:block}.sig-float{shape-margin:1rem}@media (width>=640px){.sig-float{float:right;margin:.2rem 0 .4rem 1.25rem}}@media (width<=639.98px){.abstract{flex-direction:column;display:flex}.sig-float{order:99;margin:1rem 0 0}}.filter{color:var(--muted);align-items:baseline;gap:.5em;margin:0 0 1rem;display:flex}.filter input{border:0;border-bottom:1px solid var(--rule);color:var(--ink);font:inherit;background:0 0;flex:1;padding:.1em 0}.filter input:focus{border-bottom-color:var(--accent);outline:none}.index-section{margin:1.75rem 0}.index-section h2{align-items:center;gap:.6em;margin:0 0 .5rem;font-size:1.15rem;display:flex}.index-section h2 .figure{width:66px;height:46px;color:var(--accent);flex:none}.index-section h2 .sec{color:var(--muted)}.index-section .intro{color:var(--muted);margin:0 0 .6rem;font-size:.95rem}.index-section[hidden]{display:none}.entries{margin:0;padding:0;list-style:none}.entry{border-radius:2px;grid-template-columns:3.2em 1fr auto;align-items:baseline;column-gap:.75em;margin:0 -.4em;padding:.18em .4em;display:grid}.entry .n{color:var(--muted);text-align:right}.entry .body{min-width:0}.entry .body .desc{color:var(--muted)}.entry .body .desc:before{content:" · "}.entry .stamp{color:var(--muted);white-space:nowrap}.entry.is-cursor{background:var(--cursor)}.entry.is-cursor .n{color:var(--accent)}.entry[hidden]{display:none}@media (width<=639.98px){.entry{grid-template-columns:2.6em 1fr}.entry .stamp{grid-column:2}.entry .body .desc{display:block}.entry .body .desc:before{content:none}}.article{counter-reset:h2 fig}.article .meta-line{color:var(--muted);margin:-.4rem 0 1.5rem}.article h2{counter-increment:h2;counter-reset:h3}.article h2:before{content:counter(h2) ". ";color:var(--muted)}.article h3{counter-increment:h3}.article h3:before{content:counter(h2) "." counter(h3) " ";color:var(--muted);font-style:normal}.article figure{counter-increment:fig;text-align:center;margin:1.5rem 0}.article figcaption{color:var(--muted);margin-top:.4rem;font-size:.9rem}.article figcaption:before{content:"Fig. " counter(fig) ". ";color:var(--accent)}.article .footnotes{border-top:1px solid var(--rule);margin-top:2.5rem;font-size:.9rem}.article .footnotes>h2,.article .footnotes .sr-only{display:none}.article .footnotes:before{content:"References";letter-spacing:.04em;margin:.8rem 0 .3rem;font-variant-caps:small-caps;display:block}.article .footnotes ol{padding-left:1.6em}.article sup a{font-family:ui-monospace,monospace;font-size:.75em}.article sup a:before{content:"["}.article sup a:after{content:"]"}.header-block{border:1px solid var(--rule);grid-template-columns:max-content 1fr;gap:.15em 1em;margin:0 0 1.5rem;padding:.6rem .9rem;font-size:.95rem;display:grid}.header-block dt{letter-spacing:.04em;color:var(--muted);font-variant-caps:small-caps}.header-block dd{margin:0}.see-also{border-top:1px solid var(--rule);margin-top:2.5rem;padding-top:.8rem;font-size:.95rem}.article .page-figure{width:120px;height:84px;color:var(--accent);margin:0 0 1rem;display:block}.article img{max-width:100%;height:auto}.article pre{border:1px solid var(--rule);padding:.8rem 1rem;font-size:.85rem;overflow-x:auto}.article code{font-family:ui-monospace,Cascadia Mono,Menlo,Consolas,monospace;font-size:.9em}.article table{border-collapse:collapse}.article th,.article td{border-bottom:1px solid var(--rule);text-align:left;padding:.25em .6em}dialog#vim-help{border:1px solid var(--rule);background:var(--paper);color:var(--ink);max-width:36ch;padding:1rem 1.25rem;font-size:.95rem}dialog#vim-help::backdrop{background:#00000059}dialog#vim-help table{border-collapse:collapse;width:100%}dialog#vim-help td{vertical-align:top;padding:.15em .4em}dialog#vim-help td:first-child{color:var(--accent);white-space:nowrap;font-family:ui-monospace,monospace}.sr-only{clip:rect(0 0 0 0);width:1px;height:1px;position:absolute;overflow:hidden}.stain{z-index:-1;pointer-events:none;color:#6b4423;fill:currentColor;position:absolute}@media (prefers-color-scheme:dark){:root:not([data-theme=light]) .stain{display:none}}:root[data-theme=dark] .stain{display:none}.ornament{vertical-align:-.15em;fill:currentColor;width:auto;height:1em;display:inline-block}.divider{text-align:center;color:var(--muted);margin:1.5rem 0 0;display:block}.divider .ornament{height:1.1em}.article .end-mark{text-align:center;color:var(--muted);margin:2.5rem 0 0;display:block}.article .end-mark .ornament{height:1.8em}.see-also .ornament{height:.9em;color:var(--accent);margin-right:.3em}.article .katex-display{padding:.2rem 0;overflow:auto hidden}.article .katex{font-size:1.05em}.tikz{text-align:center;color:var(--ink);margin:1.5rem 0}.tikz svg{max-width:100%;height:auto}.tikz-error{border:1px dashed var(--accent);color:var(--accent);padding:.5rem .8rem;font-size:.9rem}.qed{float:right;border:1.5px solid;width:.55em;height:.55em;margin:.35em 0 0 .5em}p:has(>.qed:only-child){text-align:right;margin-top:-.6rem}p:has(>.qed:only-child) .qed{float:none;margin:0;display:inline-block}.article .center{text-align:center}@media (width>=60rem){.article h2{margin-left:-2.75rem}.article h3{margin-left:-1.75rem}.article h4{margin-left:-.9rem}.article p>strong:first-child{margin-left:-1rem}}a.is-cursor{background:var(--cursor);outline:2px solid var(--cursor);outline-offset:1px;border-radius:2px}