*,::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:0.5em;--main-padding-bottom:3rem;--caption-padding:calc(.25 * var(--main-padding));--header-top-gap:2rem;--header-bottom-gap:2rem;--header-menu-side-gap:0.94rem;--header-menu-top-gap:0.8rem;--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.6em;--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;--code-background:rgb(241, 231, 189);--code-border:rgb(178, 163, 142);--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}@media screen and (max-width:1024px){:root{--main-width:720px;--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: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{scroll-behavior:smooth}body{font-family:literata;margin:auto;max-width:var(--main-width);padding-left:var(--main-padding);padding-right:var(--main-padding);color:var(--content-primary);background:var(--background);font-size:1.15em}.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{a { text-decoration: none; font-weight: normal; color: var(--content-secondary); visibility: hidden; font-size: 0.9em; font-family: var(--font-mono); } &:hover a { 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)}pre{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:monaspace;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-family:-apple-system,BlinkMacSystemFont,segoe ui,Roboto,Oxygen,Ubuntu,Cantarell,open sans,helvetica neue,sans-serif;margin-top:var(--header-menu-top-gap);margin-right:var(--header-menu-side-gap)}.header-title{font-size:2.65em;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: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:roboto mono,monospace;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)}.post-summary{font-size:.85em;margin-top:.2rem!important;color:var(--content-secondary);display:-webkit-box;-webkit-line-clamp:2;-webkit-box-orient:vertical;overflow:hidden;text-overflow:ellipsis;line-height:1.5em;max-height:3em}.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}*/ .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:-apple-system,BlinkMacSystemFont,segoe ui,Roboto,Oxygen,Ubuntu,Cantarell,open sans,helvetica neue,sans-serif;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}:root{--main-width:680px}html[data-theme=light]{--bg:#fdfdfd;--text:#1a1a1a;--muted:#aaaaaa;--link:#1a1a1a;--link-ul:#cccccc;--border:#efefef}html[data-theme=dark]{--bg:#111111;--text:#e0e0e0;--muted:#555555;--link:#e0e0e0;--link-ul:#444444;--border:#222222}body{font-family:sora,-apple-system,BlinkMacSystemFont,sans-serif;font-size:14px;font-weight:300;line-height:1.9;background-color:var(--bg);color:var(--text);-webkit-font-smoothing:antialiased;max-width:680px;margin:0 auto;padding:0 1.5rem}h1,h2,h3,h4,h5,h6{font-family:sora,sans-serif;font-weight:400;letter-spacing:-.02em;color:var(--text)}a{color:var(--link);text-decoration:underline;text-decoration-color:var(--link-ul);text-underline-offset:4px;transition:text-decoration-color .15s ease}a:hover{color:var(--text);text-decoration-color:var(--text)}header{position:relative;padding-top:2.5rem;padding-bottom:1.5rem;margin-bottom:0}.header{padding-top:0;margin-bottom:0}.header-name-block{margin-bottom:.6rem}.header-title{font-family:sora,sans-serif;font-weight:300;font-size:1.6em;letter-spacing:-.03em;margin:0;color:var(--text)}.header-title a{color:var(--text);text-decoration:none}.header-title a:hover{text-decoration:none}.header .flex{display:flex;flex-wrap:wrap;gap:0;margin-left:-.5rem}.header .flex p.small{margin:0;margin-right:0!important;font-size:12.5px;font-weight:300;font-family:sora,sans-serif}.header .flex p.small a{color:var(--text);text-decoration:none;padding:.2rem .5rem;border-radius:4px;opacity:.65;position:relative;transition:color .12s ease,opacity .12s ease;display:inline-block}.header .flex p.small a::after{content:'';position:absolute;bottom:0;left:.5rem;right:.5rem;height:1px;background:var(--text);transform:scaleX(0);transform-origin:left;transition:transform .2s ease}.header .flex p.small a:hover{color:var(--text);text-decoration:none;opacity:1}.header .flex p.small a:hover::after{transform:scaleX(1)}.header .flex p.bold a{color:var(--text);font-weight:500;opacity:.8}#dark-mode-toggle{position:absolute;top:2.5rem;right:0;z-index:100;opacity:.65;color:var(--text);transition:opacity .15s ease}#dark-mode-toggle:hover{opacity:1}@media(max-width:600px){#dark-mode-toggle{top:1.25rem}}.social-icons{margin-bottom:1.75rem;margin-top:.4rem}.social-icons a{display:inline-block;opacity:.65;transition:opacity .2s ease,transform .2s ease}.social-icons a:hover{opacity:1;transform:scale(1.25)}.intro{margin-top:1rem!important;margin-bottom:2rem}.intro h1{display:none}.intro p{font-size:14px;font-weight:300;line-height:1.9;color:var(--text);margin-top:0;text-align:justify;hyphens:auto;-webkit-hyphens:auto;word-spacing:-.05em}.list-container h1{font-family:sora,sans-serif;font-size:1.6em;font-weight:300;letter-spacing:-.03em;text-transform:none;color:var(--text);margin-bottom:2rem;margin-top:1rem!important}.section-label{font-size:10px!important;font-weight:400!important;letter-spacing:.16em!important;text-transform:uppercase!important;color:var(--muted)!important;margin-bottom:1.5rem!important}.post-line{display:grid;grid-template-columns:72px 1fr;gap:1.25rem;align-items:baseline;padding:.3rem 0;border-bottom:none}.post-line+.post-line{border-top:1px solid var(--border)}.list-container>div:first-of-type .post-line:first-child{border-top:1px solid var(--border)}.line-date{font-size:11px;font-family:sora,sans-serif;font-weight:300;color:var(--text);opacity:.65;letter-spacing:.01em;text-align:left;padding-right:0;min-width:unset;max-width:unset;white-space:nowrap}.line-title{font-size:13.5px;font-weight:300;line-height:1.6;margin:0;color:var(--text)}.line-title a{color:var(--link);text-decoration:underline;text-decoration-color:var(--link-ul);text-underline-offset:4px}.line-title a:hover{text-decoration-color:var(--text)}.line-summary{display:none}.post-summary{font-size:12.5px;font-weight:300;color:var(--muted);margin-top:.2rem!important;line-height:1.6;display:-webkit-box;-webkit-line-clamp:2;-webkit-box-orient:vertical;overflow:hidden}.single-title{font-family:sora,sans-serif;font-weight:300;font-size:1.6em;letter-spacing:-.03em;line-height:1.2;margin-bottom:.25rem;color:var(--text)}.single-summary{font-size:13px;color:var(--text);opacity:.65;font-weight:300;margin-top:.25rem}.single-readtime{font-size:12px;color:var(--text);opacity:.65;font-weight:300;margin-top:.15rem}.single-intro-container{margin-top:1rem!important;margin-bottom:1rem}.single-intro-container h1{margin-top:0!important}.img-container img{display:block;margin:0 auto;max-width:100%;border-radius:6px}figure{text-align:center}figcaption{font-size:11.5px;color:var(--muted);padding-top:8px;font-style:italic}html code{font-family:jetbrains mono,monospace;font-size:.85em}html[data-theme=light] p code{background:#f4f4f4;color:#1a1a1a;border-radius:3px;padding:1px 5px}html[data-theme=light] pre,html[data-theme=light] pre *{background:#f7f7f7!important;color:#333}html[data-theme=light] pre{border:1px solid var(--border);border-radius:6px}html[data-theme=dark] p code{background:#1e1e1e;color:#e0e0e0;border-radius:3px;padding:1px 5px}html[data-theme=dark] pre,html[data-theme=dark] pre *,html[data-theme=dark] code,html[data-theme=dark] code *{background:#161616!important;color:#bbb}html[data-theme=dark] pre{border:1px solid var(--border);border-radius:6px}html[data-theme=light] th{background:#f4f4f4;color:#1a1a1a}html[data-theme=light] td,html[data-theme=light] td *{background:#fdfdfd;color:#1a1a1a}html[data-theme=dark] th,html[data-theme=dark] th *{background:#1e1e1e;color:#e0e0e0}html[data-theme=dark] td{background:#111;color:#e0e0e0}aside{margin:1.5rem 0;font-family:sora,sans-serif;font-size:.9em;font-weight:300}html[data-theme=dark] aside{background:0 0}.toc a{display:block;margin-bottom:.2em}.toc-container{padding:.75rem 1rem;background:0 0;border:1px solid var(--border);border-radius:6px;margin:1.5rem 0;font-size:.86em}.toc-container ul{padding-left:0;margin:0}.toc-container li{margin-bottom:.3em}.toc-container a{color:var(--muted);text-decoration:none}.toc-container a:hover{color:var(--text);text-decoration:underline;text-underline-offset:3px}blockquote{border-left:1px solid var(--border);color:var(--muted);font-style:normal;font-weight:300;margin-left:0;padding-left:1.25rem}hr{border:none;height:1px;background:var(--border);margin:2.5rem 0}.pagination{background:0 0;border:none;border-top:1px solid var(--border);padding:1rem 0;margin:2rem 0;display:flex;justify-content:space-between;align-items:center}.pagination a{color:var(--text);opacity:.65;text-decoration:none;font-size:12.5px;font-weight:300;transition:color .12s ease,opacity .12s ease}.pagination a:hover{color:var(--text);opacity:1}.back-to-top{position:fixed;bottom:2rem;right:2rem;width:36px;height:36px;border-radius:50%;border:1px solid var(--border);background:var(--bg);color:var(--text);font-size:16px;line-height:1;cursor:pointer;display:flex;align-items:center;justify-content:center;opacity:0;pointer-events:none;transition:opacity .2s ease,color .15s ease,border-color .15s ease;z-index:999}.back-to-top.visible{opacity:.65;pointer-events:auto}.back-to-top:hover{color:var(--text);border-color:var(--text)}.toc-toggle{display:flex;align-items:center;gap:.5rem;background:0 0;border:none;cursor:pointer;font-family:sora,sans-serif;font-size:12px;font-weight:400;color:var(--text);opacity:.65;padding:0;letter-spacing:.04em;width:100%;transition:opacity .15s ease}.toc-toggle:hover{color:var(--text);opacity:1}.toc-icon{display:flex;flex-direction:column;gap:3px;width:14px;flex-shrink:0}.toc-icon span{display:block;height:1px;background:currentColor;border-radius:1px;transition:width .15s ease}.toc-icon span:nth-child(1){width:100%}.toc-icon span:nth-child(2){width:70%}.toc-icon span:nth-child(3){width:50%}.toc-toggle:hover .toc-icon span{width:100%}.toc-chevron{margin-left:auto;font-size:14px;transition:transform .2s ease;color:var(--muted)}.toc-links{margin-top:.75rem}footer{font-size:11.5px;font-weight:300;color:var(--text);opacity:.65;margin-top:0;padding-top:.75rem;padding-bottom:1.5rem}.about-intro{margin-bottom:1.5rem;overflow:hidden}.about-photo{float:left;width:160px;height:210px;object-fit:cover;border-radius:6px;margin-right:1.5rem;margin-bottom:.5rem;transition:transform .3s ease}.about-photo:hover{transform:scale(1.04)}.about-bio{flex:1;min-width:0}.about-bio p{margin-top:0;text-align:justify;hyphens:auto;-webkit-hyphens:auto;word-spacing:-.05em}.exp-entry{display:flex;gap:.85rem;align-items:flex-start;margin-bottom:1.25rem}.exp-logo{width:20px;height:20px;object-fit:contain;flex-shrink:0;margin-top:3px}.exp-body{flex:1}.exp-body p{margin-top:.25rem;margin-bottom:0;text-align:justify;hyphens:auto;-webkit-hyphens:auto;word-spacing:-.05em}.exp-header{display:flex;justify-content:space-between;align-items:baseline;flex-wrap:wrap;gap:.25rem}.exp-date{font-size:11.5px;color:var(--text);opacity:.65;font-weight:300;white-space:nowrap}.exp-role{font-size:12.5px;color:var(--text);opacity:.65;font-style:italic;margin-bottom:.1rem}.pub-list{margin-top:0}.pub-entry{padding:.6rem 0;border-top:1px solid var(--border)}.pub-entry:first-child{border-top:none}.pub-title{display:block;margin-bottom:.3rem;line-height:1.6}.pub-link{font-weight:400;font-size:13.5px;color:var(--text);text-decoration:none;line-height:1.5}.pub-link:hover{text-decoration:underline;text-decoration-color:var(--text);text-underline-offset:3px}.pub-icon{font-size:13px;opacity:.5;vertical-align:super;margin-left:1px;transition:opacity .15s ease}.pub-link:hover .pub-icon{opacity:1}.pub-oral{font-size:10px;font-weight:400;letter-spacing:.06em;text-transform:uppercase;color:#ff8100;border:1px solid #ff8100;border-radius:3px;padding:1px 5px;white-space:nowrap;flex-shrink:0}.pub-authors{font-size:12.5px;font-weight:300;color:var(--text);opacity:.65;margin-bottom:.15rem}.pub-venue{font-size:12px;font-weight:300;font-style:italic;color:var(--text);opacity:.65}.pub-footnote{font-size:12px;font-weight:300;color:var(--text);opacity:.65;margin-top:1rem}@media(max-width:600px){body{font-size:13.5px;padding:0 1rem}.header-title{font-size:1.35em}.header-name-block{padding-right:2.5rem}.post-line{grid-template-columns:80px 1fr;gap:1rem}.about-intro{grid-template-columns:110px 1fr}.about-photo{width:110px;height:145px}.exp-header{flex-direction:column;gap:0}.exp-date{order:2}.back-to-top{bottom:1.25rem;right:1.25rem}.toc-container{margin:1rem 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)}: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)}