:root{--border-width-thin: 1.36px;--border-width-thick: 2.27px;--text-indent-size: 1.463rem;--body-color: hsl(0, 5%, 10%);--body-bg-color: hsl(210, 20%, 98%);--color-accent: #526b84;--color-accent-hover: #35597d;--color-focus-ring: #7f98b2;--pre-bg-color: hsl(210, 28%, 93%);--kbd-bg-color: hsl(210, 5%, 100%);--kbd-border-color: hsl(210, 5%, 70%);--table-border-color: black;--sidenote-target-border-color: hsl(55, 55%, 70%);--footnotes-border-color: hsl(0, 0%, 39%);--proof-symbol-filter: none;--link-color: var(--color-accent);--link-hover-color: var(--color-accent-hover);--link-focus-ring: var(--color-focus-ring)}.dark{--body-color: hsl(0, 0%, 86%);--body-bg-color: hsl(0, 0%, 16%);--color-accent: #8fb3d9;--color-accent-hover: #b7d0ea;--color-focus-ring: #b7d0ea;--pre-bg-color: hsl(0, 1%, 25%);--kbd-bg-color: hsl(0, 0%, 16%);--kbd-border-color: hsl(210, 5%, 70%);--table-border-color: white;--sidenote-target-border-color: hsl(0, 0%, 59%);--footnotes-border-color: hsl(0, 0%, 59%);--proof-symbol-filter: invert(80%)}*,*:before,*:after{box-sizing:border-box}body,h1,h2,h3,h4,p,ul[class],ol[class],li,figure,figcaption,dl,dd{margin:0}img{max-width:100%;height:auto;display:block;margin-left:auto;margin-right:auto}input,button,textarea,select{font:inherit}textarea{width:100%}html{font-size:1rem}@media(prefers-reduced-motion:no-preference){html{scroll-behavior:smooth}}body.libertinus{font-family:Georgia,Cambria,Times New Roman,Times,serif}body{font-family:-apple-system,BlinkMacSystemFont,Segoe UI,PingFang SC,Microsoft YaHei,sans-serif;font-weight:400;line-height:1.8;max-width:90ch;min-height:100vh;overflow-x:hidden;margin:0 auto;padding:2rem 1.25rem;counter-reset:theorem definition sidenote-counter;color:var(--body-color);background-color:var(--body-bg-color);text-rendering:optimizeLegibility}p{text-align:justify;hyphens:auto;-webkit-hyphens:auto;-moz-hyphens:auto;margin-top:1rem}.indent-pars p{text-indent:var(--text-indent-size)}.indent-pars p.no-indent,p.no-indent,.indent-pars ol p,.indent-pars ul p{text-indent:0}.indent-pars h2+p,.indent-pars h3+p,.indent-pars h4+p{text-indent:0}a:not([class]){text-decoration:none;text-decoration-skip-ink:auto}a,a:visited{color:var(--link-color);text-decoration:none}a:hover{color:var(--link-hover-color)}a:focus{outline-offset:2px;outline:2px solid var(--link-focus-ring)}article>*+*{margin-top:1em}h1:first-child{text-align:center}h1{font-size:2.5rem;line-height:3.25rem;margin:2.5rem 0}h2{font-size:1.7rem;line-height:2rem;margin-top:3rem}h3{font-size:1.4rem;margin-top:2.5rem}h4{font-size:1.2rem;margin-top:2rem}h5{font-size:1rem;margin-top:1.8rem}h6{font-size:1rem;font-style:italic;font-weight:400;margin-top:2.5rem}h3,h4,h5,h6{line-height:1.625rem}h1+h2{margin-top:1.625rem}h2+h3,h3+h4,h4+h5{margin-top:.8rem}h5+h6{margin-top:-.8rem}h2,h3,h4,h5,h6{margin-bottom:.8rem}.latex span:nth-child(1){text-transform:uppercase;font-size:.75em;vertical-align:.28em;margin-left:-.48em;margin-right:-.15em;line-height:1ex}.latex span:nth-child(2){text-transform:uppercase;vertical-align:-.5ex;margin-left:-.1667em;margin-right:-.125em;line-height:1ex}html,body{min-height:100%}body{min-height:100vh;display:flex;flex-direction:column}#content{flex:1 0 auto}header{width:min(100ch,calc(100vw - 2.5rem));margin-left:50%;transform:translate(-50%);padding:0 0 3rem}header a,header a:link,header a:visited,header a:hover,header a:active,header a:focus{text-decoration:none;outline:none;box-shadow:none;-webkit-tap-highlight-color:transparent}header .container{display:flex;justify-content:space-between;align-items:baseline;margin-bottom:0}header .site-title{font-size:1.5rem;font-weight:700;text-align:left}header .site-nav{display:flex;gap:1.5rem;align-items:baseline;font-size:1rem;text-align:right}header hr{border-color:var(--color-accent)}footer{padding:3rem 0 0}footer .copyright{text-align:center;margin:0;color:var(--color-accent)}footer .copyright a{color:inherit}.toc{background:#8080801a;padding:1em 1.5em;margin:1.5em 0;border-radius:4px}.toc h2{font-size:1.2em;margin-top:0}.toc ul{list-style:none;padding-left:0}.toc-depth-3{padding-left:1.5em}.post-tags{float:left;display:inline-block;margin:.5em 0}.post-tags a{margin-right:.5em;text-decoration:none}.post-content math[display=block]{display:block;width:max-content;max-width:calc(100vw - 2.5rem);margin-left:50%;transform:translate(-50%);overflow-x:auto;overflow-y:hidden;padding-bottom:.25rem}.post-content math[display=block]>*{min-width:max-content}.post-content blockquote{margin:1.5em 0;padding:.75em 1em;border-left:3px solid rgba(128,128,128,.7);background:#8080801f}.post-content blockquote p{margin-top:0}table:not(.borders-custom){border-collapse:collapse;border-spacing:0;width:auto;max-width:100%;border-top:var(--border-width-thick) solid var(--table-border-color);border-bottom:var(--border-width-thick) solid var(--table-border-color);display:table;margin:10px auto;overflow-x:auto;white-space:nowrap;counter-increment:caption}table:not(.borders-custom) tr>th[scope=col]{border-bottom:var(--border-width-thin) solid var(--table-border-color)}table:not(.borders-custom) tr>th[scope=row]{border-right:var(--border-width-thin) solid var(--table-border-color)}table:not(.borders-custom)>tbody>tr:first-child>td,table:not(.borders-custom)>tbody>tr:first-child>th{border-top:var(--border-width-thin) solid var(--table-border-color)}table:not(.borders-custom)>tbody>tr:last-child>td,table:not(.borders-custom)>tbody>tr:last-child>th{border-bottom:var(--border-width-thin) solid var(--table-border-color)}th,td{padding:.5rem;line-height:1.1}th:not([align]),td:not([align]){text-align:center}caption{text-align:left;font-size:.923em;padding:0 .25em .25em;width:100%;margin-left:0}caption:before{content:"Table " counter(caption) ". ";font-weight:700}.scroll-wrapper{overflow-x:auto}.scroll-wrapper>table td{white-space:nowrap}table.borders-custom{border-collapse:collapse;border-spacing:0;width:auto;max-width:100%;overflow-x:auto;counter-increment:caption}.border-top-thick{border-top:var(--border-width-thick) solid var(--table-border-color)}.border-right-thick{border-right:var(--border-width-thick) solid var(--table-border-color)}.border-bottom-thick{border-bottom:var(--border-width-thick) solid var(--table-border-color)}.border-left-thick{border-left:var(--border-width-thick) solid var(--table-border-color)}.border-top-thin{border-top:var(--border-width-thin) solid var(--table-border-color)}.border-right-thin{border-right:var(--border-width-thin) solid var(--table-border-color)}.border-bottom-thin{border-bottom:var(--border-width-thin) solid var(--table-border-color)}.border-left-thin{border-left:var(--border-width-thin) solid var(--table-border-color)}.col-1-l tr>:nth-child(1),.col-2-l tr>:nth-child(2),.col-3-l tr>:nth-child(3),.col-4-l tr>:nth-child(4),.col-5-l tr>:nth-child(5),.col-6-l tr>:nth-child(6),.col-7-l tr>:nth-child(7),.col-8-l tr>:nth-child(8),.col-9-l tr>:nth-child(9),.col-10-l tr>:nth-child(10),.col-11-l tr>:nth-child(11),.col-12-l tr>:nth-child(12){text-align:left}.col-1-c tr>:nth-child(1),.col-2-c tr>:nth-child(2),.col-3-c tr>:nth-child(3),.col-4-c tr>:nth-child(4),.col-5-c tr>:nth-child(5),.col-6-c tr>:nth-child(6),.col-7-c tr>:nth-child(7),.col-8-c tr>:nth-child(8),.col-9-c tr>:nth-child(9),.col-10-c tr>:nth-child(10),.col-11-c tr>:nth-child(11),.col-12-c tr>:nth-child(12){text-align:center}.col-1-r tr>:nth-child(1),.col-2-r tr>:nth-child(2),.col-3-r tr>:nth-child(3),.col-4-r tr>:nth-child(4),.col-5-r tr>:nth-child(5),.col-6-r tr>:nth-child(6),.col-7-r tr>:nth-child(7),.col-8-r tr>:nth-child(8),.col-9-r tr>:nth-child(9),.col-10-r tr>:nth-child(10),.col-11-r tr>:nth-child(11),.col-12-r tr>:nth-child(12){text-align:right}nav ol{counter-reset:item;padding-left:2rem}nav li{display:block}nav li:before{content:counters(item,".") " ";counter-increment:item;padding-right:.85rem}dl dd{text-align:center}.theorem{counter-increment:theorem;display:block;margin:12px 0;font-style:italic}.theorem:before{content:"Theorem " counter(theorem) ". ";font-weight:700;font-style:normal}.lemma{counter-increment:theorem;display:block;margin:12px 0;font-style:italic}.lemma:before{content:"Lemma " counter(theorem) ". ";font-weight:700;font-style:normal}.proof{display:block;margin:12px 0;font-style:normal;position:relative}.proof:before{content:"Proof. " attr(title);font-style:italic}.proof:after{content:"◾️";filter:var(--proof-symbol-filter);position:absolute;right:-12px;bottom:-2px}.definition{counter-increment:definition;display:block;margin:12px 0;font-style:normal}.definition:before{content:"Definition " counter(definition) ". ";font-weight:700;font-style:normal}.author{margin:.85rem 0;font-variant-caps:small-caps;text-align:center}.sidenote{font-size:.8rem;float:right;clear:right;width:18vw;margin-right:-20vw;margin-bottom:1em;text-indent:0}.sidenote.left{float:left;margin-left:-20vw;margin-bottom:1em;text-indent:0}.sidenote:target{border:var(--sidenote-target-border-color) 1.5px solid;padding:0 .5rem;scroll-margin-block-start:10rem}.sidenote-number{counter-increment:sidenote-counter}.sidenote-number:after,.sidenote:before{position:relative;vertical-align:baseline}.sidenote-number:after{content:counter(sidenote-counter);font-size:.7rem;top:-.5rem;left:.1rem}.sidenote-number~.sidenote:before{content:counter(sidenote-counter) " ";font-size:.7rem;top:-.5rem}label.sidenote-toggle:not(.sidenote-number){display:none}blockquote .sidenote{margin-right:-24vw;width:18vw}label.sidenote-toggle{display:inline;cursor:pointer}input.sidenote-toggle{display:none}@media(max-width:1050px){label.sidenote-toggle:not(.sidenote-number){display:inline}.sidenote{display:none}.sidenote-toggle:checked+.sidenote{display:block;margin:.5rem 1.25rem 1rem .5rem;float:left;left:1rem;clear:both;width:95%}blockquote .sidenote{margin-right:-25vw;width:16vw}}.footnotes p{text-align:left;line-height:1.5;font-size:85%;margin-bottom:.4rem}.footnotes{border-top:1px solid var(--footnotes-border-color)}.abstract,.abstract p{text-align:center;margin-top:0}.abstract{margin:2.25rem 0}.abstract>h2{font-size:1rem;margin-bottom:-.2rem}code,pre,kbd{font-family:Menlo,Monaco,Consolas,Liberation Mono,Courier New,monospace;font-size:85%;scrollbar-width:thin;scrollbar-color:#6b7280 #374151}pre{padding:1rem 1.4rem;max-width:100%;overflow:auto;border-radius:4px;background:var(--pre-bg-color)}pre code{font-size:95%;position:relative}kbd{background:var(--kbd-bg-color);border:1px solid var(--kbd-border-color);border-radius:2px;padding:2px 4px;font-size:75%}code:not(pre code){background:#8080801f;padding:.15em .4em;border-radius:4px}html.dark code:not(pre code){background:#ffffff1a}.astro-code{background-color:#eaf1fa!important;scrollbar-width:thin;scrollbar-color:#d5d9df #f8f9fb}.astro-code span{color:var(--shiki-light)!important;background-color:transparent!important;font-style:var(--shiki-light-font-style, inherit)!important;font-weight:var(--shiki-light-font-weight, inherit)!important;text-decoration:var(--shiki-light-text-decoration, inherit)!important}html.dark .astro-code,html.dark .astro-code span{color:var(--shiki-dark)!important;background-color:var(--shiki-dark-bg)!important;font-style:var(--shiki-dark-font-style, inherit)!important;font-weight:var(--shiki-dark-font-weight, inherit)!important;text-decoration:var(--shiki-dark-text-decoration, inherit)!important}.astro-code,.astro-code code,.astro-code .line{line-height:1.45}.astro-code::-webkit-scrollbar{height:6px;width:6px}.astro-code::-webkit-scrollbar-track{background:#f8f9fb}.astro-code::-webkit-scrollbar-thumb{background:#d5d9df;border-radius:999px}html.dark .astro-code{scrollbar-color:#5f6672 #2b2f36}html.dark .astro-code::-webkit-scrollbar-track{background:#2b2f36}html.dark .astro-code::-webkit-scrollbar-thumb{background:#5f6672}.listing-page,.listing-page a,.listing-page a:visited{color:var(--link-color)}.listing-page a:hover{color:var(--link-hover-color)}.datemeta{text-align:center;margin:0 0 50px}.pager{list-style:none;text-align:center;margin:20px 0 0;padding-left:0}.pager ul{display:block}.pager .previous>a{margin:20px 0 0;float:left;display:block}.pager .next>a{margin:20px 0 0;float:right;display:block}.post-title{font-size:1.3rem}.post-read-more{font-size:.9rem}.tag-heading{display:flex;align-items:center;gap:.75rem;margin:.5rem 0 2.5rem}.tag-pill{color:var(--color-accent);font-size:1rem;line-height:1}.tag-count{color:var(--color-accent);font-size:.9rem}#theme-toggle[data-astro-cid-x3pjskd3]{background:none;border:none;color:var(--color-accent);cursor:pointer;font:inherit;padding:0}#theme-toggle[data-astro-cid-x3pjskd3]:hover{color:var(--color-accent-hover)}