:root{--border-width-thin:1.36px;--border-width-thick:2.27px;--text-indent-size:1.463rem;--body-color:#1b1818;--body-bg-color:#f9fafb;--color-accent:#526b84;--color-accent-hover:#35597d;--color-focus-ring:#7f98b2;--pre-bg-color:#e8edf2;--kbd-bg-color:#fff;--kbd-border-color:#afb3b6;--table-border-color:black;--sidenote-target-border-color:#ddd688;--footnotes-border-color:#636363;--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:#dbdbdb;--body-bg-color:#292929;--color-accent:#8fb3d9;--color-accent-hover:#b7d0ea;--color-focus-ring:#b7d0ea;--pre-bg-color:#403f3f;--kbd-bg-color:#292929;--kbd-border-color:#afb3b6;--table-border-color:white;--sidenote-target-border-color:#969696;--footnotes-border-color:#969696;--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;margin-left:auto;margin-right:auto;display:block}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{counter-reset:theorem definition sidenote-counter;max-width:90ch;min-height:100vh;color:var(--body-color);background-color:var(--body-bg-color);text-rendering:optimizelegibility;margin:0 auto;padding:2rem 1.25rem;font-family:-apple-system,BlinkMacSystemFont,Segoe UI,PingFang SC,Microsoft YaHei,sans-serif;font-weight:400;line-height:1.8;overflow-x:hidden}p{text-align:justify;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,.indent-pars h2+p,.indent-pars h3+p,.indent-pars h4+p{text-indent:0}a:not([class]){text-decoration-skip-ink:auto;text-decoration:none}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{margin:2.5rem 0;font-size:2.5rem;line-height:3.25rem}h2{margin-top:3rem;font-size:1.7rem;line-height:2rem}h3{margin-top:2.5rem;font-size:1.4rem}h4{margin-top:2rem;font-size:1.2rem}h5{margin-top:1.8rem;font-size:1rem}h6{margin-top:2.5rem;font-size:1rem;font-style:italic;font-weight:400}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:first-child{text-transform:uppercase;vertical-align:.28em;margin-left:-.48em;margin-right:-.15em;font-size:.75em;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{flex-direction:column;min-height:100vh;display:flex}#content{flex:1 0 auto}header{width:min(100ch,100vw - 2.5rem);margin-left:50%;padding:0 0 3rem;transform:translate(-50%)}header a,header a:link,header a:visited,header a:hover,header a:active,header a:focus{box-shadow:none;-webkit-tap-highlight-color:transparent;outline:none;text-decoration:none}header .container{justify-content:space-between;align-items:baseline;margin-bottom:0;display:flex}header .site-title{text-align:left;font-size:1.5rem;font-weight:700}header .site-nav{text-align:right;align-items:baseline;gap:1.5rem;font-size:1rem;display:flex}header hr{border-color:var(--color-accent)}footer{padding:3rem 0 0}footer .copyright{text-align:center;color:var(--color-accent);margin:0}footer .copyright a{color:inherit}.toc{background:#8080801a;border-radius:4px;margin:1.5em 0;padding:1em 1.5em}.toc h2{margin-top:0;margin-bottom:0;font-size:1.2em}.toc-header{justify-content:space-between;align-items:center;display:flex}.toc-toggle{color:color-mix(in srgb, var(--color-accent) 65%, transparent);cursor:pointer;background:0 0;border:none;padding:0;font-size:.9em}.toc-toggle:hover{color:var(--color-accent)}.toc ul.collapsed{display:none}.toc ul{padding-left:0;list-style:none}.toc-depth-3{padding-left:1.5em}.post-tags{float:left;margin:.5em 0;display:inline-block}.post-tags a{margin-right:.5em;text-decoration:none}.post-content math[display=block]{width:max-content;max-width:calc(100vw - 2.5rem);margin-left:50%;padding-bottom:.25rem;display:block;overflow:auto hidden;transform:translate(-50%)}.post-content math[display=block]>*{min-width:max-content}.post-content ul li::marker{color:#80808099}.post-content ol li::marker{color:#808080f2;font-style:italic}.post-content blockquote{background:#8080801f;border-left:3px solid #808080b3;margin:1.5em 0;padding:.75em 1em}.post-content blockquote p{margin-top:0}table:not(.borders-custom){border-collapse:collapse;border-spacing:0;border-top:var(--border-width-thick) solid var(--table-border-color);border-bottom:var(--border-width-thick) solid var(--table-border-color);white-space:nowrap;counter-increment:caption;width:auto;max-width:100%;margin:10px auto;display:table;overflow-x:auto}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;width:100%;margin-left:0;padding:0 .25em .25em;font-size:.923em}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;counter-increment:caption;width:auto;max-width:100%;overflow-x:auto}.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>:first-child,.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>:first-child,.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>:first-child,.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 ol li:before{content:counters(item, ".") " ";counter-increment:item;padding-right:.85rem}dl dd{text-align:center}.theorem{counter-increment:theorem;margin:12px 0;font-style:italic;display:block}.theorem:before{content:"Theorem " counter(theorem) ". ";font-style:normal;font-weight:700}.lemma{counter-increment:theorem;margin:12px 0;font-style:italic;display:block}.lemma:before{content:"Lemma " counter(theorem) ". ";font-style:normal;font-weight:700}.proof{margin:12px 0;font-style:normal;display:block;position:relative}.proof:before{content:"Proof. " attr(title);font-style:italic}.proof:after{content:"◾️";filter:var(--proof-symbol-filter);position:absolute;bottom:-2px;right:-12px}.definition{counter-increment:definition;margin:12px 0;font-style:normal;display:block}.definition:before{content:"Definition " counter(definition) ". ";font-style:normal;font-weight:700}.author{text-align:center;margin:.85rem 0;font-variant-caps:small-caps}.sidenote{float:right;clear:right;text-indent:0;width:18vw;margin-bottom:1em;margin-right:-20vw;font-size:.8rem}.sidenote.left{float:left;text-indent:0;margin-bottom:1em;margin-left:-20vw}.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{vertical-align:baseline;position:relative}.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{width:18vw;margin-right:-24vw}label.sidenote-toggle{cursor:pointer;display:inline}input.sidenote-toggle{display:none}@media (width<=1050px){label.sidenote-toggle:not(.sidenote-number){display:inline}.sidenote{display:none}.sidenote-toggle:checked+.sidenote{float:left;clear:both;width:95%;margin:.5rem 1.25rem 1rem .5rem;display:block;left:1rem}blockquote .sidenote{width:16vw;margin-right:-25vw}}.footnotes p{text-align:left;margin-bottom:.4rem;font-size:85%;line-height:1.5}.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{margin-bottom:-.2rem;font-size:1rem}code,pre,kbd{scrollbar-width:thin;scrollbar-color:#6b7280 #374151;font-family:Menlo,Monaco,Consolas,Liberation Mono,Courier New,monospace;font-size:85%}pre{background:var(--pre-bg-color);border-radius:4px;max-width:100%;padding:1rem 1.4rem;overflow:auto}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;border-radius:4px;padding:.15em .4em}html.dark code:not(pre code){background:#ffffff1a}.astro-code{scrollbar-width:thin;scrollbar-color:#d5d9df #f8f9fb;background-color:#eaf1fa!important}.astro-code span{color:var(--shiki-light)!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;background-color:#0000!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{width:6px;height: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{text-align:center;margin:20px 0 0;padding-left:0;list-style:none}.pager ul{display:block}.pager .previous>a{float:left;margin:20px 0 0;display:block}.pager .next>a{float:right;margin:20px 0 0;display:block}.post-title{font-size:1.3rem}.post-read-more{font-size:.9rem}.tag-heading{align-items:center;gap:.75rem;margin:.5rem 0 2.5rem;display:flex}.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-l6lhmie6]{color:var(--color-accent);cursor:pointer;font:inherit;background:0 0;border:none;padding:0}#theme-toggle[data-astro-cid-l6lhmie6]:hover{color:var(--color-accent-hover)}