:root{--parchment: #f5f4ed;--ivory: #faf9f5;--warm-sand: #e8e6dc;--ink: #1B365D;--warm-900: #2d2a24;--warm-800: #3d3a33;--warm-700: #524e45;--warm-600: #6b665b;--warm-500: #847f72;--warm-400: #a39d8e;--warm-300: #c4bdae;--warm-200: #d8d2c4;--warm-100: #e8e6dc;--bg: var(--parchment);--bg-raised: var(--ivory);--bg-surface: var(--warm-sand);--text: var(--warm-900);--text-body: var(--warm-800);--text-muted: var(--warm-600);--text-faint: var(--warm-500);--accent: var(--ink);--border: var(--warm-200);--border-strong: var(--warm-300)}:root{--font-serif: "Source Serif 4", "Charter", "Georgia", "Times New Roman", serif;--font-sans: "Inter", -apple-system, BlinkMacSystemFont, "Segoe UI", system-ui, sans-serif;--font-mono: "JetBrains Mono", "Fira Code", "SF Mono", "Cascadia Code", monospace;--fs-display: clamp(1.75rem, 1.3rem + 2.2vw, 2.5rem);--fs-h1: clamp(1.5rem, 1.2rem + 1.5vw, 1.875rem);--fs-h2: clamp(1.25rem, 1.05rem + 1vw, 1.5rem);--fs-h3: clamp(1.125rem, 1rem + 0.6vw, 1.25rem);--fs-body: clamp(1rem, 0.95rem + 0.25vw, 1.0625rem);--fs-small: 0.875rem;--fs-tiny: 0.8125rem;--fs-micro: 0.75rem;--lh-tight: 1.2;--lh-dense: 1.45;--lh-read: 1.55;--lh-label: 1.35;--fw-serif: 500;--fw-sans: 400;--fw-sans-m: 500;--fw-sans-s: 600;--sp-1: 0.25rem;--sp-2: 0.5rem;--sp-3: 0.75rem;--sp-4: 1rem;--sp-5: 1.25rem;--sp-6: 1.5rem;--sp-8: 2rem;--sp-10: 2.5rem;--sp-12: 3rem;--sp-16: 4rem;--sp-20: 5rem;--max-width: 680px;--max-wide: 820px;--nav-height: 3.5rem}*,*::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(--font-serif);font-weight:var(--fw-serif);font-size:var(--fs-body);line-height:var(--lh-read);color:var(--text-body);background-color:var(--bg);-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale;text-rendering:optimizeLegibility;min-height:100vh;display:flex;flex-direction:column}main{flex:1 0 auto}em,i{font-style:normal}a{color:var(--accent);text-decoration:none;border-bottom:1px solid var(--warm-300);transition:border-color .15s ease}a:hover{border-bottom-color:var(--accent)}.container{max-width:var(--max-width);margin:0 auto;padding:0 var(--sp-4)}.container--wide{max-width:var(--max-wide)}.site-header{position:sticky;top:0;z-index:100;border-bottom:1px solid var(--border);background-color:rgba(245,244,237,.82);backdrop-filter:saturate(1.4) blur(10px);-webkit-backdrop-filter:saturate(1.4) blur(10px)}.site-nav{display:flex;align-items:center;justify-content:space-between;height:var(--nav-height);max-width:var(--max-wide);margin:0 auto;padding:0 var(--sp-4)}.site-nav__brand{font-family:var(--font-sans);font-weight:var(--fw-sans-s);font-size:.8125rem;letter-spacing:.08em;text-transform:uppercase;color:var(--accent);border-bottom:none;transition:color .18s ease}.site-nav__brand:hover{color:var(--text)}.site-nav__links{display:flex;align-items:center;gap:var(--sp-6);list-style:none;margin:0;padding:0}.site-nav__link{position:relative;font-family:var(--font-sans);font-weight:var(--fw-sans-s);font-size:var(--fs-micro);letter-spacing:.09em;text-transform:uppercase;color:var(--text-faint);border-bottom:none;transition:color .18s ease}.site-nav__link::after{content:"";position:absolute;left:0;right:0;bottom:-.5em;height:2px;background-color:var(--accent);transform:scaleX(0);transform-origin:center;transition:transform .2s ease}.site-nav__link:hover{color:var(--text);border-bottom:none}.site-nav__link:hover::after,.site-nav__link--active::after{transform:scaleX(1)}.site-nav__link--active{color:var(--accent)}@media (max-width: 600px){.site-nav__brand{font-size:.75rem;white-space:nowrap}.site-nav__links{gap:var(--sp-2)}.site-nav__link{font-size:.625rem;letter-spacing:.06em}}@media (max-width: 420px){.site-nav__links{gap:var(--sp-1)}.site-nav__link{font-size:.5625rem;letter-spacing:.04em}}.site-footer{border-top:1px solid var(--border);padding:var(--sp-6) 0}.site-footer__inner{max-width:var(--max-wide);margin:0 auto;padding:0 var(--sp-4);display:flex;justify-content:space-between;align-items:center;flex-wrap:wrap;gap:var(--sp-2)}.site-footer__text{font-family:var(--font-sans);font-size:var(--fs-micro);color:var(--text-faint);margin:0}.site-footer__social{display:flex;align-items:center;gap:var(--sp-3);list-style:none;margin:0;padding:0}.site-footer__social a{font-family:var(--font-sans);font-size:var(--fs-micro);color:var(--text-faint);border-bottom:none}.site-footer__social a:hover{color:var(--accent)}h1,h2,h3,h4,h5,h6{font-family:var(--font-serif);font-weight:var(--fw-serif);line-height:var(--lh-tight);color:var(--text);scroll-margin-top:calc(var(--nav-height) + var(--sp-2))}h1{font-size:var(--fs-h1);margin-top:var(--sp-12);margin-bottom:var(--sp-4)}h2{font-size:var(--fs-h2);margin-top:var(--sp-10);margin-bottom:var(--sp-3)}h3{font-size:var(--fs-h3);margin-top:var(--sp-8);margin-bottom:var(--sp-2)}h4{font-size:var(--fs-body);margin-top:var(--sp-6);margin-bottom:var(--sp-2)}p{margin-bottom:var(--sp-4)}.post__content ul,.post__content ol,.home__bio ul,.home__bio ol,.list__desc ul,.list__desc ol,.block-tip ul,.block-tip ol,.block-warning ul,.block-warning ol,.sidenote ul,.sidenote ol{margin-bottom:var(--sp-4);padding-left:var(--sp-5)}.post__content li,.home__bio li,.list__desc li,.block-tip li,.block-warning li,.sidenote li{margin-bottom:var(--sp-1)}blockquote{border-left:3px solid var(--warm-300);padding:var(--sp-2) var(--sp-4);margin:var(--sp-6) 0;color:var(--text-muted);background-color:var(--ivory);border-radius:0 var(--sp-1) var(--sp-1) 0}blockquote p:last-child{margin-bottom:0}code{font-family:var(--font-mono);font-size:.9em;background-color:var(--warm-sand);padding:.1em .3em;border-radius:var(--sp-1);color:var(--warm-800)}pre{margin:var(--sp-6) 0;padding:var(--sp-4);background-color:var(--ivory) !important;border:1px solid var(--border);border-radius:var(--sp-2);overflow-x:auto}pre code{background:none;padding:0;font-size:var(--fs-small);line-height:var(--lh-dense);color:var(--warm-700)}hr{border:none;border-top:1px solid var(--border);margin:var(--sp-8) 0}.footnotes{margin-top:var(--sp-12);padding:var(--sp-5) var(--sp-5);border-top:1px solid var(--border);background-color:var(--ivory);border-radius:0 0 var(--sp-1) var(--sp-1)}.footnotes .footnotes-list{padding-left:var(--sp-5);margin:0}.footnotes li{font-family:var(--font-sans);font-size:var(--fs-small);line-height:var(--lh-label);color:var(--text-muted);margin-bottom:var(--sp-2);scroll-margin-top:calc(var(--nav-height) + var(--sp-2))}.footnotes li:last-child{margin-bottom:0}.footnotes li p{margin:0}.footnotes li a{color:var(--text-muted);border-bottom:none}.footnotes li a:hover{color:var(--accent)}.footnote-reference{scroll-margin-top:calc(var(--nav-height) + var(--sp-2))}.footnote-reference a{font-family:var(--font-sans);font-size:.7em;color:var(--accent);border-bottom:none;text-decoration:none}.footnote-reference a:hover{color:var(--text)}table{width:100%;border-collapse:collapse;margin:var(--sp-6) 0;font-size:var(--fs-small)}table th,table td{padding:var(--sp-2) var(--sp-3);border-bottom:1px solid var(--border);text-align:left}table th{font-family:var(--font-sans);font-weight:var(--fw-sans-m);color:var(--text)}img{max-width:100%;height:auto;border-radius:var(--sp-1);display:block;margin:var(--sp-4) auto}.home{margin-top:var(--sp-16)}.home__header{display:flex;align-items:center;gap:var(--sp-6);margin-bottom:var(--sp-8)}@media (max-width: 540px){.home__header{gap:var(--sp-5)}}.home__photo{width:112px;height:112px;object-fit:cover;border-radius:999px;flex-shrink:0;margin:0;box-shadow:0 0 0 1px var(--warm-200)}@media (max-width: 540px){.home__photo{width:88px;height:88px}}.home__intro{min-width:0}.home__name{font-size:var(--fs-display);line-height:var(--lh-tight);margin:0}.home__tagline{font-family:var(--font-sans);font-size:var(--fs-small);font-weight:var(--fw-sans-m);color:var(--text-faint);line-height:var(--lh-label);margin:var(--sp-2) 0 0;letter-spacing:.01em}.home__bio p:last-child{margin-bottom:0}.home__links{display:flex;flex-wrap:wrap;align-items:center;gap:var(--sp-3);margin-top:var(--sp-8);padding:0;list-style:none}.home__links li{display:flex;align-items:center;gap:var(--sp-3);margin:0}.home__links li:not(:last-child)::after{content:"·";color:var(--warm-300)}.home__links a{font-family:var(--font-sans);font-size:var(--fs-small);font-weight:var(--fw-sans-m);border-bottom:none;color:var(--text-muted)}.home__links a:hover{color:var(--accent)}.post__header{margin-top:var(--sp-10);margin-bottom:var(--sp-8)}.post__title{font-size:var(--fs-display);line-height:var(--lh-tight);color:var(--accent);margin-bottom:var(--sp-2)}.post__meta{font-family:var(--font-sans);font-size:var(--fs-small);color:var(--text-faint);line-height:var(--lh-label)}.post__tags{display:flex;gap:var(--sp-2);flex-wrap:wrap;margin-top:var(--sp-3);list-style:none;padding:0}.post__tag{font-family:var(--font-sans);font-size:var(--fs-micro);font-weight:var(--fw-sans-m);color:var(--accent);background-color:var(--warm-sand);padding:.15em .5em;border-radius:var(--sp-1);border-bottom:none}.post__tag:hover{background-color:var(--warm-300)}.post__content{margin-bottom:var(--sp-12)}.post__content>*:first-child{margin-top:0}.pubs{list-style:none;margin:0 0 var(--sp-12);padding:0}.pub{margin-bottom:var(--sp-6)}.pub:last-child{margin-bottom:0}.pub__title{font-family:var(--font-serif);font-weight:600;font-size:var(--fs-h3);line-height:var(--lh-tight);color:var(--text);margin:0}.pub__authors{font-family:var(--font-sans);font-size:var(--fs-small);color:var(--text-muted);line-height:var(--lh-label);margin:var(--sp-1) 0 0}.pub__venue{font-family:var(--font-sans);font-size:var(--fs-small);color:var(--text-faint);line-height:var(--lh-label);margin:var(--sp-1) 0 0}.pub__links{font-family:var(--font-sans);font-size:var(--fs-small);margin:var(--sp-2) 0 0}.pub__links a{color:var(--accent);border-bottom:none}.pub__links a:hover{border-bottom:1px solid var(--accent)}.pub__sep{color:var(--warm-300);margin:0 var(--sp-2)}.list{margin-top:var(--sp-10)}.list__title{font-size:var(--fs-display);color:var(--accent);margin-bottom:var(--sp-1)}.list:not(:has(.list__desc)) .list__title{margin-bottom:var(--sp-3);padding-bottom:var(--sp-2);border-bottom:1px solid var(--border)}.list__desc{font-family:var(--font-sans);font-size:var(--fs-small);color:var(--text-muted);margin-top:var(--sp-1);margin-bottom:var(--sp-8);line-height:var(--lh-label)}.list__group{margin-bottom:var(--sp-8)}.list__year{font-family:var(--font-sans);font-weight:var(--fw-sans-m);font-size:var(--fs-small);color:var(--text-faint);margin-bottom:var(--sp-3);padding-bottom:var(--sp-1);border-bottom:1px solid var(--border)}.list__item{display:flex;align-items:baseline;gap:var(--sp-4);padding:var(--sp-2) 0}@media (max-width: 500px){.list__item{flex-direction:column;gap:var(--sp-1);padding:var(--sp-2) 0}}.list__date{font-family:var(--font-sans);font-size:var(--fs-micro);color:var(--text-faint);flex-shrink:0;width:5.5rem}@media (max-width: 500px){.list__date{width:auto}}.list__link{font-family:var(--font-serif);font-weight:var(--fw-serif);font-size:var(--fs-body);color:var(--text);border-bottom:none}.list__link:hover{color:var(--accent)}.block-tip,.block-warning{border-left:3px solid var(--accent);padding:var(--sp-3) var(--sp-4);margin:var(--sp-6) 0;background-color:var(--ivory);border-radius:0 var(--sp-1) var(--sp-1) 0}.block-tip p:last-child,.block-warning p:last-child{margin-bottom:0}.block-warning{border-left-color:var(--warm-600)}.proof-end::after{content:"∎";display:inline-block;color:var(--text-muted);margin-left:.25em}.sidenote{font-family:var(--font-sans);font-size:var(--fs-small);color:var(--text-muted);line-height:var(--lh-label);float:right;clear:right;width:200px;margin-right:-240px;margin-top:0;margin-bottom:var(--sp-2)}@media (max-width: 900px){.sidenote{float:none;width:auto;margin:var(--sp-3) 0;padding:var(--sp-2) var(--sp-3);background-color:var(--ivory);border-left:2px solid var(--warm-300);border-radius:0 var(--sp-1) var(--sp-1) 0}}.katex-display{margin:var(--sp-6) 0;overflow-x:auto;overflow-y:hidden;padding:var(--sp-1) 0}.katex{color:var(--text-body)}.travel-map{margin:var(--sp-6) 0 0;text-align:center}.travel-map svg{width:100%;max-width:760px;height:auto;display:inline-block}.travel-map figcaption{font-family:var(--font-sans);font-size:var(--fs-micro);color:var(--text-faint);margin-top:var(--sp-2)}.travel-map figcaption a{border-bottom:none;color:var(--text-faint)}.travel-map figcaption a:hover{color:var(--accent)}.travel-map path{fill:var(--warm-200);stroke:var(--bg);stroke-width:.4;transition:fill .2s ease}.travel-map #cn path,.travel-map #sg,.travel-map #tw,.travel-map #jp path,.travel-map #us path,.travel-map #gb path,.travel-map #do,.travel-map #ch,.travel-map #it path,.travel-map #es path,.travel-map #th,.travel-map #my path,.travel-map #fr path,.travel-map #is,.travel-map #no path,.travel-map #fi,.travel-map #se path,.travel-map #dk path{fill:var(--accent)}@media (max-width: 600px){.travel-map svg{max-width:100%}}.sr-only{position:absolute;width:1px;height:1px;padding:0;margin:-1px;overflow:hidden;clip:rect(0, 0, 0, 0);white-space:nowrap;border:0}