:root{--bg-color-light:#fff;--font-color-light:#222;--bg-color-dark:#181a1b;--font-color-dark:rgb(211, 207, 201);--bg-code-color-light:#f2f2f2;--bg-code-color-dark:#222;--svg-path-light:#000;--svg-path-dark:#fff;--svg-bg-light:#fff;--svg-bg-dark:#181a1b}body{margin:0;background:var(--bg-color-light);color:var(--font-color-light);font-family:inter,sans-serif;font-size:1rem}@media(prefers-color-scheme:dark){body{background:var(--bg-color-dark);color:var(--font-color-dark)}}a{word-wrap:break-word}sup{vertical-align:top;line-height:1.7em}.katex{font-size:1.5rem}img{display:inline-block;max-width:100%}img.center{margin:0 auto;display:block}switch{color:#fff!important}svg{background-color:var(--svg-bg-light)!important}@media(prefers-color-scheme:dark){svg{background-color:var(--svg-bg-dark)!important}}svg div,b,i{color:var(--svg-path-light)!important}@media(prefers-color-scheme:dark){svg div,b,i{color:var(--svg-path-dark)!important}}rect{stroke:var(--svg-path-light);fill:var(--svg-bg-light)}@media(prefers-color-scheme:dark){rect{stroke:var(--svg-path-dark);fill:var(--svg-bg-dark)}}path{stroke:var(--svg-path-light)}@media(prefers-color-scheme:dark){path{stroke:var(--svg-path-dark)}}div.content-container-menu{max-width:1000px;margin:0 auto}div.content-container{max-width:1500px;margin-top:0;margin-bottom:0;margin-left:calc(50% - 500px);margin-right:auto;display:flex}@media(max-width:1050px){div.content-container{margin-left:auto;padding:0 1rem}}@media(max-width:1250px){div.content-container{max-width:1500px}}div.content{max-width:900px}@media(max-width:1050px){div.content{width:100%}}div.content-toc{padding-left:10px;top:0;position:sticky;width:400px;max-height:80vh}@media(max-width:1250px){div.content-toc{width:200px}}@media(max-width:1050px){div.content-toc{display:none}}div.content-toc ul{padding-left:20px}a{color:#ec5565}div.header{color:#fff;background-color:#222;border-bottom:.4rem solid #ec5565;display:flex}div.header-content{width:1000px;margin:0 auto;display:flex;justify-content:space-between;flex-wrap:wrap}@media(max-width:1000px){div.header-content{padding:0 1rem}}div.header-content-title{margin:1rem 10rem 0 0}div.header-content-nav{margin:1rem 0;display:flex}div.header-content-nav-item{}@media(min-width:1000px){div.header-content-nav-item{margin:0 0 0 1rem}}@media(max-width:1000px){div.header-content-nav-item{margin:0 1rem 0 0}}div.header-content-nav-item a{color:#fff;text-decoration:none}div.header-content-nav-item a:hover{color:#ec5565;text-decoration:none}div.posts-post{padding:1.5rem 0;border-bottom:.1rem solid #ccc}div.posts-post a{color:var(--font-color-light);text-decoration:none;font-weight:700}@media(prefers-color-scheme:dark){div.posts-post a{color:var(--font-color-dark)}}div.posts-post a:hover{color:#ec5565;text-decoration:none}div.posts-post-title{font-size:1rem}div.posts-post-date{font-size:.8rem;margin:.2rem 0 0;color:#ec5565}pre{overflow-x:auto;border-radius:.8rem;margin:0;padding:1rem;font-size:1rem}code{font-family:jetbrains mono,monospace}pre,code{word-wrap:break-word;color:var(--font-color-light)}@media(prefers-color-scheme:dark){pre,code{color:var(--font-color-dark)}}p code{padding:.4rem;border-radius:.4rem}li code{padding:.4rem;border-radius:.4rem}blockquote{font-size:.7rem;color:#a0a0a0}h1{font-size:2rem}h2,h3,h4{margin:1.8rem 0 0}p{margin:1rem 0;line-height:1.5rem}li{margin-top:.3rem;line-height:2rem}.chroma{background-color:var(--bg-code-color-light);border-radius:.8rem}@media(prefers-color-scheme:dark){.chroma{background-color:var(--bg-code-color-dark)}}.chroma .err{color:#a61717;background-color:#e3d2d2}.chroma .lntd{vertical-align:top;padding:0;margin:0;border:0}.chroma .lntable{border-spacing:0;padding:0;margin:0;border:0;width:auto;overflow:auto;display:block}.chroma .hl{display:block;width:100%}.chroma .lnt{margin-right:.4em;padding:0 .4em;color:#7f7f7f}.chroma .ln{margin-right:.4em;padding:0 .4em;color:#7f7f7f}.chroma .k{font-weight:700}.chroma .kc{font-weight:700}.chroma .kd{font-weight:700}.chroma .kn{font-weight:700}.chroma .kp{font-weight:700}.chroma .kr{font-weight:700}.chroma .kt{color:#458;font-weight:700}.chroma .na{color:teal}.chroma .nb{color:#999}.chroma .nc{color:#458;font-weight:700}.chroma .no{color:teal}.chroma .ni{color:purple}.chroma .ne{color:#900;font-weight:700}.chroma .nf{color:#900;font-weight:700}.chroma .nn{color:#555}.chroma .nt{color:navy}@media(prefers-color-scheme:dark){.chroma .nt{color:#4cc9f0}}.chroma .nv{color:teal}.chroma .s{color:#b84}.chroma .sa{color:#b84}.chroma .sb{color:#b84}.chroma .sc{color:#b84}.chroma .dl{color:#b84}.chroma .sd{color:#b84}.chroma .s2{color:#b84}.chroma .se{color:#b84}.chroma .sh{color:#b84}.chroma .si{color:#b84}.chroma .sx{color:#b84}.chroma .sr{color:olive}.chroma .s1{color:#b84}.chroma .ss{color:#b84}.chroma .m{color:#099}.chroma .mb{color:#099}.chroma .mf{color:#099}.chroma .mh{color:#099}.chroma .mi{color:#099}.chroma .il{color:#099}.chroma .mo{color:#099}.chroma .o{font-weight:700}.chroma .ow{font-weight:700}.chroma .c{color:#998;font-style:italic}.chroma .ch{color:#998;font-style:italic}.chroma .cm{color:#998;font-style:italic}.chroma .c1{color:#998;font-style:italic}.chroma .cs{color:#999;font-weight:700;font-style:italic}.chroma .cp{color:#999;font-weight:700}.chroma .cpf{color:#999;font-weight:700}.chroma .gd{color:#000;background-color:#fdd}.chroma .ge{font-style:italic}.chroma .gr{color:#a00}.chroma .gh{color:#999}.chroma .gi{color:#000;background-color:#dfd}.chroma .go{color:#888}.chroma .gp{color:#555}.chroma .gs{font-weight:700}.chroma .gu{color:#aaa}.chroma .gt{color:#a00}.chroma .gl{text-decoration:underline}.chroma .w{color:#bbb}