@font-face{font-family:"Worker";src:url("/fonts/WorkSans-Regular.woff2") format("woff2");font-weight:100 900;font-display:swap}@font-face{font-family:"Geist";src:url("/fonts/Geist-Variable.woff2") format("woff2");font-weight:100 900;font-display:swap}@font-face{font-family:"Geist Mono";src:url("/fonts/GeistMono-Variable.woff2") format("woff2");font-weight:100 900;font-display:swap}:root{--font: "Geist", "Worker", -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, sans-serif;--font-mono: "Geist Mono", "SF Mono", "Fira Code", Menlo, monospace;--max-width: 680px;--stale-emoji: "🍂";--stale-emoji: "😨"}[data-theme=gruvbox-dark]{--bg: #1d2021;--fg: beige;--fg-muted: #a89984;--border: #3c3836;--code-bg: #282828;--accent: #83a598;--heading: #d3869b;--red: #fb4934;--green: #b8bb26;--yellow: #fabd2f;--blue: #83a598;--purple: #d3869b;--aqua: #8ec07c;--orange: #fe8019}[data-theme=tokyo-night]{--bg: #1a1b26;--fg: #a9b1d6;--fg-muted: #565f89;--border: #292e42;--code-bg: #24283b;--accent: #7aa2f7;--heading: #bb9af7;--red: #f7768e;--green: #9ece6a;--yellow: #e0af68;--blue: #7aa2f7;--purple: #bb9af7;--aqua: #7dcfff;--orange: #ff9e64}[data-theme=vitesse-dark]{--bg: #121212;--fg: #dbd7ca;--fg-muted: #6394bf;--border: #191919;--code-bg: #1a1a1a;--accent: #4d9375;--heading: #6394bf;--red: #cb7676;--green: #4d9375;--yellow: #e6cc77;--blue: #6394bf;--purple: #6872ab;--aqua: #5eaab5;--orange: #d4976c}[data-theme=rose-pine-dawn]{--bg: #faf4ed;--fg: #575279;--fg-muted: #9893a5;--border: #dfdad9;--code-bg: #f2e9e1;--accent: #286983;--heading: #907aa9;--red: #b4637a;--green: #286983;--yellow: #e97451;--blue: #286983;--purple: #907aa9;--aqua: #56949f;--orange: #d7827e}[data-theme=bw-light]{--bg: #f8f8ff;--fg: #19242e;--fg-muted: #8f8881;--border: #d4d4d4;--code-bg: #efefef;--accent: #42618f;--heading: #2f2c29;--red: #5a5a5a;--green: #6a6a6a;--yellow: maroon;--blue: #444;--purple: #383838;--aqua: #707070;--orange: #606060}*{margin:0;padding:0;box-sizing:border-box}html{font-size:16px}body{font-family:var(--font);background:var(--bg);color:var(--fg);line-height:2;transition:background .2s,color .2s}a{color:var(--accent);text-decoration:none}a:hover{text-decoration:underline}.nav{position:sticky;top:0;z-index:50;background:var(--bg);border-bottom:1px solid var(--border);padding:1rem 1.5rem}.nav-inner{max-width:var(--max-width);margin:0 auto;display:flex;justify-content:space-between;align-items:center}.nav-left,.nav-right{display:flex;align-items:center;gap:1.5rem}.nav-right a{font-weight:600}.feed-link{font-weight:400;opacity:.4;transition:opacity .2s}.feed-link:hover{opacity:1}.theme-select{background:var(--bg);border:1px solid var(--border);color:var(--fg);cursor:pointer;font-size:.8rem;padding:.25rem .4rem;border-radius:4px;font-family:inherit}.theme-select:hover{border-color:var(--fg-muted)}.theme-select:focus{outline:none;border-color:var(--accent)}.content{max-width:var(--max-width);margin:0 auto;padding:2rem 1.5rem}.home{min-height:40vh}.home p{margin-bottom:1rem}.bio{display:flex;flex-direction:column;align-items:center;gap:1.5rem}.bio-photo img,.bio-photo video{width:350px;height:350px;object-fit:cover;border-radius:6px}.bio-text{width:100%}.team-grid{display:grid;gap:2rem}.team-member{display:flex;gap:1.25rem;align-items:flex-start}.team-member img,.team-member video{width:240px;height:240px;object-fit:cover;border-radius:6px;flex-shrink:0}@media (max-width: 600px){.bio{flex-direction:column;align-items:center}.bio-photo img,.bio-photo video{width:200px;height:200px}.team-member{flex-direction:column;align-items:center;text-align:center}.team-member img,.team-member video{width:160px;height:160px}}.section h1{margin-bottom:.5rem;color:var(--heading)}.section-header{display:flex;justify-content:space-between;align-items:center;margin-bottom:.5rem}.section-desc{color:var(--fg-muted);margin-bottom:2rem}.layout-select{background:var(--bg);border:1px solid var(--border);color:var(--fg);cursor:pointer;font-size:.8rem;padding:.25rem .4rem;border-radius:4px;font-family:inherit}.layout-select:hover{border-color:var(--fg-muted)}.layout-select:focus{outline:none;border-color:var(--accent)}.stale-legend{font-size:.8rem;color:var(--fg-muted);margin-bottom:1.5rem}.stale-mark::before{content:var(--stale-emoji);font-size:.85em}.post-stale>.post-list-main>a,.card-stale .card-title{opacity:.7}.post-list{list-style:none}.post-list li{display:flex;justify-content:space-between;gap:1.5rem;padding:1rem 0}.post-list-main{flex:1;min-width:0}.post-list-main a{font-weight:600}.post-list-desc{color:var(--fg-muted);font-size:.85rem;margin-top:.25rem}.post-list-tags{margin-top:.35rem;display:flex;flex-wrap:wrap;gap:.35rem}.post-list-side{display:flex;flex-direction:column;align-items:flex-end;white-space:nowrap;font-size:.85rem;color:var(--fg-muted);gap:.15rem}.post-list-minimal li{padding:.5rem 0;align-items:baseline}.post-list-minimal li time{color:var(--fg-muted);font-size:.85rem;white-space:nowrap}.masonry{columns:2;column-gap:1rem}.card{display:block;break-inside:avoid;border:1px solid var(--border);border-radius:8px;padding:1.25rem;margin-bottom:1rem;text-decoration:none;color:var(--fg);transition:border-color .15s}.card:hover{border-color:var(--accent);text-decoration:none}.card-title{font-size:1.1rem;margin-bottom:.5rem;color:var(--heading)}.card-desc{font-size:.85rem;color:var(--fg-muted);margin-bottom:.75rem;line-height:1.5}.card-meta{font-size:.8rem;color:var(--fg-muted);display:flex;gap:.75rem}.card-tags{margin-top:.5rem;display:flex;flex-wrap:wrap;gap:.35rem}.tag{display:inline-block;font-size:.75rem;padding:.1rem .5rem;border-radius:3px;background:var(--code-bg);color:var(--accent);white-space:nowrap}.tag-cloud{display:flex;flex-wrap:wrap;gap:.5rem;margin-top:1rem}.tag-cloud .tag{font-size:.85rem;padding:.25rem .65rem}.tag-cloud .tag-count{opacity:.6;margin-left:.15rem}.backdrop{position:relative;width:100%;max-height:780px;overflow:hidden}.backdrop img{width:100%;max-height:480px;object-fit:cover;display:block}.backdrop+.content{margin-top:-9rem;position:relative;z-index:1}.backdrop-fade{position:absolute;bottom:0;left:0;right:0;height:50%;background:linear-gradient(rgba(0,0,0,0), var(--bg));pointer-events:none}.youtube{position:relative;padding-bottom:56.25%;height:0;overflow:hidden;margin-bottom:1rem;border-radius:6px}.youtube iframe{position:absolute;top:0;left:0;width:100%;height:100%;border:0}.post-header{margin-bottom:2rem}.post-header h1{margin-bottom:.25rem;color:var(--heading)}.post-meta{color:var(--fg-muted);font-size:.9rem;display:flex;gap:.75rem;align-items:center}.post-author{font-weight:500}.post-tags{margin-top:.5rem;display:flex;flex-wrap:wrap;gap:.35rem}.post-content h2,.post-content h3,.post-content h4{margin-top:2rem;margin-bottom:.75rem;color:var(--heading);font-family:"Geist"}.post-content h2{padding-bottom:.05rem;border-bottom:1px solid var(--border)}.post-content img{max-width:100%;height:auto}.post-content pre{overflow-x:auto}.post-content p{margin-bottom:1rem}.post-content ul,.post-content ol{margin-bottom:1rem;padding-left:1.5rem}.post-content blockquote{border-left:3px solid var(--accent);padding-left:1rem;margin:1rem 0;font-family:"Worker";color:var(--fg-muted)}.post-content img{max-width:100%;height:auto}.post-content img[src$=".svg"]{display:block;margin:1.5rem auto;border-radius:6px}[data-theme=gruvbox-dark] .post-content img[src$=".svg"],[data-theme=tokyo-night] .post-content img[src$=".svg"],[data-theme=vitesse-dark] .post-content img[src$=".svg"]{filter:invert(93%) hue-rotate(180deg)}.post-content pre{background:var(--code-bg);border-radius:6px;padding:1rem;overflow-x:auto;margin-bottom:1rem;font-size:.875rem;line-height:1.5}.post-content code{font-family:var(--font-mono);font-size:.875em}.post-content :not(pre)>code{background:var(--code-bg);padding:.15em .35em;border-radius:3px}.giallo-l{display:inline-block;min-height:1lh;width:100%}.giallo-ln{display:inline-block;user-select:none;margin-right:.4em;padding:0 .4em;min-width:3ch;text-align:right;opacity:.5}.code-block{position:relative}.code-block:hover .copy-btn{opacity:1}.copy-btn{position:absolute;top:.5rem;right:.5rem;background:var(--border);color:var(--fg-muted);border:none;border-radius:4px;padding:.25rem .5rem;font-size:.75rem;font-family:var(--font);cursor:pointer;opacity:0;transition:opacity .2s,background .2s}.copy-btn:hover{background:var(--fg-muted);color:var(--bg)}.copy-btn.copied{opacity:1}.toc{font-size:.85rem;line-height:1.7}.toc ol{padding-left:1.25rem;margin:0;counter-reset:toc-counter;list-style:none}.toc ol li{counter-increment:toc-counter;display:block}.toc ol li::before{content:counters(toc-counter, ".") ". ";color:var(--fg-muted);font-size:.8em;display:inline}.toc ol ol{padding-left:1rem}.toc a{color:var(--fg-muted);text-decoration:none}.toc a:hover{color:var(--accent)}.toc-inline{border:1px solid var(--border);border-radius:6px;padding:1rem 1.25rem;margin-bottom:2rem}.toc-inline .toc-title{font-weight:600;margin-bottom:.5rem;color:var(--heading);font-size:.9rem}.toc-side{position:fixed;top:5rem;left:calc((100vw - var(--max-width))/2 - 220px);width:200px;max-height:calc(100vh - 7rem);overflow-y:auto}.toc-side .toc-title{font-weight:600;margin-bottom:.5rem;color:var(--heading);font-size:.8rem;text-transform:uppercase;letter-spacing:.05em}.toc-side a{display:block;padding:.1rem 0;font-size:.8rem}.toc-side ul{list-style:none;padding-left:0}.toc-side .current>a{color:var(--accent);font-weight:600}@media (max-width: 1100px){.toc-side{display:none}}.toc-btn{position:fixed;bottom:1.5rem;right:1.5rem;width:2.75rem;height:2.75rem;background:var(--code-bg);color:var(--fg);border:1px solid var(--border);border-radius:8px;cursor:pointer;font-size:1.4rem;display:flex;align-items:center;justify-content:center;z-index:100;transition:border-color .2s;line-height:1}.toc-btn:hover{border-color:var(--fg-muted)}.toc-panel{position:fixed;bottom:5rem;right:1.5rem;width:260px;max-height:60vh;overflow-y:auto;background:var(--code-bg);border:1px solid var(--border);border-radius:8px;padding:1rem 1.25rem;z-index:100;opacity:0;pointer-events:none;transform:translateY(8px);transition:opacity .15s,transform .15s}.toc-panel.open{opacity:1;pointer-events:auto;transform:translateY(0)}.toc-panel .toc-title{font-weight:600;margin-bottom:.5rem;color:var(--heading);font-size:.85rem}.pub-list{list-style:none}.pub-item{padding:1.25rem 0;border-bottom:1px solid var(--border);line-height:1.1;font-family:"Geist"}.pub-top{display:flex;justify-content:space-between;align-items:baseline;gap:1rem}.pub-title{font-weight:600;font-size:1rem;color:var(--accent)}.pub-venue{white-space:nowrap;font-size:.85rem;color:var(--aqua);font-weight:500}.pub-authors{margin-top:.35rem;font-size:.85rem;color:var(--fg-muted)}.pub-authors a{color:var(--fg-muted)}.pub-authors a:hover{color:var(--accent)}.pub-authors .author-primary{color:var(--yellow);font-weight:500}.pub-authors a.author-primary:hover{color:var(--fg)}.pub-authors-page{font-size:.95rem;margin-top:.5rem}.pub-authors-page .author-primary{color:var(--yellow);font-weight:600}.pub-details{display:inline-block;margin-top:.5rem;font-size:.8rem;color:var(--accent)}.pub-venue-link{font-weight:500;color:var(--aqua)}.pub-artefacts{margin-top:.75rem;display:flex;flex-wrap:wrap;gap:.5rem}.pub-artefact{display:inline-block;font-size:.8rem;padding:.2rem .6rem;border:1px solid var(--border);border-radius:4px;color:var(--accent)}.pub-artefact:hover{border-color:var(--accent);text-decoration:none}.callout{border-left:3px solid var(--border);padding:.75rem 1rem;margin:1rem 0;font-size:.9rem;border-radius:0 6px 6px 0;background:var(--code-bg);font-family:"Worker"}.callout p:last-child{margin-bottom:0}.callout cite{display:block;margin-top:.5rem;font-size:.85rem;color:var(--fg-muted)}.callout-title{font-weight:600;margin-bottom:.35rem;color:var(--heading);font-size:.85rem}.post-content{counter-reset:thm-counter}.thm-numbered{counter-increment:thm-counter;border-left:none;border-radius:6px;border:1px solid var(--border);border-top:3px solid var(--accent);padding:.75rem 1rem}.callout-theorem{border-top-color:var(--accent)}.callout-lemma{border-top-color:var(--purple)}.callout-definition{border-top-color:var(--blue)}.thm-header{font-weight:700;margin-bottom:.4rem;font-size:.9rem}.callout-theorem .thm-header{color:var(--accent)}.callout-lemma .thm-header{color:var(--purple)}.callout-definition .thm-header{color:var(--blue)}.callout-theorem .thm-label::after{content:"Theorem " counter(thm-counter)}.callout-lemma .thm-label::after{content:"Lemma " counter(thm-counter)}.callout-definition .thm-label::after{content:"Definition " counter(thm-counter)}.thm-title{font-weight:400}.callout-proof{border-left:1.5px solid var(--border);background:rgba(0,0,0,0);padding-left:.5rem}.proof-header{margin-bottom:.4rem;font-size:.9rem}.qed{text-align:right;font-size:1rem;line-height:1}.callout-box{border-left-color:var(--accent)}.callout-definition{border-left-color:var(--blue)}.callout-remark{border-left-color:var(--purple)}.callout-comment{border-left-color:var(--fg-muted);font-style:italic}.callout-quote{border-left:none;font-style:italic}.callout-important{border-left-color:var(--orange)}.callout-warning,.callout-caution{border-left-color:var(--yellow)}.callout-tip,.callout-fact{border-left-color:var(--green)}.callout-note{border-left-color:var(--blue)}.callout-edit{border-left-color:var(--aqua)}.pub-note{margin-top:.75rem;font-size:.85rem;color:var(--fg-muted);font-style:italic}.sidenote-number{counter-increment:sidenote-counter}.sidenote-number::after{content:"🍍" counter(sidenote-counter);font-size:.75rem;vertical-align:super;line-height:0;color:var(--accent);cursor:pointer}.sidenote-toggle{display:none}.sidenote{font-size:.8rem;line-height:1.5;color:var(--fg-muted)}.sidenote .sidenote-num{font-size:.65rem;vertical-align:super;line-height:0;color:var(--accent);margin-right:.2em}.sidenote p{margin:0;display:inline}@media (min-width: 1020px){.post-content{counter-reset:sidenote-counter}.sidenote{float:right;clear:right;margin-right:-240px;width:210px;margin-top:.2rem;margin-bottom:1rem;position:relative}}@media (max-width: 1019px){.sidenote-number{cursor:pointer}.sidenote{display:none;padding:.5rem .75rem;margin:.5rem 0;background:var(--code-bg);border-radius:4px;border-left:2px solid var(--accent)}.sidenote-toggle:checked+.sidenote{display:block}}.footnotes-are-sidenotes .footnote-definition,.footnotes-are-sidenotes .footnote-definition+.footnote-definition{display:none}.footnotes-are-sidenotes hr.footnote-separator,.footnotes-are-sidenotes>hr:last-of-type{display:none}.footnote-reference a{font-size:.8rem;vertical-align:super;line-height:0;color:var(--accent);text-decoration:none;padding:0 .1em}.footnote-reference a::before{content:"🍍"}.katex-display{overflow-x:auto;overflow-y:hidden;padding:.5rem 0}span.primary{color:var(--yellow);font-weight:500}@media (max-width: 600px){.nav{padding:.75rem 1rem}.nav-left,.nav-right{gap:1rem}.content{padding:1.5rem 1rem}.masonry{columns:1}.post-list li{flex-direction:column;gap:.25rem}.post-list-side{flex-direction:row;align-items:center;gap:.5rem}.thm-numbered{padding:.5rem .75rem}.callout{padding:.5rem .75rem}.post-content img{max-width:100%;height:auto}.post-content pre{overflow-x:auto}.nav-right{flex-wrap:wrap;justify-content:flex-end}}