@font-face{font-family:"Libre Baskerville";src:url("/fonts/libre-baskerville/LibreBaskerville-VariableFont_wght.woff2") format("woff2");font-weight:400 700;font-display:swap}@font-face{font-family:"Libre Baskerville";src:url("/fonts/libre-baskerville/LibreBaskerville-Italic-VariableFont_wght.woff2") format("woff2");font-weight:400 700;font-style:italic;font-display:swap}@font-face{font-family:"Noto Serif SC";src:url("/fonts/noto-serif-sc/NotoSerifSC-VariableFont_wght.woff2") format("woff2");font-weight:200 900;font-display:swap}@font-face{font-family:"Noto Sans SC";src:url("/fonts/noto-sans-sc/NotoSansSC-VariableFont_wght.woff2") format("woff2");font-weight:100 900;font-display:swap}@font-face{font-family:"Dobra";src:url("/fonts/dobra/Dobra-Light.woff2") format("woff2");font-weight:300;font-style:normal;font-display:swap}@font-face{font-family:"Dobra";src:url("/fonts/dobra/Dobra-LightItalic.woff2") format("woff2");font-weight:300;font-style:italic;font-display:swap}@font-face{font-family:"Dobra";src:url("/fonts/dobra/Dobra-Book.woff2") format("woff2");font-weight:400;font-style:normal;font-display:swap}@font-face{font-family:"Dobra";src:url("/fonts/dobra/Dobra-BookItalic.woff2") format("woff2");font-weight:400;font-style:italic;font-display:swap}@font-face{font-family:"Dobra";src:url("/fonts/dobra/Dobra-Medium.woff2") format("woff2");font-weight:500;font-style:normal;font-display:swap}@font-face{font-family:"Dobra";src:url("/fonts/dobra/Dobra-MediumItalic.woff2") format("woff2");font-weight:500;font-style:italic;font-display:swap}@font-face{font-family:"Dobra";src:url("/fonts/dobra/Dobra-Bold.woff2") format("woff2");font-weight:700;font-style:normal;font-display:swap}@font-face{font-family:"Dobra";src:url("/fonts/dobra/Dobra-BoldItalic.woff2") format("woff2");font-weight:700;font-style:italic;font-display:swap}@font-face{font-family:"Dobra";src:url("/fonts/dobra/Dobra-Black.woff2") format("woff2");font-weight:900;font-style:normal;font-display:swap}@font-face{font-family:"Dobra";src:url("/fonts/dobra/Dobra-BlackItalic.woff2") format("woff2");font-weight:900;font-style:italic;font-display:swap}:root{--c-bg: #fafaf8;--c-bg-alt: #f0efeb;--c-surface: #ffffff;--c-text: #2c2c2c;--c-text-muted: #6b6b6b;--c-border: #e0ddd8;--c-accent: #1a5276;--c-accent-hover:#154360;--c-link: #1a5276;--c-link-hover: #154360;--c-code-bg: #f5f4f0;--c-code-text: #3c3836;--f-serif: "Libre Baskerville", "Noto Serif SC", "Source Serif 4", Georgia, "Times New Roman", serif;--f-sans: "Dobra", "Noto Sans SC", "Inter", -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;--f-mono: "JetBrains Mono", "Fira Code", "Cascadia Code", monospace;--fs-xs: 0.75rem;--fs-sm: 0.875rem;--fs-base: 1rem;--fs-md: 1.125rem;--fs-lg: 1.25rem;--fs-xl: 1.5rem;--fs-2xl: 1.875rem;--fs-3xl: 2.25rem;--lh-tight: 1.3;--lh-normal: 1.7;--lh-loose: 1.9;--fw-normal: 400;--fw-medium: 500;--fw-bold: 700;--sp-1: 0.25rem;--sp-2: 0.5rem;--sp-3: 0.75rem;--sp-4: 1rem;--sp-5: 1.5rem;--sp-6: 2rem;--sp-8: 3rem;--sp-10: 4rem;--sp-12: 5rem;--w-content: 720px;--w-wide: 960px;--w-max: 1200px;--nav-height: 3.5rem;--radius: 4px;--shadow-sm: 0 1px 2px rgba(0,0,0,0.06);--shadow-md: 0 2px 8px rgba(0,0,0,0.08);--transition: 0.2s ease}html[data-theme=dark]{--c-bg: #1a1a1a;--c-bg-alt: #242424;--c-surface: #2a2a2a;--c-text: #e0ddd8;--c-text-muted: #9a9a9a;--c-border: #3a3a3a;--c-accent: #5dade2;--c-accent-hover:#85c1e9;--c-link: #5dade2;--c-link-hover: #85c1e9;--c-code-bg: #2d2d2d;--c-code-text: #e0ddd8}@media (prefers-color-scheme: dark){html:not([data-theme=light]){--c-bg: #1a1a1a;--c-bg-alt: #242424;--c-surface: #2a2a2a;--c-text: #e0ddd8;--c-text-muted: #9a9a9a;--c-border: #3a3a3a;--c-accent: #5dade2;--c-accent-hover:#85c1e9;--c-link: #5dade2;--c-link-hover: #85c1e9;--c-code-bg: #2d2d2d;--c-code-text: #e0ddd8}}*,*::before,*::after{box-sizing:border-box;margin:0;padding:0}html{font-size:16px;scroll-behavior:smooth;-webkit-text-size-adjust:100%}body{font-family:var(--f-serif);font-size:var(--fs-base);line-height:var(--lh-normal);color:var(--c-text);background-color:var(--c-bg);-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale}h1,h2,h3,h4,h5,h6{font-family:var(--f-serif);font-weight:var(--fw-bold);line-height:var(--lh-tight);color:var(--c-text)}h1{font-size:var(--fs-3xl);margin-bottom:var(--sp-5)}h2{font-size:var(--fs-2xl);margin-bottom:var(--sp-4)}h3{font-size:var(--fs-xl);margin-bottom:var(--sp-3)}h4{font-size:var(--fs-lg);margin-bottom:var(--sp-3)}p{margin-bottom:var(--sp-4)}a{color:var(--c-link);text-decoration:none;transition:color var(--transition)}a:hover{color:var(--c-link-hover);text-decoration:underline}ul,ol{margin-bottom:var(--sp-4);padding-left:var(--sp-5)}li{margin-bottom:var(--sp-1)}code{font-family:var(--f-mono);font-size:var(--fs-sm);background:var(--c-code-bg);color:var(--c-code-text);padding:.15em .35em;border-radius:var(--radius)}pre{background:var(--c-code-bg);color:var(--c-code-text);padding:var(--sp-4);border-radius:var(--radius);overflow-x:auto;margin-bottom:var(--sp-5);line-height:var(--lh-tight)}pre code{background:none;padding:0;font-size:var(--fs-sm)}blockquote{border-left:3px solid var(--c-accent);padding-left:var(--sp-4);margin:var(--sp-5) 0;color:var(--c-text-muted);font-style:italic}hr{border:none;border-top:1px solid var(--c-border);margin:var(--sp-6) 0}img{max-width:100%;height:auto;display:block}table{width:100%;border-collapse:collapse;margin-bottom:var(--sp-5);font-size:var(--fs-sm)}th,td{padding:var(--sp-2) var(--sp-3);border-bottom:1px solid var(--c-border);text-align:left}th{font-weight:var(--fw-bold);background:var(--c-bg-alt)}.nav{position:sticky;top:0;z-index:100;height:var(--nav-height);background:var(--c-bg);border-bottom:1px solid var(--c-border);display:flex;align-items:center;justify-content:center}.nav__inner{width:100%;max-width:var(--w-max);padding:0 var(--sp-5);display:flex;align-items:center;justify-content:space-between}.nav__brand{font-family:var(--f-serif);font-size:var(--fs-lg);font-weight:var(--fw-bold);color:var(--c-text);text-decoration:none}.nav__brand:hover{color:var(--c-accent);text-decoration:none}.nav__right{display:flex;align-items:center;gap:var(--sp-5)}.nav__links{display:flex;gap:var(--sp-5);list-style:none;margin:0;padding:0}.nav__link{font-family:var(--f-sans);font-size:var(--fs-sm);font-weight:var(--fw-medium);color:var(--c-text-muted);text-decoration:none;letter-spacing:.02em;text-transform:uppercase;transition:color var(--transition)}.nav__link:hover,.nav__link--active{color:var(--c-accent);text-decoration:none}.content{max-width:var(--w-content);margin:0 auto;padding:var(--sp-8) var(--sp-5)}.content--wide{max-width:var(--w-wide)}.footer{border-top:1px solid var(--c-border);padding:var(--sp-6) var(--sp-5);text-align:center;color:var(--c-text-muted);font-size:var(--fs-sm);font-family:var(--f-sans)}.footer a{color:var(--c-text-muted)}.footer a:hover{color:var(--c-accent)}.section-heading{display:flex;align-items:baseline;justify-content:space-between;margin-bottom:var(--sp-5)}.section-heading h2{margin-bottom:0}.section-heading__more{font-family:var(--f-sans);font-size:var(--fs-sm);color:var(--c-text-muted)}.section-heading__more:hover{color:var(--c-accent)}.theme-toggle{background:none;border:1px solid var(--c-border);border-radius:var(--radius);padding:var(--sp-1) var(--sp-2);font-family:var(--f-sans);font-size:var(--fs-xs);color:var(--c-text-muted);cursor:pointer;transition:all var(--transition);line-height:1;white-space:nowrap}.theme-toggle:hover{color:var(--c-accent);border-color:var(--c-accent)}@media (max-width: 768px){.nav__inner{padding:0 var(--sp-4)}.nav__right{gap:var(--sp-4)}.nav__links{gap:var(--sp-4)}.nav__link{font-size:var(--fs-xs)}.content{padding:var(--sp-6) var(--sp-4)}}.pub-card{display:flex;gap:var(--sp-5);padding:var(--sp-5) 0;border-bottom:1px solid var(--c-border)}.pub-card__img{flex-shrink:0;width:180px}.pub-card__img img{width:100%;border-radius:var(--radius);border:1px solid var(--c-border)}.pub-card__body{flex:1;min-width:0}.pub-card__title{font-size:var(--fs-md);font-weight:var(--fw-bold);margin-bottom:var(--sp-1);line-height:var(--lh-tight)}.pub-card__authors{font-size:var(--fs-sm);color:var(--c-text-muted);margin-bottom:var(--sp-1)}.pub-card__venue{font-size:var(--fs-sm);color:var(--c-text-muted);margin-bottom:var(--sp-2)}.pub-card__links{display:flex;flex-wrap:wrap;gap:var(--sp-2)}.pub-card__links a{font-family:var(--f-sans);font-size:var(--fs-xs);font-weight:var(--fw-medium);padding:var(--sp-1) var(--sp-2);border:1px solid var(--c-border);border-radius:var(--radius);color:var(--c-accent);transition:all var(--transition)}.pub-card__links a:hover{background:var(--c-accent);color:var(--c-surface);border-color:var(--c-accent);text-decoration:none}.pub-card--compact .pub-card__img{display:none}.profile{display:flex;gap:var(--sp-6);align-items:flex-start;margin-bottom:var(--sp-8)}.profile__photo{flex-shrink:0;width:180px}.profile__photo img{width:100%;border-radius:50%}.profile__info{flex:1}.profile__name{font-size:var(--fs-2xl);margin-bottom:var(--sp-1)}.profile__title{font-size:var(--fs-md);color:var(--c-text-muted);margin-bottom:var(--sp-3)}.profile__bio{margin-bottom:var(--sp-4)}.profile__links{display:flex;flex-wrap:wrap;gap:var(--sp-3);list-style:none;padding:0;margin:0}.profile__links a{font-family:var(--f-sans);font-size:var(--fs-sm);display:flex;align-items:center;gap:var(--sp-1)}.profile__links img,.profile__links svg{width:16px;height:16px}.news-list{list-style:none;padding:0;margin:0 0 var(--sp-5)}.news-list li{padding:var(--sp-2) 0;border-bottom:1px solid var(--c-border);font-size:var(--fs-sm);display:flex;gap:var(--sp-3)}.news-list__date{flex-shrink:0;color:var(--c-text-muted);font-family:var(--f-sans);min-width:5.5em}.post-preview{padding:var(--sp-4) 0;border-bottom:1px solid var(--c-border)}.post-preview h2{font-size:var(--fs-lg);margin-bottom:var(--sp-1)}.post-preview time{font-size:var(--fs-sm);color:var(--c-text-muted);font-family:var(--f-sans)}.post-preview p{font-size:var(--fs-sm);color:var(--c-text-muted);margin-top:var(--sp-2);margin-bottom:0}@media (max-width: 768px){.profile{flex-direction:column;align-items:center;text-align:center}.profile__photo{width:140px}.profile__links{justify-content:center}.pub-card{flex-direction:column}.pub-card__img{width:100%}}.blog-post-layout{display:grid;grid-template-columns:220px minmax(0, var(--w-content)) 220px;gap:var(--sp-5);max-width:calc(220px + var(--w-content) + 220px + var(--sp-5)*2);margin:0 auto;padding:var(--sp-8) var(--sp-4);align-items:start}.blog-post-layout__toc{position:sticky;top:calc(var(--nav-height) + var(--sp-5));max-height:calc(100vh - var(--nav-height) - var(--sp-8));overflow-y:auto}.blog-post-layout__article{min-width:0}.blog-post-layout__footnotes{position:sticky;top:calc(var(--nav-height) + var(--sp-5));max-height:calc(100vh - var(--nav-height) - var(--sp-8));overflow-y:auto;font-size:var(--fs-sm);color:var(--c-text-muted)}.blog-post-layout__footnotes .footnotes-list{padding-left:var(--sp-4);margin:0}.blog-post-layout__footnotes .footnotes-list li{margin-bottom:var(--sp-3);line-height:var(--lh-normal)}.blog-post-layout__footnotes .footnotes-list p{margin-bottom:var(--sp-1)}.toc__title{font-size:var(--fs-sm);font-family:var(--f-sans);font-weight:var(--fw-bold);text-transform:uppercase;letter-spacing:.05em;color:var(--c-text-muted);margin-bottom:var(--sp-3)}.toc__list{list-style:none;padding:0;margin:0;font-size:var(--fs-sm);font-family:var(--f-sans)}.toc__list li{margin-bottom:var(--sp-1)}.toc__list a{color:var(--c-text-muted);text-decoration:none;line-height:var(--lh-tight);display:block;padding:var(--sp-1) 0}.toc__list a:hover{color:var(--c-accent)}.toc__list ul{padding-left:var(--sp-3);margin:0;list-style:none}.blog-post__header{margin-bottom:var(--sp-6)}.blog-post__header h1{margin-bottom:var(--sp-2)}.blog-post__meta{font-family:var(--f-sans);font-size:var(--fs-sm);color:var(--c-text-muted);margin-bottom:var(--sp-2)}.blog-post__updated{color:var(--c-text-muted)}.blog-post__tags{display:flex;flex-wrap:wrap;gap:var(--sp-2);margin-top:var(--sp-2)}.blog-post__content{line-height:var(--lh-loose)}.blog-post__content .footnote-reference{font-size:var(--fs-xs);vertical-align:super;line-height:0}.blog-post__content .footnote-reference a{color:var(--c-accent);text-decoration:none}.blog-post__content .footnote-reference a:hover{text-decoration:underline}.blog-post__content img{margin:var(--sp-4) 0;border-radius:var(--radius)}.blog-post__mobile-toc{display:none;margin-bottom:var(--sp-5);border:1px solid var(--c-border);border-radius:var(--radius);padding:var(--sp-3);font-size:var(--fs-sm);font-family:var(--f-sans)}.blog-post__mobile-toc summary{cursor:pointer;font-weight:var(--fw-medium);color:var(--c-text-muted)}.blog-post__mobile-toc ul{list-style:none;padding-left:var(--sp-3);margin:var(--sp-2) 0 0}.blog-post__mobile-toc a{color:var(--c-text-muted);text-decoration:none}.blog-post__mobile-toc a:hover{color:var(--c-accent)}.tag{font-family:var(--f-sans);font-size:var(--fs-xs);font-weight:var(--fw-medium);padding:var(--sp-1) var(--sp-2);border:1px solid var(--c-border);border-radius:var(--radius);color:var(--c-text-muted);text-decoration:none;transition:all var(--transition)}.tag:hover{color:var(--c-accent);border-color:var(--c-accent);text-decoration:none}.mermaid-container{margin:var(--sp-5) 0;overflow-x:auto}.dimmable-image,.invertible-image{max-width:100%;height:auto}html[data-theme=dark] .invertible-image{filter:invert(1) hue-rotate(180deg)}html[data-theme=dark] .dimmable-image{filter:brightness(.85)}@media (prefers-color-scheme: dark){html:not([data-theme=light]) .invertible-image{filter:invert(1) hue-rotate(180deg)}html:not([data-theme=light]) .dimmable-image{filter:brightness(.85)}}.full-width{width:100%}@media (max-width: 1100px){.blog-post-layout{grid-template-columns:1fr;max-width:var(--w-content);padding:var(--sp-6) var(--sp-4)}.blog-post-layout__toc{display:none}.blog-post-layout__footnotes{position:static;max-height:none;border-top:1px solid var(--c-border);padding-top:var(--sp-5);margin-top:var(--sp-5)}.blog-post__mobile-toc{display:block}}.archive-year{margin-bottom:var(--sp-6)}.archive-year h2{font-size:var(--fs-xl);border-bottom:1px solid var(--c-border);padding-bottom:var(--sp-2)}.archive-list{list-style:none;padding:0;margin:0}.archive-list li{display:flex;gap:var(--sp-3);padding:var(--sp-2) 0;border-bottom:1px solid var(--c-border)}.archive-list time{flex-shrink:0;font-family:var(--f-sans);font-size:var(--fs-sm);color:var(--c-text-muted);min-width:5.5em}.archive-list a{font-size:var(--fs-base)}.tags-cloud{display:flex;flex-wrap:wrap;gap:var(--sp-3);list-style:none;padding:0;margin:var(--sp-5) 0}.pagination{display:flex;justify-content:space-between;margin-top:var(--sp-6);padding-top:var(--sp-4);border-top:1px solid var(--c-border);font-family:var(--f-sans);font-size:var(--fs-sm)}pre code .z-comment,pre code .z-block-comment{color:#8e908c;font-style:italic}pre code .z-keyword,pre code .z-storage{color:#8959a8}pre code .z-string,pre code .z-char{color:#718c00}pre code .z-number,pre code .z-constant{color:#f5871f}pre code .z-variable{color:#c82829}pre code .z-function{color:#4271ae}pre code .z-type{color:#c18401}pre code .z-tag{color:#c82829}pre code .z-attribute{color:#f5871f}pre code .z-operator{color:#3e999f}pre code .z-punctuation{color:#4d4d4c}pre code .z-builtin{color:#4271ae}pre code .z-meta{color:#8e908c}html[data-theme=dark] pre code .z-comment,html[data-theme=dark] pre code .z-block-comment{color:#7f8c8d;font-style:italic}html[data-theme=dark] pre code .z-keyword,html[data-theme=dark] pre code .z-storage{color:#c678dd}html[data-theme=dark] pre code .z-string,html[data-theme=dark] pre code .z-char{color:#98c379}html[data-theme=dark] pre code .z-number,html[data-theme=dark] pre code .z-constant{color:#d19a66}html[data-theme=dark] pre code .z-variable{color:#e06c75}html[data-theme=dark] pre code .z-function{color:#61afef}html[data-theme=dark] pre code .z-type{color:#e5c07b}html[data-theme=dark] pre code .z-tag{color:#e06c75}html[data-theme=dark] pre code .z-attribute{color:#d19a66}html[data-theme=dark] pre code .z-operator{color:#56b6c2}html[data-theme=dark] pre code .z-punctuation{color:#abb2bf}html[data-theme=dark] pre code .z-builtin{color:#61afef}html[data-theme=dark] pre code .z-meta{color:#7f8c8d}@media (prefers-color-scheme: dark){html:not([data-theme=light]) pre code .z-comment,html:not([data-theme=light]) pre code .z-block-comment{color:#7f8c8d;font-style:italic}html:not([data-theme=light]) pre code .z-keyword,html:not([data-theme=light]) pre code .z-storage{color:#c678dd}html:not([data-theme=light]) pre code .z-string,html:not([data-theme=light]) pre code .z-char{color:#98c379}html:not([data-theme=light]) pre code .z-number,html:not([data-theme=light]) pre code .z-constant{color:#d19a66}html:not([data-theme=light]) pre code .z-variable{color:#e06c75}html:not([data-theme=light]) pre code .z-function{color:#61afef}html:not([data-theme=light]) pre code .z-type{color:#e5c07b}html:not([data-theme=light]) pre code .z-tag{color:#e06c75}html:not([data-theme=light]) pre code .z-attribute{color:#d19a66}html:not([data-theme=light]) pre code .z-operator{color:#56b6c2}html:not([data-theme=light]) pre code .z-punctuation{color:#abb2bf}html:not([data-theme=light]) pre code .z-builtin{color:#61afef}html:not([data-theme=light]) pre code .z-meta{color:#7f8c8d}}