*,::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;--font-body:'Literata', Georgia, Cambria, 'Noto Serif', 'Droif Serif', ui-serif, serif;--font-mono:"Monaspace", ui-monospace, monospace;--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;--copy-code-button-border-radius:7px;--social-icons-bottom-margin:3rem;--footer-height:3rem;--content-height:calc(100vh - var(--footer-height));--figure-img-max-height:800px;--table-cell-padding:.5rem;--table-margin-top:1.5rem;--table-margin-bottom:1.5rem}@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:var(--font-mono)}@font-face{font-family:literata;src:url(/fonts/Literata/Literata-Light.woff2)format('woff2');font-weight:light;font-style:normal;font-display:swap}@font-face{font-family:literata;src:url(/fonts/Literata/Literata-LightItalic.woff2)format('woff2');font-weight:light;font-style:italic;font-display:swap}@font-face{font-family:literata;src:url(/fonts/Literata/Literata-SemiBold.woff2)format('woff2');font-weight:700;font-style:normal;font-display:swap}@font-face{font-family:literata;src:url(/fonts/Literata/Literata-SemiBoldItalic.woff2)format('woff2');font-weight:700;font-style:italic;font-display:swap}@font-face{font-family:monaspace;src:url(/fonts/Monaspace/MonaspaceArgon-Regular.woff)format('woff');font-weight:400;font-style:normal;font-display:swap}@font-face{font-family:monaspace;src:url(/fonts/Monaspace/MonaspaceArgon-SemiBold.woff)format('woff');font-weight:700;font-style:normal;font-display:swap}html{scroll-behavior:smooth}body{font-family:var(--font-body);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{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,h5,h6{font-size:var(--hx-font-size);margin-top:var(--hx-margin-top);margin-bottom:var(--hx-margin-bottom)}.heading{.anchor { text-decoration: none; font-weight: normal; color: var(--content-secondary); visibility: hidden; font-size: 0.9em; font-family: var(--font-mono); } &:hover .anchor { visibility: visible; }}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)}a{text-decoration:underline}.copy-code-button{background-color:var(--background);font-family:var(--font-mono);padding:3px 6px;font-size:.8em;border-radius:var(--copy-code-button-border-radius);position:absolute;top:10px;right:10px;z-index:1;display:none;border:1px solid var(--code-border)}pre:hover .copy-code-button{display:block}pre{position:relative;padding:var(--code-padding);border:1px solid var(--code-border);overflow:scroll;border-radius:var(--code-border-radius);margin-top:var(--code-margin-top);margin-bottom:var(--code-margin-bottom);background-color:var(--code-background)!important;overflow-x:auto;-ms-overflow-style:none;scrollbar-width:none;line-height:1.3em}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:var(--font-mono);font-size:.9em;line-height:0}.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-size:small;font-family:var(--font-mono);margin-top:var(--header-menu-top-gap);margin-right:var(--header-menu-side-gap)}.header-title{font-size:2.6em;font-weight:700;margin-bottom:0;margin-top:0}.header-title a{text-decoration:none}footer{font-size:small;display:flex;justify-content:center;align-items:center;max-height:var(--footer-height)}footer a{font-family:var(--font-mono);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:var(--font-mono);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:.5rem}.single-readtime{margin-top:.5rem;color:var(--content-secondary)}.single-summary{margin-bottom:0;color:var(--content-secondary)}.single-content{margin-bottom:5rem}.single-tags{margin-top:-1rem}.single-tags span{margin-right:.3rem}.single-pagination{margin-top:3rem;margin-bottom:3rem}.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{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"}figure>div{width:100%;display:flex;justify-content:center}figure img{max-width:100%;max-height:var(--figure-img-max-height);width:auto;height:auto;margin-inline:auto}.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{max-height:calc(var(--figure-img-max-height) * .8)}.img-small div:first-child{height:80%;width:80%;margin:auto}.img-full div{display:flex;align-items:center;justify-content:center}.img-full img{height:auto;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:var(--font-mono);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}@media(prefers-color-scheme:dark){.auto{--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)}}html.theme-dark body{--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)}html.theme-light body{--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)}.theme-toggle{background:0 0;border:1px solid var(--code-border);border-radius:4px;padding:4px 6px;cursor:pointer;color:var(--content-secondary);display:flex;align-items:center;transition:border-color .15s ease,color .15s ease;margin-left:auto}.theme-toggle:hover{border-color:var(--content-primary);color:var(--content-primary)}.dark .theme-icon-sun{display:block}.dark .theme-icon-moon{display:none}.light .theme-icon-sun{display:none}.light .theme-icon-moon{display:block}.auto .theme-icon-moon{display:block}.auto .theme-icon-sun{display:none}@media(prefers-color-scheme:dark){.auto .theme-icon-sun{display:block}.auto .theme-icon-moon{display:none}}body{background:var(--background)}html{scroll-behavior:auto}body::before{content:"";position:fixed;top:0;left:0;width:100%;height:100%;pointer-events:none;z-index:9999;background:repeating-linear-gradient( 0,transparent,transparent 3px,rgba(128,128,128,4%) 3px,rgba(128,128,128,4%) 6px )}.header{margin-bottom:1rem}.header-title{letter-spacing:-.03em}.nav-bar{display:flex;position:relative;gap:.5rem;margin-top:1rem}.nav-link,.nav-link:hover,.nav-link:visited,.nav-link:active{font-family:monospace;font-size:medium;text-decoration:none;color:var(--content-primary);padding-bottom:4px;outline:none;background:0 0}.nav-active{font-weight:600}.nav-indicator{position:absolute;bottom:-2px;height:1px;background:var(--content-secondary);pointer-events:none;opacity:0}.post-line-link{text-decoration:none;color:inherit;display:block;cursor:pointer}.list-container{position:relative}.post-line{padding:.55rem .7rem;margin-left:-.7rem;margin-right:-.7rem;border-radius:4px}.post-highlight{position:absolute;left:-.7rem;right:-.7rem;background-color:rgba(128,128,128,5%);border-radius:4px;pointer-events:none;opacity:0;transition:top .25s ease,height .25s ease,opacity .15s ease}.post-indicator{position:absolute;left:-.7rem;width:2px;background:var(--content-primary);pointer-events:none;opacity:0;border-radius:1px;transition:top .25s ease,height .25s ease,opacity .15s ease}.line-date{opacity:.45;font-size:.78em;letter-spacing:.03em}.post-line:hover .line-date{opacity:.7}.line-summary{opacity:.7;line-height:1.4}.post-line:hover .line-summary{opacity:.9}.single-tags span a,.tag-line .tag-title a{text-decoration:none;font-family:monaspace,monospace;font-size:.8em;background-color:var(--code-background);border:1px solid var(--code-border);padding:.15rem .6rem;border-radius:3px;letter-spacing:.02em;transition:border-color .15s ease}.single-tags span a:hover,.tag-line .tag-title a:hover{border-color:var(--content-primary);background-color:var(--code-background)}pre{border-radius:4px!important;border-color:var(--code-border)!important}p code{font-size:.85em;padding:.1em .35em;border-radius:3px;border:1px solid var(--code-border)}blockquote{border-left-width:2px;border-left-color:var(--content-secondary);background:var(--code-background);border-radius:0 4px 4px 0;padding:.5rem 0}.single-title{letter-spacing:-.02em}.single-summary{font-family:monaspace;font-size:.88em;letter-spacing:.01em}.single-intro-container:not(:has(.single-readtime)){margin-top:.5rem!important;margin-bottom:0!important}footer{display:flex;flex-direction:column;align-items:center;opacity:.4;transition:opacity .3s ease}footer:hover{opacity:.8}footer p{font-size:.75em;margin-top:.4rem}.footer-social{display:flex;justify-content:center;align-items:center;gap:14px}.footer-social a{text-decoration:none}.footer-social a svg{height:18px;width:18px;opacity:.5;transition:opacity .2s ease,transform .2s ease}.footer-social a:hover svg{opacity:1;transform:translateY(-1px)}::selection{background:var(--content-primary);color:var(--background)}@media screen and (max-width:640px){.theme-toggle{display:none}.post-line{padding:.4rem .5rem;margin-left:-.5rem;margin-right:-.5rem}}.vdbl-loading{display:flex;flex-direction:column;align-items:center;gap:1rem;padding:3rem 0}.vdbl-spinner{width:28px;height:28px;border:2px solid var(--code-border);border-top-color:var(--content-primary);border-radius:50%;animation:vdbl-spin .8s linear infinite}@keyframes vdbl-spin{to{transform:rotate(360deg)}}.vdbl-loading-text{font-family:monaspace,monospace;font-size:.9em;color:var(--content-secondary)}.vdbl-error{font-family:monaspace,monospace;font-size:.9em;color:var(--content-primary);background:var(--code-background);border:1px solid var(--code-border);border-radius:4px;padding:1rem 1.2rem;margin:1.5rem 0;text-align:center}.vdbl-stats{display:flex;gap:12px;margin:1.5rem 0}.vdbl-stat-card{flex:1;display:flex;flex-direction:column;align-items:center;gap:.25rem;background:var(--code-background);border:1px solid var(--code-border);border-radius:4px;padding:1rem .5rem}.vdbl-stat-number{font-family:monaspace,monospace;font-size:1.6em;font-weight:600;color:var(--content-primary);letter-spacing:-.02em}.vdbl-stat-label{font-family:monaspace,monospace;font-size:.75em;color:var(--content-secondary);text-transform:uppercase;letter-spacing:.05em}.vdbl-search-container{margin:1rem 0 1.5rem}.vdbl-search{width:100%;box-sizing:border-box;font-family:monaspace,monospace;font-size:.9em;color:var(--content-primary);background:var(--code-background);border:1px solid var(--code-border);border-radius:4px;padding:.6rem .8rem;outline:none;transition:border-color .15s ease}.vdbl-search::placeholder{color:var(--content-secondary)}.vdbl-search:focus{border-color:var(--content-primary)}.vdbl-grid{column-count:2;column-gap:16px}@media(max-width:800px){.vdbl-grid{column-count:2}}@media(max-width:500px){.vdbl-grid{column-count:1}.vdbl-stats{flex-direction:column}}.vdbl-grid>details{break-inside:avoid;margin-bottom:16px;display:block;max-width:100%;background:var(--code-background);border:1px solid var(--code-border);border-radius:4px;padding:8px;transition:border-color .15s ease}.vdbl-grid>details:hover{border-color:var(--content-secondary)}.vdbl-grid>details[open]{border-color:var(--content-primary)}.vdbl-grid>details>summary{cursor:pointer;font-weight:600;list-style:none;display:flex;align-items:center;gap:.4rem}.vdbl-grid>details>summary::-webkit-details-marker{display:none}.vdbl-grid>details>summary::before{content:"\203A";font-size:1.2em;line-height:1;color:var(--content-secondary);transition:transform .15s ease;display:inline-block;width:.8em;text-align:center}.vdbl-grid>details[open]>summary::before{transform:rotate(90deg)}.vdbl-grid details details{border-left:2px solid var(--code-border);padding-left:8px;margin-top:4px}.vdbl-grid details details>summary{cursor:pointer;font-weight:600;font-size:.92em}.vdbl-grid ul{list-style:none;padding-left:16px;margin:0}.vdbl-hash-list{display:flex;flex-direction:column;gap:4px;padding:6px 0}.vdbl-hash-row{display:flex;align-items:baseline;gap:6px;padding:3px 6px;border-radius:3px;background:var(--background);border:1px solid var(--code-border)}.vdbl-hash-type{font-family:monaspace,monospace;font-size:.65em;font-weight:600;color:var(--content-secondary);background:var(--code-background);border:1px solid var(--code-border);border-radius:2px;padding:1px 5px;white-space:nowrap;flex-shrink:0;text-transform:uppercase;letter-spacing:.04em}.vdbl-hash-value{font-family:monaspace,monospace;font-size:.72em;color:var(--content-secondary);word-break:break-all;line-height:1.4;user-select:all}.vdbl-grid ul>.vdbl-hash-row{margin-top:4px}.vdbl-cert-root{font-family:monaspace,monospace;font-size:.78em;color:var(--content-secondary);word-break:break-all;line-height:1.5}.vdbl-grid a{color:var(--content-primary);text-decoration:underline;text-decoration-color:var(--code-border);text-underline-offset:2px;transition:text-decoration-color .15s ease}.vdbl-grid a:hover{text-decoration-color:var(--content-primary)}.vdbl-no-results{font-family:monaspace,monospace;font-size:.9em;color:var(--content-secondary);text-align:center;padding:2rem 0}: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)}