:root{--bg: #fdfdfc;--fg: #1a1b1f;--fg-muted: #5b5d66;--rule: rgba(144,145,148,0.14);--accent: #4a6b3a;--accent-fg: #ffffff;--code-bg: rgba(144,145,148,0.08);--fs-base: clamp(1rem, calc(0.95rem + 0.25vw), 1.125rem);--fs-h1: clamp(2rem, calc(1.6rem + 1.6vw), 2.75rem);--fs-h2: clamp(1.4rem, calc(1.2rem + 0.9vw), 1.75rem);--measure: 68ch}@media (prefers-color-scheme: dark){:root:not([data-theme="light"]){--bg: #15161a;--fg: #ececec;--fg-muted: #9ea1ab;--accent: #a8c890}}:root[data-theme="dark"]{--bg: #15161a;--fg: #ececec;--fg-muted: #9ea1ab;--accent: #a8c890}@font-face{font-family:"Plex Sans";src:url("../fonts/IBMPlexSansVar-Roman.woff2") format("woff2-variations"),url("../fonts/IBMPlexSansVar-Roman.woff2") format("woff2");font-weight:100 700;font-style:normal;font-display:swap}@font-face{font-family:"Plex Sans";src:url("../fonts/IBMPlexSansVar-Italic.woff2") format("woff2-variations"),url("../fonts/IBMPlexSansVar-Italic.woff2") format("woff2");font-weight:100 700;font-style:italic;font-display:swap}@font-face{font-family:"JetBrains Mono";src:url("../fonts/JetBrainsMonoVar-Roman.woff2") format("woff2-variations"),url("../fonts/JetBrainsMonoVar-Roman.woff2") format("woff2");font-weight:100 800;font-style:normal;font-display:swap}body{background:var(--bg);color:var(--fg);font-family:"Plex Sans",-apple-system,"Helvetica Neue","Segoe UI","Roboto",sans-serif;font-weight:400;font-size:var(--fs-base);line-height:1.6;margin:0;min-height:100vh;-webkit-text-size-adjust:100%;-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale}h1,h2,h3,h4,h5,h6{font-weight:600;letter-spacing:-0.01em}h1{font-size:var(--fs-h1);line-height:1.15}h2{font-size:var(--fs-h2);line-height:1.25}b,strong,th{font-weight:600}@media (min-width: 60em){p{text-align:justify;hyphens:auto}}a{color:var(--accent);text-decoration:inherit}a:hover{text-decoration:underline}header a,footer a,aside a{color:inherit}header time{color:var(--fg-muted)}hr{border:0;border-top:1px solid var(--rule);margin:2em 0}article:not(:last-of-type){border-bottom:1px solid var(--rule)}blockquote{background:rgba(144,145,148,0.06);border-left:3px solid var(--accent);padding:1px 1.5em;color:var(--fg-muted)}blockquote,figure{margin:1em 0}img{margin:.5em 0;border-radius:2px;max-width:100%;height:auto}li{margin:.25em 0}table{display:inline-block;max-width:100%;overflow-y:scroll;border-spacing:1px;border-radius:2px;box-shadow:0 0 0 1px var(--rule) inset}th,td{padding:.5em 1em;box-shadow:0 0 0 1px var(--rule)}tr:hover,tr:nth-child(odd) td{background:rgba(144,145,148,0.04)}pre,code,kbd{font-family:"JetBrains Mono",ui-monospace,"SF Mono",Menlo,Consolas,monospace}pre{background:var(--code-bg);border-radius:2px;font-size:.85em;margin:1.5em 0;padding:.8em 1.2em;overflow-x:auto}:not(pre)>code{font-size:.9em;background:var(--code-bg);border-radius:2px;margin:0 .1em;padding:.15em .4em}:focus-visible{outline:2px solid var(--accent);outline-offset:2px;border-radius:2px}.skip-link{position:absolute;top:-100px;left:0;background:var(--bg);color:var(--fg);padding:.5em 1em;border:1px solid var(--accent);z-index:100}.skip-link:focus{top:0}body{display:flex;flex-direction:column}main{flex-grow:1;display:flex;flex-direction:column}article{flex-grow:1}body>header,body>footer{display:flex;flex-wrap:wrap;align-items:center;justify-content:space-between}body>header,main>article,body>footer{padding:1.5em}main>article{width:100%;margin-inline:auto;box-sizing:border-box}main>article>p,main>article>ul,main>article>ol,main>article>blockquote,main>article>pre,main>article>h1,main>article>h2,main>article>h3,main>article>h4,main>article>.more{max-width:var(--measure);margin-inline:auto}article header{margin-bottom:1.5em;max-width:var(--measure);margin-inline:auto}article header h1{font-size:var(--fs-h1);margin:0 0 .1em}nav{display:flex;flex-wrap:wrap;align-items:center;margin:.25em 0}nav a{margin:.25em 0}.title{font-size:1.25em}.more{margin:2em 0 1em}.more a{border-radius:2px;border:1.5px solid var(--accent);padding:.4em .8em;transition:background .15s ease,color .15s ease}.more a:hover{color:var(--accent-fg);background:var(--accent);text-decoration:inherit}.archive{font-size:1.1em}.archive time{display:inline-block;min-width:10ch;min-height:1.75em;margin:0 .2em}.icon{height:1em;width:1em;fill:currentColor;transition:.2s color;vertical-align:middle;margin-bottom:.15em}a:hover .icon{color:var(--accent)}.full table{display:table;width:100%}.katex{overflow-x:auto;overflow-y:hidden}.rouge-table,.rouge-table th,.rouge-table td,.rouge-table tr,.rouge-table pre{font-size:inherit;background:inherit !important;box-shadow:none;width:initial;margin:0;padding:0}.rouge-table .gl pre{margin:0 1.5em 0 .25em;opacity:.5}.highlight pre{background:rgba(47,48,57,0.9);color:#fff}.highlight .c{color:#a29f90}.highlight .err{color:#960050;background-color:#1e0010}.highlight .k{color:#66d9ef}.highlight .l{color:#ae81ff}.highlight .n{color:#f8f8f2}.highlight .o{color:#f92672}.highlight .p{color:#f8f8f2}.highlight .cm,.highlight .cp,.highlight .c1,.highlight .cs{color:#75715e}.highlight .ge{font-style:italic}.highlight .gs{font-weight:bold}.highlight .kc,.highlight .kd{color:#66d9ef}.highlight .kn{color:#f92672}.highlight .kp,.highlight .kr,.highlight .kt{color:#66d9ef}.highlight .ld{color:#e6db74}.highlight .m{color:#ae81ff}.highlight .s{color:#e6db74}.highlight .na{color:#a6e22e}.highlight .nb{color:#f8f8f2}.highlight .nc{color:#a6e22e}.highlight .no{color:#66d9ef}.highlight .nd{color:#a6e22e}.highlight .ni{color:#f8f8f2}.highlight .ne,.highlight .nf{color:#a6e22e}.highlight .nl,.highlight .nn{color:#f8f8f2}.highlight .nx{color:#a6e22e}.highlight .py{color:#f8f8f2}.highlight .nt{color:#f92672}.highlight .nv{color:#f8f8f2}.highlight .ow{color:#f92672}.highlight .w{color:#f8f8f2}.highlight .mf,.highlight .mh,.highlight .mi,.highlight .mo{color:#ae81ff}.highlight .sb,.highlight .sc,.highlight .sd,.highlight .s2{color:#e6db74}.highlight .se{color:#ae81ff}.highlight .sh,.highlight .si,.highlight .sx,.highlight .sr,.highlight .s1,.highlight .ss{color:#e6db74}.highlight .bp,.highlight .vc,.highlight .vg,.highlight .vi{color:#f8f8f2}.highlight .il{color:#ae81ff}.highlight .gu{color:#75715e}.highlight .gd{color:#f92672}.highlight .gi{color:#a6e22e}.profile-section{display:grid;grid-template-columns:auto 1fr;gap:1.5rem;align-items:start;margin:2rem 0 3rem;max-width:var(--measure)}@media (max-width: 640px){.profile-section{grid-template-columns:1fr}}.profile-photo{margin:0}.profile-img{width:120px;height:120px;border-radius:50%;object-fit:cover;border:1px solid var(--rule)}@media (max-width: 640px){.profile-img{width:96px;height:96px}}.profile-content h1{margin:0 0 1rem;font-weight:600;letter-spacing:-0.02em}.research-description{font-size:1.02em;line-height:1.6}.research-description p{margin:.9em 0;text-align:left;hyphens:none}.research-description ol{padding-left:1.25em;margin:.9em 0}.research-description ol li{padding-left:.25em;margin:.5em 0}.project-grid{display:grid;grid-template-columns:repeat(auto-fit, minmax(min(100%, 22rem), 1fr));gap:1.25rem;margin:2rem 0;padding:0;list-style:none}.project-card{border:1px solid var(--rule);border-radius:4px;padding:1.25rem;display:flex;flex-direction:column;gap:.6rem;transition:border-color .15s ease}.project-card:hover{border-color:var(--accent)}.project-card h3{margin:0;font-size:1.15em}.project-card h3 a{color:var(--fg);text-decoration:none}.project-card h3 a:hover{color:var(--accent);text-decoration:none}.project-card .project-blurb{margin:0;color:var(--fg-muted);font-size:.95em;line-height:1.5;text-align:left;hyphens:none}.project-card .project-meta{display:flex;flex-wrap:wrap;gap:.4em .8em;align-items:center;margin-top:auto;font-size:.85em}.project-card .project-links a{color:var(--fg-muted);margin-right:.8em}.project-card .project-links a:hover{color:var(--accent);text-decoration:underline}.tag{display:inline-block;font-size:.8em;padding:.15em .55em;background:var(--code-bg);color:var(--fg-muted);border-radius:3px;margin-right:.25em;font-family:"JetBrains Mono",ui-monospace,"SF Mono",Menlo,Consolas,monospace}.theme-toggle{background:transparent;border:1px solid transparent;color:inherit;cursor:pointer;padding:.35em .55em;margin-left:auto;border-radius:4px;display:inline-flex;align-items:center;line-height:1}.theme-toggle:hover{border-color:var(--rule)}.theme-toggle .icon{width:1em;height:1em;fill:currentColor}.theme-toggle .icon-sun{display:none}.theme-toggle .icon-moon{display:inline}[data-theme="dark"] .theme-toggle .icon-sun{display:inline}[data-theme="dark"] .theme-toggle .icon-moon{display:none}@media (prefers-color-scheme: dark){:root:not([data-theme="light"]) .theme-toggle .icon-sun{display:inline}:root:not([data-theme="light"]) .theme-toggle .icon-moon{display:none}}header{align-items:center;gap:.25rem 1rem}nav a{border-radius:4px;padding:.5rem .6rem;border-bottom:2px solid transparent;transition:border-color .15s ease,color .15s ease}nav a:hover{border-bottom-color:var(--accent);text-decoration:none}nav a.selected{border-bottom-color:var(--accent);color:var(--fg)}footer{margin-top:3rem;padding:2rem 0;color:var(--fg-muted);font-size:.9em}.post-meta{color:var(--fg-muted);font-size:.9em;margin:.25em 0 1.5em;text-align:left;hyphens:none}@media (prefers-reduced-motion: reduce){*,*::before,*::after{transition:none !important;animation:none !important}}body>header,body>footer{width:100%;max-width:56rem;margin-inline:auto;box-sizing:border-box}main{width:100%;max-width:56rem;margin-inline:auto;box-sizing:border-box}body>header{border-bottom:1px solid var(--rule)}body>footer{border-top:1px solid var(--rule);opacity:.9}