:root{--w:44rem;--w-wide:60rem;--bg:#fdfdfc;--fg:#1f1f1d;--fg-soft:#4a4a46;--muted:#7d7d78;--accent:#b5482b;--line:#e8e6e1;--code-bg:#f4f3ef;--serif:"Source Serif 4", Georgia, "Times New Roman", serif;--sans:"Inter", -apple-system, BlinkMacSystemFont, "Segoe UI", Helvetica, Arial, sans-serif;--mono:"JetBrains Mono", ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;color-scheme:light dark}@media (prefers-color-scheme:dark){:root{--bg:#131312;--fg:#e6e4df;--fg-soft:#b8b6b0;--muted:#85837d;--accent:#e8825f;--line:#2b2b29;--code-bg:#1c1c1a}}*{box-sizing:border-box}html{font-family:var(--serif);-webkit-text-size-adjust:100%;text-rendering:optimizelegibility;font-size:18px;line-height:1.65}body{background:var(--bg);color:var(--fg);margin:0}.wrap.wide{max-width:var(--w-wide)}.wrap{max-width:var(--w);margin:0 auto;padding:2.5rem 1.25rem 4rem}a{color:var(--accent);text-decoration:none}a:hover{text-underline-offset:.15em;text-decoration:underline 1px}header{font-family:var(--sans);flex-wrap:wrap;align-items:baseline;gap:.75rem 1.5rem;margin-bottom:3.5rem;font-size:.95rem;display:flex}header .brand{color:var(--fg);letter-spacing:-.01em;align-items:center;gap:.5rem;margin-right:auto;font-weight:600;display:inline-flex}header .brand img{border-radius:5px;width:20px;height:20px;display:block}header .brand:hover{text-decoration:none}header nav{gap:1.25rem;display:flex}header nav a{color:var(--muted)}header nav a:hover{color:var(--fg);text-decoration:none}header nav a[aria-current=page]{color:var(--fg)}h1,h2,h3,h4{font-family:var(--sans);letter-spacing:-.02em;margin:2.25rem 0 .75rem;font-weight:600;line-height:1.2}h1{margin-top:0;font-size:2rem}h2{font-size:1.35rem}h3{font-size:1.1rem}p,ul,ol{margin:0 0 1.2rem}li{margin-bottom:.35rem}strong{font-weight:600}.muted{color:var(--muted)}.meta{font-family:var(--sans);color:var(--muted);margin:-.25rem 0 2.5rem;font-size:.85rem}.meta a{color:var(--muted)}.meta a:hover{color:var(--accent)}.lede{color:var(--fg-soft);font-size:1.1rem}.posts{margin:0;padding:0;list-style:none}.posts li{align-items:baseline;gap:1.25rem;padding:.4rem 0;display:flex}.posts li a{color:var(--fg)}.posts li a:hover{color:var(--accent)}.posts time{font-family:var(--sans);color:var(--muted);font-variant-numeric:tabular-nums;flex:0 0 5.5rem;font-size:.8rem}.posts .year{font-family:var(--sans);letter-spacing:.08em;text-transform:uppercase;color:var(--muted);border-bottom:1px solid var(--line);margin:2rem 0 .5rem;padding-bottom:.4rem;font-size:.8rem;font-weight:600}.posts .year:first-child{margin-top:.5rem}article{font-size:1.05rem}article>h1{margin-bottom:.75rem}article img,article svg{border-radius:4px;max-width:100%;height:auto;margin:1.75rem auto;display:block}article figure{margin:1.75rem 0}article figure img{margin:0 auto .6rem}article figcaption{text-align:center;color:var(--muted);font-size:.85rem;font-family:var(--sans);padding:0 1rem;line-height:1.45}article blockquote{border-left:2px solid var(--accent);color:var(--fg-soft);margin:0 0 1.2rem;padding:.1rem 0 .1rem 1.1rem;font-style:italic}article hr{border:0;border-top:1px solid var(--line);margin:2.5rem 0}article a{text-decoration:underline;text-decoration-color:color-mix(in srgb, var(--accent) 35%, transparent);text-underline-offset:.15em;text-decoration-thickness:1px}article a:hover{text-decoration-color:var(--accent)}code{font-family:var(--mono);font-variant-ligatures:none;font-feature-settings:"liga" 0, "calt" 0;font-size:.85em}:not(pre)>code{background:var(--code-bg);color:var(--fg);border-radius:4px;padding:.1em .4em}pre{border:1px solid var(--line);border-radius:8px;margin:0 0 1.5rem;padding:1rem 1.1rem;line-height:1.5;overflow-x:auto;background:var(--code-bg)!important}pre code{font-size:.8rem}@media (prefers-color-scheme:dark){.astro-code,.astro-code span{color:var(--shiki-dark)!important}article img{filter:brightness(.92)}}pre.mermaid{text-align:center;border:0;background:0 0!important}.table-wrap,article table{margin:0 0 1.5rem;display:block;overflow-x:auto}table{border-collapse:collapse;font-size:.9rem;font-family:var(--sans)}th,td{text-align:left;border-bottom:1px solid var(--line);white-space:nowrap;padding:.5rem .75rem}th{border-bottom-width:2px;font-weight:600}article mjx-container{vertical-align:baseline;line-height:0;display:inline-block}article mjx-container svg{border-radius:0;max-width:none;height:auto;margin:0;display:inline-block;overflow:visible}.math-inline{white-space:nowrap}.math-inline mjx-container{margin:0 .08em;font-size:1.02em}.math-display{text-align:center;margin:.9rem 0 1.2rem;padding:0;overflow:auto hidden}article .math-display mjx-container{margin:0 auto;font-size:1.22em;display:block}article .math-display mjx-container svg{max-width:100%}.math-display+.math-display{text-align:center;margin:.9rem 0 1.2rem;padding:0;overflow:auto hidden}.pub{border-top:1px solid var(--line);grid-template-columns:15rem 1fr;gap:1.5rem;margin:2.25rem 0;padding-top:2.25rem;display:grid}.pub:first-of-type{border-top:0;margin-top:1.5rem;padding-top:0}.pub-cover{aspect-ratio:4/3;border:1px solid var(--line);background:#fff;border-radius:6px;justify-content:center;align-items:center;display:flex;overflow:hidden}.pub-cover img{object-fit:contain;width:100%;height:100%;margin:0;padding:.6rem;display:block}.pub-placeholder{font-family:var(--sans);color:var(--muted);text-align:center;font-size:.8rem;line-height:1.5}.pub .title{margin:0 0 .4rem;font-size:1.15rem}.pub .venue{font-family:var(--sans);color:var(--muted);font-size:.85rem}.pub .abstract{color:var(--fg-soft);margin:.75rem 0 .5rem;font-size:.95rem}.pub .links{font-family:var(--sans);font-size:.85rem}.pub .links a{margin-right:1rem}@media (prefers-color-scheme:dark){.pub-cover{background:#f3f2ee}}@media (width<=600px){.pub{grid-template-columns:1fr}.pub-cover{max-width:20rem}}.tags{font-family:var(--sans);flex-wrap:wrap;gap:.35rem .6rem;margin-bottom:1rem;display:flex}.tags a{color:var(--muted);border:1px solid var(--line);border-radius:999px;padding:.15rem .55rem;font-size:.8rem}.tags a:hover{color:var(--accent);border-color:var(--accent);text-decoration:none}footer{font-family:var(--sans);border-top:1px solid var(--line);color:var(--muted);flex-wrap:wrap;gap:1.25rem;margin-top:4.5rem;padding-top:1.25rem;font-size:.85rem;display:flex}footer a{color:var(--muted)}footer a:hover{color:var(--accent);text-decoration:none}footer span{margin-right:auto}@media (width<=600px){html{font-size:17px}.wrap{padding-top:1.5rem}header{margin-bottom:2.5rem}h1{font-size:1.7rem}.posts li{flex-direction:column;gap:.1rem;padding:.55rem 0}.posts time{flex:none}}.grid{grid-template-columns:repeat(auto-fill,minmax(17rem,1fr));gap:1.75rem 1.5rem;margin:0;padding:0;list-style:none;display:grid}.card{color:var(--fg);display:block}.card:hover{text-decoration:none}.card:hover .title{color:var(--accent)}.thumb{aspect-ratio:16/10;border:1px solid var(--line);background:#fff;border-radius:6px;justify-content:center;align-items:center;display:flex;overflow:hidden}.thumb img{object-fit:contain;border-radius:0;width:100%;height:100%;margin:0;padding:.35rem;display:block}.thumb .snippet{width:100%;height:100%;font-family:var(--mono);color:var(--fg-soft);background:var(--code-bg);white-space:pre;border:0;border-radius:0;margin:0;padding:.9rem;font-size:.62rem;line-height:1.45;overflow:hidden}.card .body{padding:.75rem .1rem 0}.card .title{font-family:var(--sans);letter-spacing:-.01em;font-size:1rem;font-weight:600;line-height:1.3}.card .desc{color:var(--fg-soft);-webkit-line-clamp:2;-webkit-box-orient:vertical;margin-top:.25rem;font-size:.92rem;line-height:1.45;display:-webkit-box;overflow:hidden}.card .date{font-family:var(--sans);color:var(--muted);margin-top:.4rem;font-size:.78rem}@media (prefers-color-scheme:dark){.thumb{background:#f3f2ee}.thumb img{filter:none}}.list-toggle{font-family:var(--sans);margin-left:auto;font-size:.85rem}.blog-head{align-items:baseline;gap:1rem;display:flex}.post-footer{border-top:1px solid var(--line);color:var(--fg-soft);margin-top:3rem;padding-top:1.25rem;font-size:.95rem}.post-footer p{margin-bottom:.5rem}