@charset "UTF-8";@font-face{font-family:commit mono;src:url(/fonts/CommitMono.woff2)format("woff2")}@font-face{font-family:inter;src:url(/fonts/Inter-Regular.woff2)format("woff2");font-weight:400;font-style:normal}@font-face{font-family:inter;src:url(/fonts/Inter-Medium.woff2)format("woff2");font-weight:500;font-style:normal}@font-face{font-family:inter;src:url(/fonts/Inter-SemiBold.woff2)format("woff2");font-weight:600;font-style:normal}@font-face{font-family:inter;src:url(/fonts/Inter-Italic.woff2)format("woff2");font-weight:400;font-style:italic}@font-face{font-family:inter;src:url(/fonts/Inter-MediumItalic.woff2)format("woff2");font-weight:500;font-style:italic}@font-face{font-family:inter;src:url(/fonts/Inter-SemiBoldItalic.woff2)format("woff2");font-weight:600;font-style:italic}@font-face{font-family:inter katex;src:url(/fonts/Inter-Katex.woff2)format("woff2")}@font-face{font-family:lete_katex_size1;src:url(/fonts/Lete_KaTeX_Size1.woff2)format("woff2")}@font-face{font-family:lete_katex_size2;src:url(/fonts/Lete_KaTeX_Size2.woff2)format("woff2")}@font-face{font-family:lete_katex_ams;src:url(/fonts/Lete_KaTeX_AMS.woff2)format("woff2")}.footer,.footer a{color:#a0a7b6;font-weight:400}body.colorscheme-dark .footer,body.colorscheme-dark .footer a{color:#808492}article h3,article h4,article h5,article h6{font-weight:500}article strong{font-weight:600;color:#000}body.colorscheme-dark article strong{color:#ececee}article code{font-size:90%;font-weight:inherit;background-color:#eff1f5}article a code,body.colorscheme-dark article a code,article a strong,body.colorscheme-dark article a strong{color:inherit}article pre{font-size:100%;border:.1em solid #d0d8dc}body.colorscheme-dark article pre{border-color:#606f7b}article .heading-link{display:inline-block;padding:0 .25em;font-size:100%!important;color:#c2c9d6}body.colorscheme-dark article .heading-link{color:#5e636e}article .dimmed,article .dimmed strong{color:#a0a7b6}body.colorscheme-dark article .dimmed,body.colorscheme-dark article .dimmed strong{color:#808492}article .center{margin:0 auto;text-align:center}article .center p{text-align:center}article img{border:.15em solid #d0d8dc}body.colorscheme-dark article img{border-color:#606f7b}.navigation a:hover,.navigation a:focus,.list a:hover,.list a:focus{text-decoration:none}a#dark-mode-toggle{cursor:pointer}h1,h1 .title-link{font-weight:500}html[lang=zh-cn] .navigation a.navigation-title,html[lang=zh-cn] .navigation a.navigation-link{font-weight:400}span.katex{font-size:1em;font-family:Inter KaTeX,Inter,Segoe UI,Microsoft YaHei UI,Microsoft YaHei,微软雅黑,Noto Sans CJK SC,sans-serif}span.katex-mathml{display:none}span.katex-display{overflow-x:auto;overflow-y:clip;padding:.1em 0}span.katex .mathnormal,span.katex .mathbf,span.katex .textrm{font-family:Inter,Segoe UI,Microsoft YaHei UI,Microsoft YaHei,微软雅黑,Noto Sans CJK SC,sans-serif}span.katex .op-symbol.small-op,span.katex .delimsizing.size1{font-family:Lete_KaTeX_Size1}span.katex .op-symbol.large-op,span.katex .delimsizing.size2{font-family:Lete_KaTeX_Size2}span.katex .amsrm,span.katex .mathbb,span.katex .textbb{font-family:Lete_KaTeX_AMS;font-size:108%}span.katex .frac-line{border-bottom-width:.1em!important}span.katex svg path{stroke:currentColor;stroke-width:20}.about{margin-bottom:40%;display:flex;flex-direction:column;align-items:center;justify-content:center}h1.home-title{font-size:2em;padding:.4em .1em;border-bottom:.4rem solid #1078d0}body.colorscheme-dark h1.home-title{border-bottom-color:#42a5f5}.centered .about h2.home-subtitle{font-size:1.6em;letter-spacing:.5em;font-weight:400;margin:.25em -.5em 1.5em 0}html[lang=zh-cn] h1.home-title{font-weight:400;padding:.5em .5em .5em .75em;letter-spacing:.25em}html[lang=zh-cn] .centered .about h2.home-subtitle{font-size:1.5em;font-weight:500;letter-spacing:0;margin:.15em 0 1.6em}p.home-desc{font-size:1.2em;margin:0}.post-meta{color:#a0a7b6}body.colorscheme-dark .post-meta{color:#808492}@media only screen and (max-width:768px){.post-meta .posted-on{margin:0;display:block}}.content .post .post-meta .tags .tag{background:0 0;padding:0;border-radius:0}body.colorscheme-dark .content .post .post-meta .tags .tag{background:0 0}.content .post .post-meta .tags .tag a,body.colorscheme-dark .content .post .post-meta .tags .tag a{color:inherit;font-weight:400}.taxonomy ul{list-style-type:disc}.taxonomy li{display:list-item}.taxonomy .taxonomy-element{display:inline;background:0 0;border-radius:0}.taxonomy .taxonomy-element a{color:#1078d0}body.colorscheme-dark .taxonomy .taxonomy-element{background:0 0}body.colorscheme-dark .taxonomy .taxonomy-element a{color:#42a5f5}section.list>ul{list-style:disc;padding-left:1.5em}section.list>ul li{display:list-item!important;padding-inline-start:.25em;margin:0}section.list>ul li::marker{color:#a0a7b6;margin-right:.5em}body.colorscheme-dark section.list>ul li::marker{color:#808492}section.list>ul li a.post-item{display:flex;flex-direction:column;width:100%;padding:1.5rem 0;font-weight:400;color:#202224;line-height:1.75}@media only screen and (max-width:768px){section.list>ul li a.post-item{font-size:1.6rem}}body.colorscheme-dark section.list>ul li a.post-item{color:#d4d4d6}section.list>ul li a.post-item:hover .title{color:#1078d0}section.list>ul li a.post-item span.date{text-align:left;width:inherit;margin-right:1em}@media only screen and (max-width:768px){section.list>ul li a.post-item span.date{display:inline}}section.list>ul li a.post-item span.tags{color:#a0a7b6}section.list>ul li a.post-item span.tags span.tag{margin-left:.5em}body.colorscheme-dark section.list>ul li a.post-item span.tags{color:#808492}section.list>ul li a.post-item .title{font-size:1.1em;transition:color .2s}section.list>ul li a.post-item .abstract{color:#a0a7b6;font-size:1em;text-align:justify}body.colorscheme-dark section.list>ul li a.post-item .abstract{color:#808492}a.external-link{margin-right:.1em}p{white-space:normal}article ul{padding-left:2em}article ul li{padding-inline-start:.25em}article ul li::marker{color:#a0a7b6;margin-right:.5em}body.colorscheme-dark article ul li::marker{color:#808492}article ul ul{padding-left:1.5em}article ul ul li{list-style-type:disclosure-closed}.toc{margin:2em 0;padding-left:1.25em;border-left:.15em solid #c2c9d6}.toc h2{font-size:1.2em;letter-spacing:.05em;margin:0;margin-bottom:.75em}.toc ul{list-style-type:none;margin:0;padding-left:1.5em}.toc ul li{padding:0}.toc nav>ul{padding-left:0}body.colorscheme-dark .toc{border-left-color:#5e636e}section.post article .post-content>h2{counter-increment:section}section.post article .post-content>h2::before{content:counter(section);font-variant-numeric:tabular-nums;color:#c2c9d6;margin-right:.75em}body.colorscheme-dark section.post article .post-content>h2::before{color:#5e636e}section.post article #TableOfContents>ul>li{counter-increment:tocsection}section.post article #TableOfContents>ul>li::before{content:counter(tocsection);font-variant-numeric:tabular-nums;font-weight:600;color:#c2c9d6;margin-right:.75em}body.colorscheme-dark section.post article #TableOfContents>ul>li::before{color:#5e636e}article .block{background-color:#eff1f5;border:.1em solid #d0d8dc;border-radius:1em;padding:.75em 1.25em;margin:1em 0}article .block .block-title{font-weight:600;color:#1078d0;margin:0}article .block .block-content{margin-top:.5em}article .block p:first-child,article .block ul:first-child{margin-top:0}article .block p:last-child,article .block ul:last-child{margin-bottom:0}article .block ul li{margin:.5em 0}body.colorscheme-dark article .block{background-color:#404448;border-color:#60666c}body.colorscheme-dark article .block .block-title{color:#42a5f5}article details{background-color:#eff1f5;border:.1em solid #d0d8dc;border-radius:1em;padding:.75em 1.25em;margin:1em 0}body.colorscheme-dark article details{background-color:#404448;border-color:#60666c}article details>div{margin-top:.5em}article details p:first-child,article details ul:first-child{margin-top:0}article details p:last-child,article details ul:last-child{margin-bottom:0}article details ul li{margin:.5em 0}article details summary{font-weight:500;cursor:pointer;color:#1078d0}body.colorscheme-dark article details summary{color:#42a5f5}