:root{color-scheme:dark;--bg:#0f1115;--bg-2:#171a21;--fg:#d8dbe2;--fg-muted:#8b91a0;--accent:#7aa2f7;--border:#2a2f3a;--code-bg:#1b1f28;--max:72ch}:root[data-theme=light]{color-scheme:light;--bg:#fbfbfa;--bg-2:#f1f1ee;--fg:#1e2128;--fg-muted:#5f6673;--accent:#2f5fd0;--border:#dcdcd6;--code-bg:#f1f1ee}*{box-sizing:border-box}html{-webkit-text-size-adjust:100%;font-size:17px}body{background:var(--bg);color:var(--fg);flex-direction:column;min-height:100vh;margin:0;font-family:system-ui,-apple-system,Segoe UI,Roboto,Helvetica Neue,Arial,sans-serif;line-height:1.6;display:flex}a{color:var(--accent);text-decoration:none}a:hover{text-decoration:underline}h1,h2,h3,h4{margin:1.6em 0 .6em;line-height:1.25}h1{margin-top:.4em;font-size:1.9rem}h2{font-size:1.45rem}h3{font-size:1.15rem}p,ul,ol,blockquote,pre,table,figure{margin:0 0 1.1em}img,video{max-width:100%;height:auto}blockquote{border-left:3px solid var(--border);color:var(--fg-muted);margin-left:0;padding-left:1em}hr{border:0;border-top:1px solid var(--border);margin:2em 0}small,.muted{color:var(--fg-muted)}code,kbd,pre{font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,Liberation Mono,monospace;font-size:.92em}:not(pre)>code{background:var(--code-bg);border-radius:4px;padding:.1em .35em}pre{border-radius:6px;padding:.9em 1em;line-height:1.45;overflow-x:auto;background:var(--code-bg)!important}pre code{font-size:.88em}table{border-collapse:collapse;max-width:100%;display:block;overflow-x:auto}th,td{border:1px solid var(--border);text-align:left;padding:.35em .7em}th{background:var(--bg-2)}.katex-display{padding:.3em 0;overflow:auto hidden}.katex{font-size:1.05em}.wrap{width:100%;max-width:var(--max);margin:0 auto;padding:0 1rem}header.site{border-bottom:1px solid var(--border)}header.site .wrap{flex-wrap:wrap;align-items:center;gap:.6rem 1.2rem;max-width:64rem;padding-top:.9rem;padding-bottom:.9rem;display:flex}header.site .brand{color:var(--fg);white-space:nowrap;font-weight:700}header.site nav{flex-wrap:wrap;flex:1 1 0;justify-content:flex-end;align-items:center;gap:.4rem .9rem;min-width:0;display:flex}header.site .theme-toggle{flex-shrink:0}header.site nav a{white-space:nowrap}@media (width<=760px){header.site .theme-toggle{order:2;margin-left:auto}header.site nav{flex:100%;order:3;justify-content:flex-start}}header.site nav a{color:var(--fg-muted)}header.site nav a:hover,header.site nav a[aria-current=page]{color:var(--fg);text-decoration:none}header.site nav a.cta{color:var(--accent);border:2px solid var(--accent);border-radius:999px;padding:.2em .8em;font-size:.9rem;font-weight:500}header.site nav a.cta:hover{background:var(--accent);color:var(--bg)}main{flex:1;padding:1.5rem 0 3rem}footer.site{border-top:1px solid var(--border);color:var(--fg-muted);padding:1rem 0;font-size:.9rem}.post-list{margin:0;padding:0;list-style:none}.post-list li{border-bottom:1px solid var(--border);grid-template-columns:7.5rem 1fr;align-items:baseline;gap:.6rem;padding:.5rem 0;display:grid}.post-list time{color:var(--fg-muted);font-variant-numeric:tabular-nums;font-size:.9rem}.post-list .kind{text-transform:uppercase;letter-spacing:.05em;color:var(--fg-muted);margin-left:.5rem;font-size:.75rem}.post-list .desc{color:var(--fg-muted);margin:.15em 0 0;font-size:.92rem}@media (width<=520px){.post-list li{grid-template-columns:1fr;gap:.1rem}}.post-meta{color:var(--fg-muted);margin-bottom:1.5em;font-size:.92rem}.tags{flex-wrap:wrap;gap:.4em;display:inline-flex}.tag{background:var(--bg-2);border:1px solid var(--border);color:var(--fg-muted);border-radius:999px;padding:.05em .6em;font-size:.8rem}.tag:hover{color:var(--fg);text-decoration:none}.theme-toggle{color:var(--fg-muted);cursor:pointer;background:0 0;border:0;align-items:center;margin:0;padding:0;line-height:1;display:inline-flex}.theme-toggle:hover{color:var(--fg)}.theme-toggle svg{display:block}.theme-toggle .icon-moon,:root[data-theme=light] .theme-toggle .icon-sun{display:none}:root[data-theme=light] .theme-toggle .icon-moon{display:block}@media print{header.site nav,footer.site,.theme-toggle{display:none}body{color:#000;background:#fff}a{color:inherit}}.links{flex-wrap:wrap;gap:.3em 1.1em;margin:0 0 .5em;padding:0;list-style:none;display:flex}.links a{color:var(--fg-muted)}.links a:hover{color:var(--fg)}.links-list{flex-direction:column;gap:.3em}.links-list a{color:var(--accent)}.links-list .handle{color:var(--fg-muted)}h1,h2,h3,h4{scroll-margin-top:1.5rem}h2:target,h3:target,h4:target{color:var(--accent);animation:2.5s ease-out target-flash}h2:target:before,h3:target:before,h4:target:before{content:"#";color:var(--accent);width:1.1em;margin-left:-1.1em;display:inline-block}@keyframes target-flash{0%{background:color-mix(in srgb, var(--accent) 25%, transparent);box-shadow:0 0 0 .4em color-mix(in srgb, var(--accent) 25%, transparent)}to{background:0 0;box-shadow:0 0 0 .4em #0000}}@media (width<=900px){h2:target:before,h3:target:before,h4:target:before{width:auto;margin-left:0;margin-right:.3em}}.conf-list{margin:0 0 1.5em;padding:0;list-style:none}.conf-list li{border-bottom:1px solid var(--border);padding:.7em 0}.conf-head{flex-wrap:wrap;align-items:baseline;gap:.2em .8em;font-size:.92rem;display:flex}.conf-name{font-weight:600}.conf-title{margin-top:.15em}.conf-links{gap:1em;margin-top:.2em;font-size:.9rem;display:flex}.conf-body{color:var(--fg-muted);margin-top:.4em;font-size:.92rem}.conf-body p:last-child{margin-bottom:0}.portrait{float:right;width:min(200px,38%);margin:.2em 0 1em 1.5em;display:block}.portrait img{aspect-ratio:1;object-fit:cover;border:1px solid var(--border);background:var(--bg-2);border-radius:50%;width:100%;height:auto;display:block}@media (width<=520px){.portrait{float:none;width:180px;margin:0 auto 1.5em}}article:after{content:"";clear:both;display:block}.pub-list{margin:0 0 1.5em;padding:0;list-style:none}.pub-list li{border-bottom:1px solid var(--border);padding:.7em 0}.pub-authors{font-size:.92rem}.pub-title{margin-top:.1em;font-weight:600}.pub-venue{font-size:.92rem}.pub-links{flex-wrap:wrap;align-items:baseline;gap:.2em 1em;margin-top:.25em;font-size:.9rem;display:flex}.pub-links details{display:inline}.pub-links summary{cursor:pointer;color:var(--accent);list-style:none}.pub-links summary::-webkit-details-marker{display:none}.pub-links details[open] summary{color:var(--fg)}.pub-links pre{margin:.5em 0 0;font-size:.8rem}.pub-body{color:var(--fg-muted);margin-top:.4em;font-size:.92rem}.pub-body p:last-child{margin-bottom:0}