/*!Site stylesheet. Portions of base.css, syntax.css and site.css are adapted
from PaperMod: MIT, Copyright (c) 2020 nanxiaobei and adityatelange,
Copyright (c) 2021-2026 adityatelange. See /licenses/THIRD_PARTY_NOTICES.txt*/*,*::before,*::after{box-sizing:border-box}html{-webkit-tap-highlight-color:transparent;overflow-y:scroll;-webkit-text-size-adjust:100%;text-size-adjust:100%}body{margin:0;overflow-wrap:break-word}h1,h2,h3,h4,h5,h6,p,figure,blockquote{margin:0}ul,ol{margin:0;padding:0}button,input,summary{font:inherit;color:inherit}button,summary{cursor:pointer}img,svg{display:block;max-width:100%}[hidden]{display:none!important}table{display:block;width:100%;border-collapse:collapse;border-spacing:0;overflow-x:auto}.chroma{color:var(--ink)}.chroma .line{display:flex}.chroma .k,.chroma .kp,.chroma .kr,.chroma .kd,.chroma .kn,.chroma .kt,.chroma .kc,.chroma .nt,.chroma .nd{font-weight:700}.chroma .s,.chroma .sb,.chroma .sc,.chroma .s2,.chroma .si,.chroma .sx,.chroma .s1,.chroma .ss,.chroma .sa,.chroma .dl,.chroma .se,.chroma .sr{color:var(--ink-2)}.chroma .c,.chroma .ch,.chroma .cm,.chroma .c1,.chroma .cs,.chroma .cp,.chroma .cpf,.chroma .sd,.chroma .sh{color:var(--ink-3);font-style:italic}.chroma .err,.chroma .gr,.chroma .gt,.chroma .gd{color:var(--pencil)}.chroma .gi{font-weight:700}.chroma .gh,.chroma .gu,.chroma .gs{font-weight:700}.chroma .ge{font-style:italic}.chroma .gl{text-decoration:underline}@font-face{font-family:paper serif;font-style:normal;font-weight:400;font-display:swap;src:url(/fonts/paper-serif-roman-latin.woff2)format("woff2")}@font-face{font-family:paper serif;font-style:italic;font-weight:400;font-display:swap;src:url(/fonts/paper-serif-italic-latin.woff2)format("woff2")}@font-face{font-family:paper serif;font-style:normal;font-weight:700;font-display:swap;src:url(/fonts/paper-serif-bold-latin.woff2)format("woff2")}@font-face{font-family:paper serif;font-style:italic;font-weight:700;font-display:swap;src:url(/fonts/paper-serif-bolditalic-latin.woff2)format("woff2")}@font-face{font-family:paper mono;font-style:normal;font-weight:400;font-display:swap;src:url(/fonts/paper-typewriter-latin.woff2)format("woff2")}:root{--paper:#fafaf9;--paper-2:#efefed;--ink:#1b1a17;--ink-2:#47443d;--ink-3:#615c52;--rule:#dad5ca;--rule-strong:#8a8478;--pencil:#a8281b;--pencil-wash:rgb(168 40 27 / 7%);--scrim:rgb(27 26 23 / 38%);--serif:"Paper Serif", "Latin Modern Roman", "CMU Serif", "Times New Roman", serif;--mono:"Paper Mono", "Latin Modern Mono", "CMU Typewriter Text", ui-monospace, Menlo, monospace;--fs-meta:0.875rem;--fs-small:1rem;--fs-body:1.25rem;--fs-lead:1.125rem;--fs-h3:1.25rem;--fs-h2:1.5rem;--fs-entry:1.375rem;--fs-title:clamp(2.1rem, 1.35rem + 2.4vw, 3.25rem);--fs-display:clamp(2.5rem, 1.4rem + 3.6vw, 4.25rem);--lh-body:1.6;--lh-tight:1.2;--s1:0.25rem;--s2:0.5rem;--s3:0.75rem;--s4:1rem;--s5:1.5rem;--s6:2rem;--s7:3rem;--s8:4rem;--s9:6rem;--measure:40rem;--wide:64rem;--shell:80rem;--spine:9rem;--gutter:var(--s7);--hair:1px solid var(--rule);--hair-ink:1px solid var(--ink);--quick:120ms;--arrive:180ms;--ease:cubic-bezier(0.2, 0, 0, 1);color-scheme:light}[data-theme=dark]{--paper:#161513;--paper-2:#211f1b;--ink:#ebe7df;--ink-2:#c4bfb4;--ink-3:#a39d91;--rule:#36332d;--rule-strong:#777166;--pencil:#f0846f;--pencil-wash:rgb(240 132 111 / 10%);--scrim:rgb(0 0 0 / 55%);color-scheme:dark}@media(prefers-color-scheme:dark){:root:not([data-theme=light]){--paper:#161513;--paper-2:#211f1b;--ink:#ebe7df;--ink-2:#c4bfb4;--ink-3:#a39d91;--rule:#36332d;--rule-strong:#777166;--pencil:#f0846f;--pencil-wash:rgb(240 132 111 / 10%);--scrim:rgb(0 0 0 / 55%);color-scheme:dark}}html{scroll-behavior:smooth;scrollbar-gutter:stable}body{background:var(--paper);color:var(--ink);font:var(--fs-body)/var(--lh-body)var(--serif);font-kerning:normal;font-variant-ligatures:common-ligatures;-webkit-font-smoothing:antialiased;text-rendering:optimizeLegibility}h1,h2,h3,h4,h5,h6{line-height:var(--lh-tight);font-weight:700}::selection{background:color-mix(in srgb,var(--pencil) 22%,var(--paper));color:var(--ink)}a{color:inherit;text-decoration:underline;text-decoration-color:var(--rule-strong);text-decoration-thickness:1px;text-underline-offset:.18em;transition:text-decoration-color var(--quick)var(--ease)}a:hover{text-decoration-color:var(--pencil);text-decoration-thickness:2px}:focus-visible{outline:2px solid var(--pencil);outline-offset:3px}:target{scroll-margin-top:var(--s6)}code,kbd,pre{font-family:var(--mono)}button{min-height:2.75rem;padding:var(--s2)var(--s4);border:1px solid var(--rule-strong);border-radius:0;background:0 0;color:var(--ink);font:var(--fs-small)/1.2 var(--serif);text-transform:lowercase;font-variant-caps:small-caps;letter-spacing:.06em}button:hover:not(:disabled){border-color:var(--ink)}button:active:not(:disabled){background:var(--paper-2)}button:disabled{cursor:default;color:var(--ink-3);border-color:var(--rule)}.sr-only{position:absolute;width:1px;height:1px;padding:0;margin:-1px;overflow:hidden;clip:rect(0,0,0,0);white-space:nowrap;border:0}.sc,.mono-label{font-family:var(--serif);text-transform:lowercase;font-variant-caps:small-caps;letter-spacing:.06em}.mono-label{font-size:1.0625rem;color:var(--ink-2)}.tt{font:var(--fs-meta)/1.5 var(--mono);color:var(--ink-3)}.skip-link{position:absolute;top:-100%;left:var(--s4);z-index:100;padding:var(--s2)var(--s4);background:var(--ink);color:var(--paper);font-size:var(--fs-small);text-decoration:none}.skip-link:focus{top:var(--s2)}.masthead{padding:0 var(--gutter)}.masthead-inner{display:flex;align-items:center;justify-content:space-between;gap:var(--s5);max-width:var(--shell);min-height:4.5rem;margin:0 auto;border-bottom:var(--hair-ink)}.wordmark{font-size:1.375rem;font-variant-caps:small-caps;letter-spacing:.05em;text-decoration:none;white-space:nowrap}.wordmark:hover{text-decoration:none;color:var(--ink-2)}.mainnav{display:flex;align-items:center;gap:var(--s5);margin-left:auto;margin-right:var(--s1)}.mainnav a{padding:var(--s2)0;font-size:1.125rem;text-transform:lowercase;font-variant-caps:small-caps;letter-spacing:.07em;text-decoration:none}.mainnav a:hover{text-decoration:underline;text-decoration-color:var(--rule-strong);text-decoration-thickness:1px}.mainnav a[aria-current=page]{text-decoration:underline;text-decoration-color:var(--pencil);text-decoration-thickness:2px;text-underline-offset:.35em}button#theme-toggle{min-width:0;padding:var(--s1)0 var(--s1)var(--s5);border:0;border-left:var(--hair);font-size:1.125rem;letter-spacing:.07em;color:var(--ink-2)}button#theme-toggle:hover{color:var(--ink)}button#theme-toggle:active{background:0 0}.theme-label-light{display:none}[data-theme=dark] .theme-label-dark{display:none}[data-theme=dark] .theme-label-light{display:inline}.main{min-height:calc(100vh - 14rem)}.page{width:min(calc(100% - 2 * var(--gutter)),var(--wide));margin-inline:auto}.spine-row{display:grid;grid-template-columns:var(--spine)minmax(0,1fr);column-gap:var(--s6);align-items:baseline}.spine-row>:first-child{grid-column:1}.spine-row>.spine-body{grid-column:2;max-width:var(--measure)}.page-header{padding:var(--s8)0 var(--s6)}.page-header .spine-label{padding-top:.9rem}.page-header h1{font-size:var(--fs-title);font-weight:400;letter-spacing:-.005em}.page-header .lede,.post-description{margin-top:var(--s4);font-size:var(--fs-lead);color:var(--ink-2)}.page-header .facts{margin-top:var(--s4)}.home-intro{padding:var(--s8)0 var(--s7)}.home-intro h1{font-size:var(--fs-display);font-weight:400;line-height:1.05;letter-spacing:-.01em}.home-intro .lede{max-width:34rem;margin-top:var(--s5);font-size:var(--fs-lead);line-height:1.6;color:var(--ink-2)}.home-intro .lede strong{color:var(--ink);font-weight:400;font-style:italic}.facts{display:flex;flex-wrap:wrap;gap:var(--s1)var(--s5);margin-top:var(--s5)}.facts a{color:inherit}.subject-links{padding:var(--s4)0 var(--s6);border-top:var(--hair)}.subject-links ul{display:flex;flex-wrap:wrap;gap:var(--s2)var(--s5);list-style:none}.subject-links a{text-decoration-color:var(--rule)}.subject-links a:hover{text-decoration-color:var(--pencil)}.index-toolbar{padding:var(--s5)0 var(--s3);border-bottom:var(--hair-ink)}.index-toolbar .spine-body{display:flex;align-items:baseline;justify-content:space-between;gap:var(--s4);max-width:none}.index-toolbar h2{font-size:var(--fs-h2)}.search-trigger{display:inline-flex;align-items:center;gap:var(--s4);min-width:15rem;justify-content:space-between;padding:var(--s2)var(--s3);border-color:var(--rule-strong);font-size:1.0625rem;text-transform:none;font-variant-caps:normal;letter-spacing:0;color:var(--ink-2);text-align:left}.search-trigger:hover:not(:disabled){color:var(--ink)}.search-trigger kbd{font:var(--fs-meta)var(--mono);color:var(--ink-3)}.noscript-note{padding:var(--s4)0;color:var(--ink-2);font-size:var(--fs-small)}.index-year{padding-top:var(--s6)}.index-year-head{padding-bottom:var(--s2)}.index-year h2{font-size:var(--fs-h2)}.index-year .count{justify-self:start}.index-list{list-style:none}.index-entry{border-bottom:var(--hair)}.index-entry:first-child{border-top:var(--hair)}.index-entry a.entry-link{padding:var(--s5)0 calc(var(--s5) + 2px);text-decoration:none}.entry-date{padding-top:.35rem;white-space:nowrap}.entry-copy,.entry-title,.entry-summary{display:block}.entry-title{font-size:var(--fs-entry);font-weight:700;line-height:1.25;text-wrap:balance;text-decoration:underline;text-decoration-color:transparent;text-decoration-thickness:2px;text-underline-offset:.18em;transition:text-decoration-color var(--quick)var(--ease)}.entry-link:hover .entry-title,.entry-link:focus-visible .entry-title{text-decoration-color:var(--pencil)}.entry-summary{margin-top:var(--s2);font-size:var(--fs-lead);line-height:1.55;color:var(--ink-2);text-wrap:pretty}.entry-tags{display:flex;flex-wrap:wrap;gap:0 var(--s4);margin-top:var(--s3)}.entry-link:focus-visible{outline-offset:6px}.pagination{padding-top:var(--s5)}.spine-row>.pagination-links{display:flex;gap:var(--s5);max-width:none}.pagination a{font-size:1.125rem;text-transform:lowercase;font-variant-caps:small-caps;letter-spacing:.06em}.pagination .next{margin-left:auto}.article-layout{width:min(calc(100% - 2 * var(--gutter)),var(--measure));margin-inline:auto}.article-layout .post{min-width:0}.post-head{padding:var(--s8)0 0;text-align:center}.post-head h1{max-width:46rem;margin:0 auto var(--s5);font-size:var(--fs-title);font-weight:400;line-height:1.15;text-wrap:balance}.post-author{font-size:1.375rem;line-height:1.4}.post-date{margin-top:var(--s1);font-size:var(--fs-lead)}.post-abstract{margin:var(--s6)var(--s6)0;text-align:left}.post-abstract h2{margin-bottom:var(--s2);font-size:var(--fs-small);text-align:center;letter-spacing:.01em}.post-lede{font-size:var(--fs-lead);line-height:1.55}.post-meta{display:flex;flex-wrap:wrap;justify-content:center;gap:var(--s1)var(--s4);margin-top:var(--s6)}.post-meta a{color:var(--ink-3);text-decoration-color:var(--rule)}.post-meta a:hover{color:var(--ink);text-decoration-color:var(--pencil)}.paper-links{display:flex;flex-wrap:wrap;justify-content:center;gap:var(--s1)var(--s5);margin:var(--s3)0 var(--s6);font-size:var(--fs-small)}.paper-contents{margin:0 0 var(--s6);border-block:var(--hair)}.paper-contents summary{display:flex;align-items:baseline;gap:var(--s3);min-height:2.75rem;padding:var(--s3)0;font-weight:700;font-size:var(--fs-small);list-style:none}.paper-contents summary::-webkit-details-marker{display:none}.paper-contents summary::after{content:"show";font:var(--fs-meta)var(--mono);font-weight:400;color:var(--ink-3)}.paper-contents[open] summary::after{content:"hide"}.toc-rail{padding:0 0 var(--s4);font-size:var(--fs-small);line-height:1.45}.toc-rail ul{list-style:none}.toc-rail #TableOfContents>ul{counter-reset:toc}.toc-rail #TableOfContents>ul>li:not(:has(>a[href="#references"],>a[href="#changelog"])){counter-increment:toc}.toc-rail #TableOfContents>ul>li>a::before{content:counter(toc);display:inline-block;min-width:1.75rem}.toc-rail #TableOfContents>ul>li:has(>a[href="#references"],>a[href="#changelog"])>a::before{content:""}.toc-rail ul ul{padding-left:1.75rem;color:var(--ink-2)}.toc-rail a{display:block;padding:.3rem 0;text-decoration:none}.toc-rail a:hover{text-decoration:underline;text-decoration-color:var(--pencil)}.toc-rail a.active{color:var(--pencil)}.post-content{color:var(--ink);overflow-wrap:break-word}.post-body{padding-bottom:var(--s6);counter-reset:section}.post-content p{margin:0 0 1.25em}.post-content>p:first-child>em:only-child{color:var(--ink-2)}.post-content h2{position:relative;margin:2.4em 0 .75em;font-size:var(--fs-h2)}.post-content h3{margin:1.9em 0 .6em;font-size:var(--fs-h3)}.post-content h4,.post-content h5,.post-content h6{margin:1.6em 0 .5em;font-size:var(--fs-body);font-style:italic}.post-content h2,.post-content h3,.post-content h4{text-wrap:balance}.post-body>h2:not(#references,#changelog){counter-increment:section}.post-body>h2:not(#references,#changelog)::before{content:counter(section);display:inline-block;min-width:2em}.post-content a{-webkit-box-decoration-break:clone;box-decoration-break:clone}.post-content strong{font-weight:700}.post-content ul,.post-content ol{margin:0 0 1.25em;padding-inline-start:1.5em}.post-content li{margin:.35em 0}.post-content li::marker{color:var(--ink-3)}.post-content li p{margin-bottom:0}.post-content hr{width:3rem;height:0;margin:var(--s7)auto;border:0;border-top:var(--hair-ink)}.post-content blockquote{margin:1.6em 0;padding-inline:var(--s6);color:var(--ink-2);font-size:var(--fs-lead)}.post-content blockquote p:last-child{margin:0}.post-content figure{margin:var(--s6)0}.post-content figcaption{margin-top:var(--s2);color:var(--ink-2);font-size:var(--fs-small)}.post-content img{height:auto;margin-inline:auto}.post-content .katex{font-size:1em}.post-content .katex-display{max-width:100%;margin:1.5em 0;padding:var(--s2)0;overflow-x:auto;overflow-y:hidden}.post-content .katex-display>.katex{text-align:center}.post-content a.citation-link{padding:0 .12em;outline:1px solid var(--rule-strong);outline-offset:-1px;text-decoration:none;white-space:nowrap}.post-content a.citation-link:hover{outline-color:var(--pencil)}.post-content a.citation-link:focus-visible{outline:2px solid var(--pencil);outline-offset:2px}.post-content a[href^="#ref-"]{white-space:nowrap}#references,#changelog{scroll-margin-top:var(--s6)}.post-body>h2#references~*,.post-body>h2#changelog~*{font-size:var(--fs-lead)}.post-content .bibliography-entry{position:relative;margin:0 0 var(--s3);padding:var(--s2)var(--s3)var(--s2)2rem;text-indent:-2rem;padding-left:calc(2rem + var(--s3));line-height:1.5;overflow-wrap:anywhere}.bibliography-entry>span[id^=ref-]{scroll-margin-top:var(--s7)}.post-content .citation-target{background:var(--pencil-wash)}.post-content .citation-target::before{content:"";position:absolute;inset:0 auto 0 0;width:3px;background:var(--pencil);animation:arrive var(--arrive)var(--ease)both}.post-content .citation-target:focus{outline:none}.post-content .citation-target:focus-visible{outline:2px solid var(--pencil);outline-offset:2px}.post-content .citation-return{display:block;width:fit-content;margin-top:var(--s2);text-indent:0;font-size:var(--fs-small);color:var(--pencil);text-decoration-color:initial}@keyframes arrive{from{opacity:0}to{opacity:1}}.post-content .footnotes{margin-top:var(--s7);padding-top:var(--s4);border-top:var(--hair);font-size:var(--fs-small)}.post-content .footnotes hr{display:none}.post-content sup{line-height:0}.post-content :not(pre)>code{padding:.05em .25em;background:var(--paper-2);font-size:.85em}.post-content .highlight,.post-content pre{margin:var(--s5)0}.post-content .highlight pre{margin:0}.post-content pre{position:relative;overflow:auto;border-block:var(--hair-ink);background:var(--paper-2);line-height:1.55}.post-content pre>code{display:grid;padding:var(--s4);padding-right:5.5rem;overflow-x:auto;color:var(--ink);font-size:.8rem;white-space:pre}.highlight pre.chroma code{padding-block:var(--s4)}.copy-code{position:absolute;top:var(--s2);right:var(--s2);min-height:2rem;padding:var(--s1)var(--s3);border-color:var(--rule-strong);background:var(--paper);font:var(--fs-meta)/1.2 var(--mono);text-transform:none;font-variant-caps:normal;letter-spacing:0;color:var(--ink-2);user-select:none}.table-wrapper{max-width:100%;margin:var(--s5)0;overflow-x:auto}.post-content table{width:100%;margin:0;border-top:2px solid var(--ink);border-bottom:2px solid var(--ink);font-size:var(--fs-small);line-height:1.45;font-variant-numeric:tabular-nums}.post-content table th,.post-content table td{min-width:5rem;padding:var(--s2)var(--s3);text-align:start;vertical-align:top}.post-content table th{border-bottom:var(--hair-ink);font-weight:700}.post-content table tr+tr td{border-top:var(--hair)}.keyboard-scrollable:focus-visible{outline-offset:0}.peer-review{margin-top:var(--s7);padding:var(--s4)0 0;border-top:2px solid var(--pencil);font-size:var(--fs-lead)}.peer-review .mono-label{color:var(--pencil)}.peer-review p{margin:var(--s1)0 0;color:var(--ink-2)}.post-nav{display:grid;grid-template-columns:1fr 1fr;gap:var(--s6);margin-top:var(--s7);padding-top:var(--s5);border-top:var(--hair)}.post-nav a{text-decoration:none}.post-nav .mono-label{display:block;margin-bottom:var(--s1)}.post-nav .nav-title{font-size:var(--fs-lead);font-weight:700;line-height:1.3;text-decoration:underline;text-decoration-color:transparent;text-decoration-thickness:2px;text-underline-offset:.18em}.post-nav a:hover .nav-title{text-decoration-color:var(--pencil)}.post-nav .next{grid-column:2;text-align:right}.standalone-page .post-content{padding-bottom:var(--s6)}.standalone-page .post-content h2{margin-top:1.8em}.search-overlay{position:fixed;inset:0;width:100%;height:100%;max-width:none;max-height:none;margin:0;padding:12vh var(--s4)0;border:0;background:0 0;color:var(--ink);display:none;align-items:flex-start;justify-content:center}.search-overlay[open]{display:flex}.search-overlay::backdrop{background:var(--scrim)}.search-panel{width:min(42rem,100%);max-height:80vh;overflow-y:auto;border:var(--hair-ink);background:var(--paper)}.search-close{display:block;min-height:2.25rem;margin:var(--s3)var(--s3)0 auto;padding:0 var(--s3);border-color:transparent}.search-close:hover:not(:disabled){border-color:var(--rule-strong)}.search-panel input{display:block;width:calc(100% - 2 * var(--s5));margin:0 var(--s5);padding:var(--s2)0;border:0;border-bottom:var(--hair-ink);border-radius:0;background:0 0;color:var(--ink);font:1.5rem/1.3 var(--serif)}.search-panel input::placeholder,#searchInput::placeholder{color:var(--ink-3);opacity:1}.search-panel input:focus-visible{outline:none;border-bottom:3px solid var(--pencil);margin-bottom:-2px}.search-status{margin:var(--s3)var(--s5)var(--s2)}.search-results{list-style:none;max-height:46vh;overflow-y:auto;padding:0 var(--s3)}.search-results a{display:block;padding:var(--s3)var(--s3)var(--s3)calc(var(--s3) + 3px);border-bottom:var(--hair);text-decoration:none}.search-results a:hover,.search-results a.selected{background:var(--paper-2);box-shadow:inset 3px 0 0 var(--pencil)}.search-results a:focus-visible{outline-offset:-2px}.search-results .sr-title{display:block;font-size:var(--fs-lead);font-weight:700;line-height:1.3}.search-results .sr-meta{display:block;margin-top:var(--s1);font:var(--fs-meta)/1.5 var(--mono);color:var(--ink-3)}.search-empty{padding:var(--s5);color:var(--ink-2);font-size:var(--fs-small)}.search-fulltext{margin:var(--s3)var(--s5)var(--s4);font-size:var(--fs-small)}.search-hint{display:flex;flex-wrap:wrap;gap:var(--s1)var(--s5);padding:var(--s3)var(--s5);border-top:var(--hair)}#searchbox{padding-bottom:var(--s7)}#searchForm label{display:block;margin-bottom:var(--s2)}.search-controls{display:flex;align-items:stretch;gap:var(--s3)}#searchInput{flex:1;min-width:0;padding:var(--s2)0;border:0;border-bottom:var(--hair-ink);border-radius:0;background:0 0;color:var(--ink);font:1.5rem/1.3 var(--serif)}#searchInput:focus-visible{outline:none;border-bottom:3px solid var(--pencil);margin-bottom:-2px}#searchClear{border-color:transparent}#searchClear:hover:not(:disabled){border-color:var(--rule-strong)}#searchStatus{margin:var(--s4)0 var(--s2)}#searchRetry{margin-bottom:var(--s4)}.search-alternatives{display:flex;flex-wrap:wrap;gap:var(--s1)var(--s5);margin-bottom:var(--s5);font-size:var(--fs-small)}#searchResults{list-style:none}#searchResults:not(:empty){border-top:var(--hair-ink)}#searchResults li.post-entry{position:relative;padding:var(--s5)0;border-bottom:var(--hair)}#searchResults h2{font-size:var(--fs-entry);line-height:1.25}#searchResults a{text-decoration-color:transparent;text-decoration-thickness:2px}#searchResults a:hover,#searchResults .focus a{text-decoration-color:var(--pencil)}#searchResults .entry-summary{max-width:var(--measure)}.topic-groups{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:var(--s6)var(--s7)}.topic-group{padding-top:var(--s3);border-top:var(--hair-ink)}.topic-group h3{margin-bottom:var(--s3);font-size:var(--fs-lead)}.terms-tags{list-style:none}.topic-group .terms-tags{display:flex;flex-wrap:wrap;gap:var(--s1)var(--s5)}.terms-tags a{display:inline-block;padding:var(--s1)0;text-decoration-color:var(--rule)}.terms-tags a:hover{text-decoration-color:var(--pencil)}.tag-count{font:var(--fs-meta)var(--mono);color:var(--ink-3)}.all-tags-heading{padding:var(--s8)0 var(--s3);border-bottom:var(--hair-ink);font-size:var(--fs-h2)}main>.terms-tags{columns:4 11rem;column-gap:var(--s6);padding:var(--s4)0 var(--s7);font-size:var(--fs-small)}main>.terms-tags li{break-inside:avoid}main>.terms-tags a{padding:.2rem 0}.archive-year{padding-top:var(--s5)}.archive-year-header{padding-bottom:var(--s2);border-bottom:var(--hair-ink);font-size:var(--fs-h2)}.archive-year-header a,.archive-month-header a{text-decoration:none}.archive-year-header a:hover,.archive-month-header a:hover{text-decoration:underline;text-decoration-color:var(--pencil)}.archive-month{padding:var(--s3)0;border-bottom:var(--hair)}.archive-month-header{padding-top:.15rem;font-size:1.0625rem;font-weight:400;color:var(--ink-2)}.archive-posts{list-style:none}.archive-entry{display:grid;grid-template-columns:4.5rem minmax(0,1fr);column-gap:var(--s4);align-items:baseline;padding:var(--s1)0}.archive-entry a{text-decoration-color:transparent}.archive-entry a:hover{text-decoration-color:var(--pencil)}.not-found{padding:var(--s8)0 var(--s9)}.not-found .undefined-ref{display:block;font-size:clamp(6rem,4rem + 10vw,11rem);font-weight:700;line-height:.9;letter-spacing:-.02em}.not-found h1{margin-top:var(--s5);font-size:var(--fs-title);font-weight:400}.not-found p{margin-top:var(--s4);color:var(--ink-2);font-size:var(--fs-lead)}.not-found code{font-size:.9em;color:var(--ink)}.not-found ul{display:flex;flex-wrap:wrap;gap:var(--s2)var(--s5);margin-top:var(--s5);list-style:none}.colophon-footer{margin-top:var(--s8);padding:0 var(--gutter)}.colophon-footer .page{display:flex;flex-wrap:wrap;justify-content:space-between;gap:var(--s2)var(--s6);width:100%;max-width:var(--shell);padding:var(--s4)0 var(--s6);border-top:var(--hair-ink);color:var(--ink-2);font-size:var(--fs-small)}.colophon-footer nav ul{display:flex;flex-wrap:wrap;gap:var(--s1)var(--s4);list-style:none}@media(min-width:75rem){.post-body>h2:not(#references,#changelog)::before{position:absolute;right:100%;min-width:0;margin-right:var(--s5);font-weight:400;color:var(--ink-3)}}@media(max-width:60rem){:root{--spine:6.5rem;--gutter:var(--s6)}}@media(max-width:22.5rem){.mainnav{gap:0 var(--s4)}.mainnav a{font-size:1rem;letter-spacing:.04em}}@media(max-width:46rem){:root{--gutter:1.25rem;--fs-body:1.1875rem;--fs-lead:1.0625rem;--fs-entry:1.25rem;--fs-h2:1.375rem}.masthead-inner{display:grid;grid-template-columns:minmax(0,1fr)auto;min-height:0;padding-top:var(--s3);row-gap:0}.wordmark{grid-column:1;grid-row:1;font-size:1.25rem}button#theme-toggle{grid-column:2;grid-row:1;min-height:2.75rem;padding-left:var(--s4)}.mainnav{grid-column:1/-1;grid-row:2;flex-wrap:wrap;gap:0 var(--s5);margin-left:0}.mainnav a{padding:var(--s3)0 var(--s2);font-size:1.0625rem}.spine-row{grid-template-columns:minmax(0,1fr)}.spine-row>.spine-body{grid-column:1}.page-header{padding:var(--s7)0 var(--s5)}.page-header .spine-label{padding:0 0 var(--s1)}.home-intro{padding:var(--s7)0 var(--s6)}.home-intro h1{font-size:2.6rem}.facts{gap:var(--s1)var(--s4)}.subject-links .mono-label{margin-bottom:var(--s1)}.subject-links ul{gap:var(--s2)var(--s4)}.index-toolbar .spine-label{display:none}.search-trigger{min-width:0}.search-trigger kbd{display:none}.index-year-head{display:flex;align-items:baseline;gap:var(--s3)}.index-entry a.entry-link{padding:var(--s4)0 calc(var(--s4) + 2px)}.entry-date{padding:0 0 var(--s1)}.post-head{padding-top:var(--s7)}.post-author{font-size:1.25rem}.post-abstract{margin:var(--s5)0 0}.post-abstract h2{text-align:left}.post-meta,.paper-links{justify-content:flex-start}.post-head{text-align:left}.post-head h1{margin-left:0}.toc-rail #TableOfContents>ul{columns:1}.post-content blockquote{padding-inline:var(--s4)0}.post-content .bibliography-entry{padding-left:calc(1.5rem + var(--s2));text-indent:-1.5rem}.post-nav{grid-template-columns:1fr;gap:var(--s5)}.post-nav .next{grid-column:1;text-align:left}.search-overlay{padding-top:var(--s4)}.search-panel{max-height:calc(100vh - 2 * var(--s4))}.search-results{max-height:none}.search-controls{flex-wrap:wrap}#searchInput{flex-basis:100%}#searchSubmit{flex:1}.topic-groups{grid-template-columns:1fr}main>.terms-tags{columns:2}.archive-entry{grid-template-columns:3.75rem minmax(0,1fr)}.colophon-footer .page{flex-direction:column}}@media(min-width:46.0625rem){.toc-rail #TableOfContents>ul{columns:2;column-gap:var(--s6)}.toc-rail #TableOfContents>ul>li{break-inside:avoid}}@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}*,*::before,*::after{transition:none!important;animation:none!important}}@media(forced-colors:active){.post-content .citation-target::before{background:Highlight}.mainnav a[aria-current=page]{text-decoration-color:initial}}@media print{:root:root,html[data-theme]{--paper:#fff;--paper-2:#fff;--ink:#000;--ink-2:#222;--ink-3:#444;--rule:#bbb;--rule-strong:#666;--pencil:#000}body{background:#fff;color:#000;font-size:11pt}.masthead,.colophon-footer,.paper-contents,.paper-links,.post-meta,.post-nav,.peer-review,.copy-code,.citation-return{display:none!important}.article-layout{width:100%;max-width:none}.post-head{padding-top:0}.post-content a{color:#000}.post-content .katex-display,.table-wrapper{overflow:visible}.post-content h2,.post-content h3{break-after:avoid}.post-body>h2:not(#references,#changelog)::before{position:static}}