*,::after,::before{box-sizing:border-box}html{-webkit-tap-highlight-color:transparent;overflow-y:scroll;-webkit-text-size-adjust:100%;text-size-adjust:100%}a,button,body,h1,h2,h3,h4,h5,h6{color:var(--primary)}body{font-family:-apple-system,BlinkMacSystemFont,segoe ui,Roboto,Oxygen,Ubuntu,Cantarell,open sans,helvetica neue,sans-serif;font-size:18px;line-height:1.6;word-break:break-word;background:var(--theme)}article,aside,figcaption,figure,header,hgroup,main,nav,section,table{display:block}h1,h2,h3,h4,h5,h6{line-height:1.2}h1,h2,h3,h4,h5,h6,p{margin-top:0;margin-bottom:0}ul{padding:0}a{text-decoration:none}body,figure,ul{margin:0}table{width:100%;border-collapse:collapse;border-spacing:0;overflow-x:auto;word-break:keep-all}button,input,textarea{padding:0;font:inherit;background:0 0;border:0}input,textarea{outline:0}button,input[type=button],input[type=submit]{cursor:pointer}input:-webkit-autofill,textarea:-webkit-autofill{box-shadow:0 0 0 50px var(--theme)inset}img{display:block;max-width:100%}:root{--main-width:780px;--main-padding:1.4em;--main-padding-bottom:3rem;--caption-padding:calc(.25 * var(--main-padding));--header-top-gap:2rem;--header-bottom-gap:2rem;--header-menu-side-gap:.5rem;--header-menu-top-gap:1rem;--h1-margin-top:2rem;--h1-margin-bottom:1rem;--h2-margin-top:2rem;--h2-margin-bottom:1rem;--hx-margin-top:1rem;--hx-margin-bottom:1rem;--h6-margin-top:0rem;--h6-margin-bottom:0rem;--p-margin-top:1rem;--p-margin-bottom:1rem;--code-margin-top:1rem;--code-margin-bottom:1rem;--h1-font-size:1.8em;--h2-font-size:1.6em;--h2-font-size-single:1.4em;--hx-font-size:1.3em;--h5-font-size:1.1rem;--h6-font-size:1.1rem;--p-font-size:0.9rem;--p-line-height:1.5em;--caption-font-size:.8em;--li-indent:1.5rem;--ul-margin-top:1rem;--ul-margin-bottom:1rem;--toc-margin-top:2rem;--toc-margin-bottom:3rem;--code-padding:0.4rem;--code-border-radius:10px;--social-icons-bottom-margin:3rem;--footer-height:3rem;--content-height:calc(100vh - var(--footer-height));--table-cell-padding:.5rem;--table-margin-top:1.5rem;--table-margin-bottom:1.5rem;--selection-color:#e6e6fa;--highlight-color:lavender;--updates-font-size:0.8rem;--min-bar-height:80vh;--min-footer-height:100vh - var(--min-bar-height)}@media screen and (max-width:1024px){:root{--main-width:750px;--header-top-gap:1rem;--caption-padding:calc(.25 * var(--main-padding))}}@media screen and (max-width:640px){:root{--header-top-gap:1rem;--social-icons-bottom-margin:0rem;--caption-padding:calc(2 * var(--main-padding))}}.flex{display:flex}.bold{font-weight:700}.italic{font-style:italic}.small{font-size:medium}.monospace{font-family:monaspace}@font-face{font-family:inter;src:url(/fonts/InterNew/inter-v20-latin-regular.woff2)format('woff2');font-weight:400;font-style:normal}@font-face{font-family:inter;src:url(/fonts/InterNew/inter-v20-latin-italic.woff2)format('woff2');font-weight:400;font-style:italic}@font-face{font-family:jetbrainsmono;src:url(/fonts/JetbrainsNew/jetbrains-mono-v24-latin-regular.woff2)format('woff2');font-weight:400;font-style:normal}@font-face{font-family:jetbrainsmono;src:url(/fonts/JetbrainsNew/jetbrains-mono-v24-latin-italic.woff2)format('woff2');font-weight:400;font-style:italic}@font-face{font-family:jetbrainsmono;src:url(/fonts/JetbrainsNew/jetbrains-mono-v24-latin-600.woff2)format('woff2');font-weight:600;font-style:normal}@font-face{font-family:jetbrainsmono;src:url(/fonts/JetbrainsNew/jetbrains-mono-v24-latin-600italic.woff2)format('woff2');font-weight:600;font-style:italic}@font-face{font-family:literata;src:url(/fonts/Literata/Literata-Light.woff2)format('woff2');font-weight:light;font-style:normal}@font-face{font-family:literata;src:url(/fonts/Literata/Literata-LightItalic.woff2)format('woff2');font-weight:light;font-style:italic}@font-face{font-family:literata;src:url(/fonts/Literata/Literata-SemiBold.woff2)format('woff2');font-weight:700;font-style:normal}@font-face{font-family:literata;src:url(/fonts/Literata/Literata-SemiBoldItalic.woff2)format('woff2');font-weight:700;font-style:italic}@font-face{font-family:monaspace;src:url(/fonts/Monaspace/MonaspaceArgon-Regular.woff)format('woff');font-weight:400;font-style:normal}@font-face{font-family:monaspace;src:url(/fonts/Monaspace/MonaspaceArgon-SemiBold.woff)format('woff');font-weight:700;font-style:normal}html{height:100%}body{font-family:inter;color:var(--content-primary);background:var(--background);margin:0;height:100%}h1{margin-top:var(--h1-margin-top);margin-bottom:var(--h1-margin-bottom);font-size:var(--h1-font-size)}h2{margin-top:var(--h2-margin-top);margin-bottom:var(--h2-margin-bottom);font-size:var(--h2-font-size)}h3,h4{font-size:var(--hx-font-size);margin-top:var(--hx-margin-top);margin-bottom:var(--hx-margin-bottom)}h5{font-size:var(--h5-font-size);margin-top:var(--hx-margin-top);margin-bottom:var(--hx-margin-bottom)}h6{font-size:var(--h6-font-size);margin-top:var(--hx-margin-top);margin-bottom:var(--hx-margin-bottom)}p{margin-top:var(--p-margin-top);margin-bottom:var(--p-margin-bottom);font-size:var(--p-font-size);line-height:var(--p-line-height)}ul{margin-top:var(--ul-margin-top);margin-bottom:var(--ul-margin-bottom)}li{margin-left:var(--li-indent);font-size:var(--p-font-size)}a{text-decoration:underline}pre{padding:var(--code-padding);border:1px solid var(--code-border);overflow:scroll;margin-top:var(--code-margin-top);margin-bottom:var(--code-margin-bottom);overflow-x:auto;-ms-overflow-style:none;scrollbar-width:none;line-height:1em;background-color:#fff!important}pre::-webkit-scrollbar{display:none}code span{display:inline!important}code{-webkit-font-smoothing:antialiased;-moz-font-feature-settings:"liga=1, dlig=1";-ms-font-feature-settings:"liga","dlig";-webkit-font-feature-settings:"liga","dlig";-o-font-feature-settings:"liga","dlig";font-feature-settings:"liga","dlig";font-variant-ligatures:contextual;font-family:jetbrainsmono;font-size:.75em;line-height:0;background-color:#fff!important}.ascii-art{font-family:monospace;font-size:1rem;border:none;line-height:1.4}.intro-code{min-width:max-content}.intro-code pre{background:0 0;border:none;padding:0;margin-top:-1.8em;margin-bottom:-.4em;border-radius:0;line-height:1.8em;white-space:pre}.intro-code code span{font-size:1.2em;padding-left:0}.intro-code code span[style*="-webkit-user-select:none;"]{display:none!important}.katex-display{overflow-x:auto;overflow-y:hidden;-ms-overflow-style:none;scrollbar-width:none}.katex-display::-webkit-scrollbar{display:none}.footnotes{margin-top:3rem;border-style:none}hr{border:none;height:1px;background:var(--content-secondary);margin-top:2rem;margin-bottom:2rem}.header{padding-top:var(--header-top-gap);margin-bottom:var(--header-bottom-gap)}.header p{font-family:monospace;margin-top:var(--header-menu-top-gap);margin-right:var(--header-menu-side-gap)}.header-title{font-size:2em;font-weight:700;margin-bottom:0;margin-top:0}.header a{text-decoration:none;position:relative;padding-left:.1em}a:hover{background-color:var(--highlight-color)}.header a::before{content:'';position:absolute;top:-.1em;bottom:-.1em;left:-.1em;right:.2em;background-color:var(--highlight-color);transform:scaleY(0);z-index:-1}.header a:hover::before{}footer{font-size:small;display:flex;justify-content:center;align-items:center;max-height:var(--footer-height);background-color:#e6e6fa;max-height:5vh}footer p{font-weight:700;color:#fff}footer a{font-family:monaspace;margin-left:.2rem;margin-right:.2rem}.post-line{margin-bottom:.5rem;display:flex;align-items:baseline}.tag-line{margin-bottom:.5rem;display:flex;align-items:baseline}.post-line p{margin-top:0;margin-bottom:0}.line-date{font-size:small;font-family:monaspace;min-width:120px;max-width:120px;text-align:right;padding-right:1.7rem;margin-top:0;margin-bottom:0}.line-title{margin:0}.tag-title{margin:0}.line-summary{font-size:small;margin-top:.2rem!important;color:var(--content-secondary)}.list-container{margin-top:-2rem}.pagination{display:flex;align-items:center;margin-top:1rem;margin-bottom:0;justify-content:center}.pagination-control{min-width:3rem;margin-left:.5rem;margin-right:.5rem;text-align:center;align-items:center}.page-number{min-width:3rem;margin-left:.5rem;margin-right:.5rem;display:flex;align-items:center;justify-content:center;align-items:center;font-weight:700}.social-icons{padding:12px 0;margin-bottom:var(--social-icons-bottom-margin)}.social-icons a{text-decoration:none}.social-icons a:not(:last-of-type){margin-inline-end:12px}.social-icons a svg{height:20px;width:20px}.single-intro-container{}.single-title{}.single-readtime{color:var(--content-secondary);font-family:jetbrainsmono;font-size:small}.single-summary{margin-top:-1rem;margin-bottom:0;color:var(--content-secondary)}.single-content{}.single-content h2{font-size:var(--h2-font-size-single)}.single-tags{font-size:small}.single-tags span{margin-right:.3rem}.single-pagination{}.single-pagination a{margin-left:.4rem;margin-right:.4rem}.single-pagination hr{margin:0}.single-pagination-text{display:flex;justify-content:center;align-items:center;min-height:100%}.single-pagination-prev{min-width:50%;margin-top:1rem;margin-bottom:1rem;text-align:right}.single-pagination-next{min-width:50%;margin-top:1rem;margin-bottom:1rem;text-align:left}.single-pagination-container-next{display:flex;min-height:100%;padding:.5rem}.single-pagination-container-prev{display:flex;min-height:100%;padding:.5rem;float:right}.toc{position:sticky;top:19%;max-width:100%;max-height:calc(100vh - 80px);overflow-y:auto}.toc h3{margin-bottom:.1rem}.toc ul{list-style-type:none;padding-left:25px;margin:0;font-size:var(--p-font-size)}.toc nav{margin-left:-.9rem}.toc li{margin:0}.toc a{display:block;text-decoration:none;color:var(--content-secondary);padding:0;position:relative}.toc a:hover{color:purple;width:100%;background-color:initial}.toc li.active>a{color:purple}.toc li.active>a::before{content:'';position:absolute;background-color:purple;width:2px;top:0;bottom:0;left:-5px}.autonumber{counter-reset:h2-counter 0}.autonumber h2{counter-reset:h3-counter 0}.autonumber h3{counter-increment:h3-counter 1;counter-reset:h4-counter 0}.autonumber h4{counter-increment:h4-counter 1}.autonumber h3:before{content:counter(h3-counter)"\00a0\00a0"}.autonumber h4:before{content:counter(h3-counter)"." counter(h3-counter)"." counter(h4-counter)"\00a0\00a0"}.dark .img-light{display:none!important}.light .img-dark{display:none!important}.img-small div{display:flex;align-items:center;justify-content:center}.img-small img{scale:80%}.img-full div{display:flex;align-items:center;justify-content:center}.img-full img{width:100%;max-width:100%}.caption-container{display:flex;justify-content:center}figcaption{color:var(--content-secondary);padding-left:var(--caption-padding);padding-right:var(--caption-padding);font-size:var(--caption-font-size);margin-top:1rem;margin-bottom:1rem}.not-found{display:flex;align-items:center;justify-content:center}.not-found div{text-align:center}.not-found div h1{font-size:6rem;margin-bottom:3rem}.breadcrumbs{font-size:.8em;margin-bottom:calc(-.5 * var(--h1-margin-top))}.giscus{margin-top:3rem}.back-to-top{text-align:center;font-family:jetbrainsmono;font-size:small;margin-bottom:2rem}p code{background-color:var(--code-background);border-radius:3px;padding:2px}table{border-collapse:collapse;margin-top:var(--table-margin-top);margin-bottom:var(--table-margin-bottom);font-size:var(--p-font-size);line-height:var(--p-line-height);color:var(--content-primary)}th,td{padding:var(--table-cell-padding);border:1px solid var(--code-border);text-align:left}th{background-color:var(--code-background);font-weight:700}table code{background-color:var(--code-background);border-radius:3px;padding:2px}blockquote{margin:1.5rem;margin-left:0;margin-right:0;border-left:solid 2px;color:var(--content-secondary)}blockquote p{margin-left:1rem;margin-right:1rem}.code-block-container{position:relative}.copy-code-button{position:absolute;top:.5em;right:.5em;padding:.25em .5em;background-color:#fff;color:grey;border:1px solid var(--code-border);border-radius:4px;font-size:.75em;font-family:Inter;cursor:pointer}::selection{background-color:#e6e6fa}.flex-grid{display:flex;width:100%;min-height:95vh}.col{min-height:150px}.col-1{flex:1 1 280px;min-width:0}.col-2{flex:0 0 600px;min-width:0}.col-3{flex:0 0 10px}.col-4{flex:0 0 10px;border-left:1px solid silver}.col-5{flex:0 0 260px}.col-6{flex:1;min-width:0}@media(max-width:870px){.flex-grid{flex-wrap:wrap;justify-content:center}.col-1,.col-3,.col-4,.col-6{display:none}.col-2,.col-5{flex-basis:90%;margin-bottom:20px}}@media(max-width:450px){.col-2,.col-5{flex-basis:100%;min-width:0}}.updates-sidebar{font-family:inter;margin-top:19vh;max-width:100%;overflow-y:auto}.updates-sidebar h3{margin-bottom:var(--hx-margin-top)}.update-month{border-bottom:1px solid #eee;padding:.2em 0}.update-month:last-child{border-bottom:none}.update-month summary{font-size:1rem;font-family:jetbrainsmono;cursor:pointer;font-weight:700;list-style:none}.update-month summary::before{content:'+';display:inline-block;margin-right:.5em;transition:transform .2s}.update-month[open]>summary::before{content:'−';transform:rotate(180deg)}.update-content{font-family:inter;padding:0 0 .5em 1.4em;font-size:var(--updates-font-size);color:var(--content-secondary)}.update-content h4{font-size:.8rem;font-weight:700;margin:.8em 0 .3em}.update-content ul{line-height:1.1em;margin:0 0 0 -1em;padding-left:0}.update-content li{font-size:.75rem}.update-content code{font-size:var(--updates-font-size);font-weight:700;margin:.8em 0 .3em}.single-content table{display:block;max-width:100%;overflow-x:auto}.highlight{max-width:100%}.highlight pre{overflow-x:auto}.single-content{overflow-wrap:break-word}:root{--content-primary:rgb(36, 36, 36);--content-secondary:rgb(117, 117, 117);--background:rgb(255, 255, 255);--code-background:rgb(249, 249, 249);--code-border:rgb(229, 229, 229)}.dark{--content-primary:rgb(218, 218, 218);--content-secondary:rgb(140, 140, 140);--background:rgb(20, 20, 20);--code-background:rgb(30, 30, 30);--code-border:rgb(50, 50, 50)}.bg{color:#d8dee9;background-color:#2e3440}.chroma{color:#d8dee9;background-color:#2e3440}.chroma .x{}.chroma .err{color:#bf616a}.chroma .cl{}.chroma .lnlinks{outline:none;text-decoration:none;color:inherit}.chroma .lntd{vertical-align:top;padding:0;margin:0;border:0}.chroma .lntable{border-spacing:0;padding:0;margin:0;border:0}.chroma .hl{background-color:#424853}.chroma .lnt{white-space:pre;-webkit-user-select:none;user-select:none;margin-right:.4em;padding:0 .4em;color:#6c6f74}.chroma .ln{white-space:pre;-webkit-user-select:none;user-select:none;margin-right:.4em;padding:0 .4em;color:#6c6f74}.chroma .line{display:flex}.chroma .k{color:#81a1c1;font-weight:700}.chroma .kc{color:#81a1c1;font-weight:700}.chroma .kd{color:#81a1c1;font-weight:700}.chroma .kn{color:#81a1c1;font-weight:700}.chroma .kp{color:#81a1c1}.chroma .kr{color:#81a1c1;font-weight:700}.chroma .kt{color:#81a1c1}.chroma .n{}.chroma .na{color:#8fbcbb}.chroma .nb{color:#81a1c1}.chroma .bp{}.chroma .nc{color:#8fbcbb}.chroma .no{color:#8fbcbb}.chroma .nd{color:#d08770}.chroma .ni{color:#d08770}.chroma .ne{color:#bf616a}.chroma .nf{color:#88c0d0}.chroma .fm{}.chroma .nl{color:#8fbcbb}.chroma .nn{color:#8fbcbb}.chroma .nx{}.chroma .py{color:#8fbcbb}.chroma .nt{color:#81a1c1}.chroma .nv{}.chroma .vc{}.chroma .vg{}.chroma .vi{}.chroma .vm{}.chroma .l{}.chroma .ld{}.chroma .s{color:#a3be8c}.chroma .sa{color:#a3be8c}.chroma .sb{color:#a3be8c}.chroma .sc{color:#a3be8c}.chroma .dl{color:#a3be8c}.chroma .sd{color:#616e87}.chroma .s2{color:#a3be8c}.chroma .se{color:#ebcb8b}.chroma .sh{color:#a3be8c}.chroma .si{color:#a3be8c}.chroma .sx{color:#a3be8c}.chroma .sr{color:#ebcb8b}.chroma .s1{color:#a3be8c}.chroma .ss{color:#a3be8c}.chroma .m{color:#b48ead}.chroma .mb{color:#b48ead}.chroma .mf{color:#b48ead}.chroma .mh{color:#b48ead}.chroma .mi{color:#b48ead}.chroma .il{color:#b48ead}.chroma .mo{color:#b48ead}.chroma .o{color:#81a1c1}.chroma .ow{color:#81a1c1;font-weight:700}.chroma .p{color:#eceff4}.chroma .c{color:#616e87;font-style:italic}.chroma .ch{color:#616e87;font-style:italic}.chroma .cm{color:#616e87;font-style:italic}.chroma .c1{color:#616e87;font-style:italic}.chroma .cs{color:#616e87;font-style:italic}.chroma .cp{color:#5e81ac;font-style:italic}.chroma .cpf{color:#5e81ac;font-style:italic}.chroma .g{}.chroma .gd{color:#bf616a}.chroma .ge{font-style:italic}.chroma .gr{color:#bf616a}.chroma .gh{color:#88c0d0;font-weight:700}.chroma .gi{color:#a3be8c}.chroma .go{}.chroma .gp{color:#4c566a;font-weight:700}.chroma .gs{font-weight:700}.chroma .gu{color:#88c0d0;font-weight:700}.chroma .gt{color:#bf616a}.chroma .gl{}.chroma .w{}:root{--content-primary:rgb(36, 36, 36);--content-secondary:rgb(117, 117, 117);--background:rgb(255, 255, 255);--code-background:rgb(249, 249, 249);--code-border:rgb(229, 229, 229)}.dark{--content-primary:rgb(218, 218, 218);--content-secondary:rgb(140, 140, 140);--background:rgb(20, 20, 20);--code-background:rgb(30, 30, 30);--code-border:rgb(50, 50, 50)}