*,::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:1.5rem;--h2-margin-top:2rem;--h2-margin-bottom:1.5rem;--hx-margin-top:1.5rem;--hx-margin-bottom:1rem;--p-margin-top:1rem;--p-margin-bottom:1rem;--code-margin-top:2rem;--code-margin-bottom:2rem;--h1-font-size:2em;--h2-font-size:1.8em;--hx-font-size:1.3em;--p-font-size:1em;--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:1.5rem;--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;--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)}@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: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{scroll-behavior:smooth}body{font-family:bitter,Georgia,serif;font-weight:400;margin:auto;max-width:var(--main-width);padding-left:var(--main-padding);padding-right:var(--main-padding);color:var(--content-primary);background:var(--background)}.content{min-height:var(--content-height)!important}h1{font-family:bitter,Georgia,serif;margin-top:var(--h1-margin-top);margin-bottom:var(--h1-margin-bottom);font-size:var(--h1-font-size);font-weight:600}h2{font-family:bitter,Georgia,serif;margin-top:var(--h2-margin-top);margin-bottom:var(--h2-margin-bottom);font-size:var(--h2-font-size);font-weight:600}h3,h4,h5,h6{font-family:bitter,Georgia,serif;font-size:var(--hx-font-size);margin-top:var(--hx-margin-top);margin-bottom:var(--hx-margin-bottom);font-weight:600}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);font-weight:400}ul{margin-top:var(--ul-margin-top);margin-bottom:var(--ul-margin-bottom);font-weight:400}li{margin-left:var(--li-indent);font-weight:400}strong,b{font-weight:700}a{text-decoration:underline}.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:1px solid var(--content-primary);margin-top:3rem;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-family:bitter,Georgia,serif;font-size:2.6em;font-weight:200;margin-bottom:0;margin-top:0}footer{font-size:small;display:flex;justify-content:center;align-items:center;max-height:var(--footer-height)}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:1rem;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{padding-bottom:3rem}.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{margin-top:1rem;margin-bottom:2rem}.single-title{margin-bottom:2rem;font-weight:200;text-align:center;position:relative}.single-title::after{content:'';position:absolute;top:-1rem;left:0;right:0;height:1px;background:var(--content-primary)}.single-readtime{margin-top:.5rem;color:var(--content-secondary)}.single-summary{margin-bottom:0;color:var(--content-secondary)}.single-content{margin-bottom:6rem}.single-tags{margin-top:-1rem}.single-tags span{margin-right:.3rem}.toc{font-size:var(--p-font-size);line-height:calc(.9 * var(--p-line-height));margin-top:var(--toc-margin-top);margin-bottom:var(--toc-margin-bottom)}.toc ul{margin-top:.1rem;margin-bottom:.1rem}.toc li{margin-top:.1rem;margin-bottom:.1rem}.autonumber{counter-reset:h2-counter 0}.autonumber h2{counter-increment:h2-counter 1;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 h2:before{content:counter(h2-counter)"\00a0\00a0"}.autonumber h3:before{content:counter(h2-counter)"." counter(h3-counter)"\00a0\00a0"}.autonumber h4:before{content:counter(h2-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:100vw!important;max-width:100vw!important}.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:monaspace;font-size:small;margin-bottom:2rem;margin-top:-3rem}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;border-left:solid 1px;color:var(--content-secondary)}blockquote p{margin-left:1rem;margin-right:1rem}p{text-align:justify;hyphens:auto;-webkit-hyphens:auto;-ms-hyphens:auto}@media screen and (max-width:768px){.single-readtime{display:none!important}.post-date{display:none!important}.post-dots{display:none!important}.post-title{max-width:100%!important;white-space:normal!important;overflow:visible!important;text-overflow:initial!important}}mark{--highlight-bg:rgba(255, 220, 0, 0.4);--highlight-border:rgba(255, 220, 0, 0.15);background-color:var(--highlight-bg);padding:.1em .3em;border-radius:4px;color:inherit;display:inline;margin:0;line-height:inherit;box-shadow:0 0 0 1px var(--highlight-border);transition:background-color .2s ease}.dark mark{--highlight-bg:rgba(255, 220, 0, 0.3);--highlight-border:rgba(255, 220, 0, 0.2)}mark:hover{--highlight-bg-hover:rgba(255, 220, 0, 0.5);background-color:var(--highlight-bg-hover)}.dark mark:hover{--highlight-bg-hover:rgba(255, 220, 0, 0.4)}.post-line{margin:1em 0}.post-link{display:flex;align-items:baseline;text-decoration:none;color:var(--content-primary);width:100%}.post-title{white-space:nowrap;overflow:hidden;text-overflow:ellipsis;max-width:70%}.post-dots{flex:1;margin:0 .5em;height:1em;line-height:1;position:relative;display:flex;align-items:center}.post-dots::before{content:"";flex:1;height:1px;background-image:radial-gradient(circle,var(--content-secondary) .8px,transparent .8px);background-size:6px 1px;background-repeat:repeat-x;background-position:50%;opacity:.9}.post-date{white-space:nowrap;color:var(--content-secondary);text-align:right;min-width:6.5em}.katex-display{margin:1em 0;overflow-x:auto;overflow-y:hidden;text-align:center}.katex-display>.katex{display:inline-block;text-align:initial}.katex .array,.katex .matrix{display:inline-table;vertical-align:middle;text-align:center;border-collapse:collapse;border-spacing:0;margin:.5em}.katex .array>span,.katex .matrix>span{display:table-row}.katex .array .col-align-c>span,.katex .matrix .col-align-c>span{display:table-cell;padding:.5em;text-align:center}.katex .array .col-align-l>span,.katex .matrix .col-align-l>span{display:table-cell;padding:.5em;text-align:left}.katex .array .col-align-r>span,.katex .matrix .col-align-r>span{display:table-cell;padding:.5em;text-align:right}.katex .matrix .vlist-t{display:inline-table;table-layout:fixed;border-collapse:collapse;border-spacing:0}.katex .matrix .vlist-r{display:table-row}.katex .matrix .vlist{display:table-cell;vertical-align:bottom;position:relative}.katex .matrix .vlist-s{display:table-cell;width:.2em}.katex .matrix .vlist-s:first-child{padding-right:.2em}.katex .matrix .vlist-s:last-child{padding-left:.2em}.dark .katex{color:var(--content-primary)}.dark .katex .array .hline,.dark .katex .array .vline,.dark .katex .matrix .hline,.dark .katex .matrix .vline{border-color:var(--content-primary)}:root{--box-border-color:#000000;--box-text-color:inherit;--box-padding:10px 15px;--box-margin:20px 0;--box-border-radius:3px;--box-border-width:1px;--box-border-style:solid}.text-box{border-width:var(--box-border-width);border-style:var(--box-border-style);border-color:var(--box-border-color);padding:var(--box-padding);margin:var(--box-margin);border-radius:var(--box-border-radius);color:var(--box-text-color)}.text-box p{margin-top:0;margin-bottom:10px}.text-box p:last-child{margin-bottom:0}.text-box.info{--box-border-color:#0dcaf0}.text-box.success{--box-border-color:#198754}.text-box.warning{--box-border-color:#ffc107}.text-box.danger{--box-border-color:#dc3545}.text-box.dashed{border-style:dashed}.text-box.dotted{border-style:dotted}ul{list-style-type:disc;list-style-position:outside;padding-left:1.5rem;margin-left:0;text-align:left}ol{list-style-type:decimal;list-style-position:outside;padding-left:1.5rem;margin-left:0;margin-top:var(--ul-margin-top);margin-bottom:var(--ul-margin-bottom);text-align:left}li{margin-left:0;padding-left:.5rem;margin-bottom:.5rem;line-height:var(--p-line-height);text-align:left}ul ul,ol ol,ul ol,ol ul{margin-top:.5rem;margin-bottom:.5rem}li p{text-align:left;hyphens:none;-webkit-hyphens:none;margin-top:.25rem;margin-bottom:.25rem}@media screen and (max-width:768px){ul,ol{padding-left:1.2rem;margin-left:0;text-align:left}li{padding-left:.3rem;margin-bottom:.75rem;line-height:1.6em;text-align:left}ul{list-style-position:outside}ol{list-style-position:outside}li p{margin-top:.5rem;margin-bottom:.5rem;text-align:left;hyphens:none;-webkit-hyphens:none}ul ul,ol ol,ul ol,ol ul{margin-top:.25rem;margin-bottom:.25rem;padding-left:1rem}}