:root{--bg:#fdfcfa;--fg:#1d1d1f;--muted:#6b6b70;--rule:#e6e3de;--accent:#1f5fbf;--accent-soft:#e8effa;--code-bg:#f4f2ee;--card-bg:#ffffff;--c-comment:#6e7781;--c-keyword:#cf222e;--c-string:#0a3069;--c-number:#0550ae;--c-func:#8250df;--c-type:#953800;--c-builtin:#0550ae;--font-body:ui-sans-serif, system-ui, -apple-system, "Segoe UI", Roboto, "Helvetica Neue", Arial, sans-serif;--font-mono:ui-monospace, "SFMono-Regular", "JetBrains Mono", Menlo, Consolas, monospace;color-scheme:light dark}@media(prefers-color-scheme:dark){:root{--bg:#141416;--fg:#e7e6e3;--muted:#9a9aa0;--rule:#2c2c30;--accent:#7fb0ff;--accent-soft:#1d2a40;--code-bg:#1d1d21;--card-bg:#1a1a1d;--c-comment:#8b949e;--c-keyword:#ff7b72;--c-string:#a5d6ff;--c-number:#79c0ff;--c-func:#d2a8ff;--c-type:#ffa657;--c-builtin:#79c0ff}}*,*::before,*::after{box-sizing:border-box}html{-webkit-text-size-adjust:100%}body{margin:0 auto;max-width:44rem;min-height:100vh;min-height:100dvh;display:flex;flex-direction:column;padding:0 1rem 1.5rem;background:var(--bg);color:var(--fg);font:1.0625rem/1.65 var(--font-body)}a{color:var(--accent);text-decoration-thickness:1px;text-underline-offset:2px}a:hover{text-decoration-thickness:2px}h1,h2,h3,h4{line-height:1.25;margin:1.8em 0 .5em}h1{font-size:1.9rem;margin-top:.5em;letter-spacing:-.01em}h2{font-size:1.35rem}h3{font-size:1.1rem}img{max-width:100%;height:auto}hr{border:0;border-top:1px solid var(--rule);margin:2rem 0}.muted{color:var(--muted)}.site-header{display:flex;flex-wrap:wrap;align-items:baseline;justify-content:space-between;gap:.5rem 1.5rem;padding:1.5rem 0 1rem;border-bottom:1px solid var(--rule);margin-bottom:1.5rem}main{flex:1 0 auto}.site-header nav{display:flex;flex-wrap:wrap;gap:.25rem 1.1rem}.site-header nav a{color:var(--muted);text-decoration:none}.site-header nav a:hover,.site-header nav a[aria-current]{color:var(--fg)}.site-header nav a[aria-current]{box-shadow:inset 0 -2px 0 var(--accent)}.site-footer{display:flex;flex-wrap:wrap;justify-content:space-between;gap:.5rem 1rem;margin-top:4rem;padding-top:1rem;border-top:1px solid var(--rule);color:var(--muted);font-size:.9rem}.links{display:inline-flex;flex-wrap:wrap;gap:.25rem 1rem}.about{display:flex;gap:1.5rem;align-items:flex-start}.avatar{width:120px;height:120px;border-radius:50%;object-fit:cover;flex:none;margin-top:1rem}@media(max-width:560px){.about{flex-direction:column}}.section-heading{font-size:.85rem;text-transform:uppercase;letter-spacing:.08em;color:var(--muted);font-weight:600;margin:2.5rem 0 .75rem}.post-list{list-style:none;padding:0;margin:0}.post-item{display:grid;grid-template-columns:7.5rem 1fr;gap:0 1rem;padding:.6rem 0}.post-item time{color:var(--muted);font-variant-numeric:tabular-nums;font-size:.95rem;padding-top:.05rem}.post-item p{margin:.15rem 0 0;font-size:.95rem}.post-link{font-weight:600}@media(max-width:560px){.post-item{grid-template-columns:1fr}}.tags{list-style:none;padding:0;margin:.35rem 0 0;display:flex;flex-wrap:wrap;gap:.35rem}.tags a,.tag-cloud a{font-size:.8rem;font-family:var(--font-mono);text-decoration:none;background:var(--accent-soft);color:var(--accent);padding:.1rem .45rem;border-radius:4px}.tag-cloud{list-style:none;padding:0;display:flex;flex-wrap:wrap;gap:.6rem 1rem}.post-header{margin-bottom:2rem}.post-header h1{margin-bottom:.25rem}.post-header p{margin:.25rem 0}.post-nav{display:flex;justify-content:space-between;gap:1rem;margin-top:3rem;padding-top:1rem;border-top:1px solid var(--rule)}.prose>:first-child{margin-top:0}.prose blockquote{margin:1.25rem 0;padding:0 1rem;border-left:3px solid var(--rule);color:var(--muted)}.prose table{border-collapse:collapse;width:100%;display:block;overflow-x:auto}.prose th,.prose td{border:1px solid var(--rule);padding:.4rem .6rem;text-align:left}.prose .katex-display{overflow-x:auto;overflow-y:hidden;padding:.25rem 0}code,pre{font-family:var(--font-mono);font-size:.88em}:not(pre)>code{background:var(--code-bg);padding:.1em .35em;border-radius:4px}pre{background:var(--code-bg);padding:.9rem 1rem;border-radius:6px;overflow-x:auto;line-height:1.5}.highlight pre{background:var(--code-bg)!important}.chroma .c,.chroma .c1,.chroma .cm,.chroma .ch,.chroma .cs,.chroma .cpf{color:var(--c-comment);font-style:italic}.chroma .k,.chroma .kc,.chroma .kd,.chroma .kn,.chroma .kp,.chroma .kr,.chroma .cp,.chroma .ow{color:var(--c-keyword)}.chroma .kt,.chroma .nc,.chroma .nn,.chroma .ne{color:var(--c-type)}.chroma .s,.chroma .s1,.chroma .s2,.chroma .sa,.chroma .sb,.chroma .sc,.chroma .sd,.chroma .se,.chroma .sh,.chroma .si,.chroma .sr,.chroma .ss,.chroma .sx{color:var(--c-string)}.chroma .m,.chroma .mb,.chroma .mf,.chroma .mh,.chroma .mi,.chroma .il,.chroma .mo{color:var(--c-number)}.chroma .nf,.chroma .fm,.chroma .nd{color:var(--c-func)}.chroma .nb,.chroma .bp,.chroma .na,.chroma .nt,.chroma .no,.chroma .nv{color:var(--c-builtin)}.chroma .gd{color:var(--c-keyword)}.chroma .gi{color:#1a7f37}.chroma .err{color:inherit;background:0 0}.chroma .hl{background:var(--accent-soft);display:block}.chroma .ln,.chroma .lnt{color:var(--muted);margin-right:.8em;user-select:none}.pub-list{list-style:none;padding:0;margin:0}.pub{padding:.75rem 0;border-bottom:1px solid var(--rule)}.pub:last-child{border-bottom:0}.pub-title{font-weight:600}.pub-authors{font-size:.95rem}.pub-venue{font-size:.95rem;font-style:italic}.pub details{margin-top:.4rem;font-size:.95rem}.pub summary{cursor:pointer;color:var(--muted)}.pill-links{display:flex;flex-wrap:wrap;gap:.4rem;margin:.4rem 0 0}.pill-links a{font-size:.8rem;text-decoration:none;text-transform:lowercase;border:1px solid var(--rule);border-radius:999px;padding:.05rem .6rem}.pill-links a:hover{border-color:var(--accent)}.cards{display:grid;grid-template-columns:repeat(auto-fill,minmax(16rem,1fr));gap:1rem;margin-top:1rem}.card{background:var(--card-bg);border:1px solid var(--rule);border-radius:8px;padding:1rem 1.1rem}.card h2{font-size:1.1rem;margin:0 0 .4rem}.card h2 a{color:var(--fg);text-decoration:none}.card h2 a:hover{color:var(--accent)}.card p{margin:0 0 .5rem;font-size:.95rem}.card .pill-links{gap:.25rem 1rem;margin-top:.6rem}.card .pill-links a{border:0;border-radius:0;padding:0;font-size:.9rem;text-transform:capitalize;text-decoration:underline;text-decoration-thickness:1px;text-underline-offset:2px}.card .pill-links a:hover{text-decoration-thickness:2px}