:root{--bg:#fbfbf9;--fg:#1d2124;--muted:#5f676d;--rule:#e2e4e1;--link:#1f5f8f;--code-bg:#f1f2ef;--serif:"Source Serif 4",Georgia,"Times New Roman",serif;--sans:"Source Sans 3",system-ui,-apple-system,"Segoe UI",sans-serif;--mono:"JetBrains Mono",ui-monospace,Menlo,Consolas,monospace}@media(prefers-color-scheme:dark){:root:not([data-theme=light]){--bg:#15181a;--fg:#e4e6e3;--muted:#9aa2a7;--rule:#2b3033;--link:#7fb6e0;--code-bg:#1e2225;color-scheme:dark}}:root[data-theme=dark]{--bg:#15181a;--fg:#e4e6e3;--muted:#9aa2a7;--rule:#2b3033;--link:#7fb6e0;--code-bg:#1e2225;color-scheme:dark}*{box-sizing:border-box}html{font-size:18px}body{margin:0;background:var(--bg);color:var(--fg);font-family:var(--serif);line-height:1.6}header.site,main,footer.site{max-width:40rem;margin:0 auto;padding-inline:1rem}header.site{display:flex;flex-wrap:wrap;gap:.5rem 1.25rem;justify-content:space-between;align-items:baseline;padding-block:1.5rem 0;font-family:var(--sans)}header.site .name{font-weight:600;color:var(--fg);text-decoration:none}header.site nav{display:flex;gap:1rem}header.site nav a{color:var(--muted);text-decoration:none}header.site nav a:hover{color:var(--link)}main{padding-block:2rem 3rem}footer.site{padding-block:1.5rem 2.5rem;border-top:1px solid var(--rule);color:var(--muted);font-family:var(--sans);font-size:.85rem}h1,h2,h3{line-height:1.25;text-wrap:balance}h1{font-size:1.9rem;margin:0 0 .25rem}h2{font-size:1.35rem;margin-top:2.2rem}h3{font-size:1.1rem;margin-top:1.6rem}.meta{color:var(--muted);font-family:var(--sans);font-size:.9rem;margin:0 0 2rem}a{color:var(--link);text-underline-offset:.15em}a:focus-visible{outline:2px solid var(--link);outline-offset:2px}.section-label{font-family:var(--sans);font-size:.8rem;letter-spacing:.08em;text-transform:uppercase;color:var(--muted);margin:0}.section-head{display:flex;justify-content:space-between;align-items:baseline;margin:2.5rem 0 .5rem;font-family:var(--sans);font-size:.85rem}.section-head a{color:var(--muted);text-decoration:none}.section-head a:hover{color:var(--link)}.talk{margin-bottom:2.5rem}.talk h2{margin-bottom:.15rem}.talk .meta{margin-bottom:.75rem}ul.posts{list-style:none;padding:0;margin:0}ul.posts li{display:flex;gap:1rem;padding-block:.4rem;border-bottom:1px solid var(--rule)}ul.posts time{flex:0 0 5.5rem;color:var(--muted);font-family:var(--sans);font-size:.9rem;font-variant-numeric:tabular-nums;padding-top:.1rem}ul.posts .draft,.meta .draft{font-family:var(--sans);font-size:.75rem;color:var(--muted)}code{font-family:var(--mono);font-size:.85em;background:var(--code-bg);padding:.1em .3em;border-radius:3px}pre{background:var(--code-bg);padding:1rem;overflow-x:auto;border-radius:4px;line-height:1.45}pre code{background:0 0;padding:0}blockquote{margin:1.5rem 0;padding-left:1rem;border-left:3px solid var(--rule);color:var(--muted)}img{max-width:100%}table{border-collapse:collapse;display:block;overflow-x:auto;font-size:.9rem}th,td{border-bottom:1px solid var(--rule);padding:.35rem .7rem;text-align:left}.katex{font-size:1.05em}.katex-display{overflow-x:auto;overflow-y:hidden;padding-block:.25rem}ul.posts .source{display:block;font-family:var(--sans);font-size:.8rem;color:var(--muted)}.video{position:relative;aspect-ratio:16/9;max-width:100%;margin:1rem 0 .5rem}.video iframe{position:absolute;inset:0;width:100%;height:100%;border:0;border-radius:4px}ul.pubs time{flex-basis:3rem}ul.pubs .source strong{color:var(--fg);font-weight:600}@media(max-width:30rem){header.site nav{gap:.75rem;font-size:.95rem}}footer.site{display:flex;justify-content:space-between;gap:1rem}footer.site a{color:var(--muted);text-decoration:none}footer.site a:hover{color:var(--link)}