*,::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,ol{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:2rem;--ul-margin-top:1rem;--ul-margin-bottom:1rem;--li-checkbox-size:0.8em;--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:2rem;--table-margin-bottom:2rem}@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;flex-wrap:wrap}.flexnowrap{display:flex;flex-wrap:nowrap}.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)}li{margin-left:var(--li-indent);&:has(> input[type="checkbox"]) { list-style-type:none; } &>input[type="checkbox"] { width:var(--li-checkbox-size); height:var(--li-checkbox-size); margin:0 0.2em 0.15em -1.25em; vertical-align:middle; }}a{text-decoration:underline}input{.dark & { color-scheme: dark; }}.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}li code,table code,p code{background-color:var(--code-background);border-radius:3px;padding:2px}.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:0;margin-right:var(--header-menu-side-gap)}.header-menu{display:flex;flex-wrap:wrap;padding-top:var(--header-menu-top-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-subsummary{margin-top:calc(.8 * var(--p-margin-top));margin-bottom:var(--p-margin-bottom);display:flex;align-items:center}.single-subsummary img{height:45px;width:45px;margin-right:.7rem;border-radius:50%}.author{margin-bottom:0;margin-top:0}.single-date{margin-top:0;margin-bottom:0;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{.img-container { aspect-ratio: var(--w) / var(--h); max-height: var(--figure-img-max-height); width: auto; margin-inline: auto; } img { display: block; max-width: 100%; height: 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{display:flex;flex-wrap:wrap;gap:2px;font-size:small;margin-bottom:calc(-.5 * var(--h1-margin-top));font-family:var(--font-mono)}.giscus{margin-top:3rem}.back-to-top{text-align:center;font-family:var(--font-mono);font-size:small;margin-bottom:2rem}.table-outer{width:100%;overflow-x:auto}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);width:fit-content;margin-left:auto;margin-right:auto;border:1px solid var(--code-border);border-radius:var(--code-border-radius)}th,td{padding:var(--table-cell-padding);text-align:left}th{background-color:var(--code-background);font-weight:700}tbody tr{border-top:1px solid var(--code-border)}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}@font-face{font-family:calendas plus;src:url(/fonts/calendas/calendas_plus-webfont.woff2)format("woff2"),url(/fonts/calendas/calendas_plus-webfont.woff)format("woff");font-weight:400;font-style:normal;font-display:swap}@font-face{font-family:calendas plus;src:url(/fonts/calendas/calendas_plus_italic-webfont.woff2)format("woff2"),url(/fonts/calendas/calendas_plus_italic-webfont.woff)format("woff");font-weight:400;font-style:italic;font-display:swap}@font-face{font-family:calendas plus;src:url(/fonts/calendas/calendas_plus_bold-webfont.woff2)format("woff2"),url(/fonts/calendas/calendas_plus_bold-webfont.woff)format("woff");font-weight:700;font-style:normal;font-display:swap}@font-face{font-family:darwin;src:url(/fonts/darwin/Darwin-Regular.woff)format("woff");font-weight:400;font-style:normal;font-display:swap}:root{--font-body:"Calendas Plus", Georgia, Cambria, "Noto Serif", "Droid Serif", ui-serif, serif;--font-display:var(--font-body);--font-ui:"Darwin", "Trebuchet MS", sans-serif;--main-width:1080px;--main-padding:3rem;--p-line-height:1.7;--content-height:auto;--code-border-radius:4px}body{display:flex;flex-direction:column;min-height:100svh;font-family:var(--font-body);font-size:20px;line-height:1.7;word-break:normal;overflow-wrap:break-word}.content{flex:1;width:100%;min-height:0 !important}h1,h2,h3,h4,h5,h6{font-family:var(--font-display);font-weight:400;color:var(--content-primary);text-wrap:pretty}h1{font-size:clamp(2.4rem,5vw,3.4rem);letter-spacing:-.025em;line-height:1.12}h2{margin:2.5rem 0 1rem;font-size:1.85rem;line-height:1.25;letter-spacing:-.015em}h3,h4,h5,h6{margin:2rem 0 .75rem;font-size:1.45rem;line-height:1.3}p{margin:0 0 1.2em}a{color:var(--accent);text-underline-offset:.2em;text-decoration-thickness:1px}a:hover{text-decoration-thickness:2px}:focus-visible{outline:2px solid var(--accent);outline-offset:5px}.skip-link{position:absolute;z-index:10;top:1rem;left:1rem;padding:.5rem 1rem;transform:translateY(-200%);background:var(--background);font-family:var(--font-ui);font-size:1rem}.skip-link:focus{transform:translateY(0)}.header{display:flex;align-items:center;justify-content:space-between;gap:1.5rem 2rem;padding-top:2.5rem;margin-bottom:4rem}.header .header-title{margin:0;font-family:var(--font-ui);font-size:1.45rem;font-weight:400;line-height:1.3;letter-spacing:0}.header-title a{color:var(--content-primary)}.header-menu{gap:.5rem 1.8rem;padding:0;font-family:var(--font-ui);font-size:.9rem;line-height:1.5}.header-menu a{display:inline-flex;align-items:center;min-height:44px;color:var(--content-secondary);text-decoration:none}.header-menu a:hover,.header-menu a[aria-current]{color:var(--content-primary);text-decoration:underline}.main>div{max-width:65ch;margin-inline:auto}.single-intro-container{margin:0 0 2rem}.single-title{margin:0 0 1rem}.single-content{margin-bottom:0}.single-content>:first-child{margin-top:0}.single-content>:last-child{margin-bottom:0}.single-content ul,.single-content ol{margin:0 0 1.5rem}.single-content li{margin-left:1.25em;padding-left:.2em}.single-content li+li{margin-top:.6em}blockquote{margin:2rem 0;padding-left:1.25rem;border-color:var(--rule);font-size:.9em}blockquote p{margin-left:0;margin-right:0}.highlight span[style*="color:"]{color:var(--content-secondary) !important}.home-intro{display:grid;grid-template-columns:minmax(0,1fr)150px;align-items:start;gap:4rem;margin-bottom:3rem}.home-title{margin:0;max-width:17ch;font-size:clamp(2.5rem,5.8vw,3.75rem);line-height:1.1;white-space:pre-line;text-wrap:initial}.home-summary{max-width:42ch;margin:1.5rem 0 0;font-size:1.375rem;line-height:1.65}.home-portrait{margin:.3rem 0 0}.home-portrait img{width:150px;height:176px;object-fit:cover;border-radius:3px}.home-portrait figcaption{margin:.8rem 0 0;padding:0;font-family:var(--font-ui);font-size:.8125rem;line-height:1.65}.home-portrait figcaption span{display:block}.home-body{position:relative;border-top:1px solid var(--rule);padding-top:2rem;padding-left:180px}.home-body>*{max-width:65ch}.home-body>h2:first-child{position:absolute;top:2.1rem;left:0;max-width:145px;margin:0;font-family:var(--font-ui);font-size:1rem;line-height:1.5;letter-spacing:0}.home-posts{margin-top:3.5rem;padding-top:.5rem;padding-bottom:0;border-top:1px solid var(--rule)}.list-container{padding-bottom:0}.list-container>h1{margin:0 0 2rem}.post-line{gap:1.5rem;margin:0;padding:1.5rem 0;border-bottom:1px solid var(--rule)}.line-date{min-width:100px;max-width:none;padding:0;text-align:left;color:var(--content-secondary);font-family:var(--font-ui);font-size:.8125rem}.line-title{font-size:1.5rem;line-height:1.3}.line-title a{color:var(--content-primary);text-decoration:none}.line-title a:hover{text-decoration:underline}.line-summary{margin-top:.65rem !important;font-size:1.125rem;line-height:1.65}.single-date,.single-pagination,.back-to-top,.breadcrumbs,.pagination,figcaption{font-family:var(--font-ui);font-size:.875rem}.back-to-top{margin:2.5rem 0 0}.heading .anchor{font-size:.7em;visibility:visible;opacity:0}.heading:hover .anchor,.heading:focus-within .anchor{opacity:1}.site-footer{justify-content:flex-start;flex-wrap:wrap;gap:.5rem 1.5rem;max-height:none;margin-top:4rem;padding:1.75rem 0 2rem;border-top:1px solid var(--rule);color:var(--content-secondary);font-family:var(--font-ui);font-size:.8125rem;line-height:1.6}.site-footer p{margin:0}.site-footer a{display:inline-flex;align-items:center;min-height:44px;margin:0;font-family:inherit}.site-footer nav{display:flex;flex-wrap:wrap;gap:1.5rem;margin-left:auto}table,th,td{font-family:var(--font-ui)}@media(max-width:800px){body{padding-inline:1.75rem}.home-intro{gap:2rem}.home-body{padding-left:0}.home-body>h2:first-child{position:static;max-width:none;margin-bottom:1rem;font-family:var(--font-display);font-size:1.85rem;line-height:1.25}}@media(max-width:560px){body{padding-inline:1.5rem;font-size:19px}.header{align-items:flex-start;flex-direction:column;gap:.75rem;padding-top:1.75rem;margin-bottom:2.5rem}.home-intro{grid-template-columns:1fr;gap:1.75rem;margin-bottom:2rem}.home-title{font-size:clamp(2rem,8.5vw,2.75rem)}.home-summary{font-size:1.25rem}.home-portrait{display:flex;align-items:center;gap:1rem;margin:0}.home-portrait img{width:70px;height:82px}.home-portrait figcaption{margin:0}.post-line{flex-direction:column;gap:.5rem}.line-date{min-width:0}.site-footer{align-items:flex-start;flex-direction:column;gap:0;margin-top:3rem}.site-footer nav{margin-left:0}}@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}}: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)}:root{color-scheme:light;--content-primary:#253545;--content-secondary:#526171;--background:#ffffff;--accent:#315f82;--rule:#dce3eb;--code-background:#f3f6f8;--code-border:#dce3eb}.dark{color-scheme:dark;--content-primary:#e5ebf3;--content-secondary:#afbdcd;--background:#18222c;--accent:#89b9e0;--rule:#425364;--code-background:#202e3b;--code-border:#425364}@media(prefers-color-scheme:dark){.auto{color-scheme:dark;--content-primary:#e5ebf3;--content-secondary:#afbdcd;--background:#18222c;--accent:#89b9e0;--rule:#425364;--code-background:#202e3b;--code-border:#425364}}