:root{--bg:#fdfdfc;--fg:#1f2328;--muted:#656d76;--accent:#0b5fcc;--border:#e3e5e8;--code-bg:#f4f5f6}@media(prefers-color-scheme:dark){:root{--bg:#14161a;--fg:#e4e6ea;--muted:#9aa1ab;--accent:#6cb0ff;--border:#2c3036;--code-bg:#1d2026}}*{box-sizing:border-box}html{font-size:18px}body{margin:0 auto;padding:0 1.25rem;max-width:46rem;background:var(--bg);color:var(--fg);font-family:ui-sans-serif,system-ui,-apple-system,segoe ui,Roboto,sans-serif;line-height:1.65}a{color:var(--accent);text-underline-offset:.15em}h1,h2,h3,h4{line-height:1.25;margin:2rem 0 .75rem}h1{font-size:2rem;margin-top:1.5rem;letter-spacing:-.02em}h2{font-size:1.4rem}h3{font-size:1.15rem}img{max-width:100%;height:auto;border-radius:6px}.site-header{display:flex;justify-content:space-between;align-items:baseline;padding:1.5rem 0;border-bottom:1px solid var(--border)}.site-title{font-weight:700;font-size:1.1rem;color:var(--fg);text-decoration:none}.site-header nav a{margin-left:1.25rem;color:var(--muted);text-decoration:none}.site-header nav a:hover,.site-header nav a[aria-current]{color:var(--fg)}.site-footer{display:flex;justify-content:space-between;margin-top:4rem;padding:1.5rem 0 3rem;border-top:1px solid var(--border);color:var(--muted);font-size:.85rem}.site-footer a{margin-left:.75rem;color:var(--muted)}.meta{color:var(--muted);font-size:.85rem}.intro{display:flex;gap:1.5rem;align-items:center;margin-top:2rem}.intro h1{margin:0 0 .5rem}.intro p{margin:.25rem 0}.avatar{width:7rem;height:7rem;border-radius:50%;object-fit:cover;flex:none}.post-list,.pub-list{list-style:none;padding:0;margin:0}.post-list li{border-bottom:1px solid var(--border)}.post-link{display:flex;gap:1rem;padding:1.1rem 0;color:inherit;text-decoration:none}.post-link:hover .post-title{color:var(--accent)}.thumb{width:7rem;height:5rem;object-fit:cover;flex:none}.post-info{display:flex;flex-direction:column;gap:.15rem}.post-title{font-weight:650;font-size:1.1rem}.summary{font-size:.9rem;color:var(--muted)}.pub-list li{padding:.75rem 0;border-bottom:1px solid var(--border);display:flex;flex-direction:column}.pub-title{font-weight:600}.pub-authors{font-size:.9rem}article .content{margin-top:1.5rem}blockquote{margin:1rem 0;padding-left:1rem;border-left:3px solid var(--border);color:var(--muted)}code{font-family:ui-monospace,sf mono,Menlo,Consolas,monospace;font-size:.85em;background:var(--code-bg);padding:.1em .3em;border-radius:4px}pre{background:var(--code-bg);padding:1rem;border-radius:6px;overflow-x:auto;line-height:1.45}pre code,.highlight code{background:0 0;padding:0}.highlight pre{margin:1rem 0}table{border-collapse:collapse;display:block;overflow-x:auto}th,td{border:1px solid var(--border);padding:.4rem .75rem}@media(max-width:34rem){html{font-size:17px}.thumb{display:none}.intro{flex-direction:column;align-items:flex-start}}@media(prefers-color-scheme:light){.chroma .err{color:#f6f8fa;background-color:#82071e}.chroma .hl{}.chroma .lnt{white-space:pre;-webkit-user-select:none;user-select:none;margin-right:.4em;padding:0 .4em;color:#7f7f7f}.chroma .ln{white-space:pre;-webkit-user-select:none;user-select:none;margin-right:.4em;padding:0 .4em;color:#7f7f7f}.chroma .line{display:flex}.chroma .k{color:#cf222e}.chroma .kc{color:#cf222e}.chroma .kd{color:#cf222e}.chroma .kn{color:#cf222e}.chroma .kp{color:#cf222e}.chroma .kr{color:#cf222e}.chroma .kt{color:#cf222e}.chroma .na{color:#1f2328}.chroma .nc{color:#1f2328}.chroma .no{color:#0550ae}.chroma .nd{color:#0550ae}.chroma .ni{color:#6639ba}.chroma .nl{color:#900;font-weight:700}.chroma .nn{color:#24292e}.chroma .nx{color:#1f2328}.chroma .nt{color:#0550ae}.chroma .nb{color:#6639ba}.chroma .bp{color:#6a737d}.chroma .nv{color:#953800}.chroma .vc{color:#953800}.chroma .vg{color:#953800}.chroma .vi{color:#953800}.chroma .vm{color:#953800}.chroma .nf{color:#6639ba}.chroma .fm{color:#6639ba}.chroma .s{color:#0a3069}.chroma .sa{color:#0a3069}.chroma .sb{color:#0a3069}.chroma .sc{color:#0a3069}.chroma .dl{color:#0a3069}.chroma .sd{color:#0a3069}.chroma .s2{color:#0a3069}.chroma .se{color:#0a3069}.chroma .sh{color:#0a3069}.chroma .si{color:#0a3069}.chroma .sx{color:#0a3069}.chroma .sr{color:#0a3069}.chroma .s1{color:#0a3069}.chroma .ss{color:#032f62}.chroma .m{color:#0550ae}.chroma .mb{color:#0550ae}.chroma .mf{color:#0550ae}.chroma .mh{color:#0550ae}.chroma .mi{color:#0550ae}.chroma .il{color:#0550ae}.chroma .mo{color:#0550ae}.chroma .o{color:#0550ae}.chroma .ow{color:#0550ae}.chroma .p{color:#1f2328}.chroma .c{color:#57606a}.chroma .ch{color:#57606a}.chroma .cm{color:#57606a}.chroma .c1{color:#57606a}.chroma .cs{color:#57606a}.chroma .cp{color:#57606a}.chroma .cpf{color:#57606a}.chroma .gd{color:#82071e}.chroma .ge{color:#1f2328}.chroma .gi{color:#116329}.chroma .go{color:#1f2328}.chroma .gl{text-decoration:underline}.chroma .w{color:#fff}}@media(prefers-color-scheme:dark){.chroma .err{color:#f85149}.chroma .hl{}.chroma .lnt{white-space:pre;-webkit-user-select:none;user-select:none;margin-right:.4em;padding:0 .4em;color:#737679}.chroma .ln{white-space:pre;-webkit-user-select:none;user-select:none;margin-right:.4em;padding:0 .4em;color:#6e7681}.chroma .line{display:flex}.chroma .k{color:#ff7b72}.chroma .kc{color:#79c0ff}.chroma .kd{color:#ff7b72}.chroma .kn{color:#ff7b72}.chroma .kp{color:#79c0ff}.chroma .kr{color:#ff7b72}.chroma .kt{color:#ff7b72}.chroma .nc{color:#f0883e;font-weight:700}.chroma .no{color:#79c0ff;font-weight:700}.chroma .nd{color:#d2a8ff;font-weight:700}.chroma .ni{color:#ffa657}.chroma .ne{color:#f0883e;font-weight:700}.chroma .nl{color:#79c0ff;font-weight:700}.chroma .nn{color:#ff7b72}.chroma .py{color:#79c0ff}.chroma .nt{color:#7ee787}.chroma .nv{color:#79c0ff}.chroma .vc{color:#79c0ff}.chroma .vg{color:#79c0ff}.chroma .vi{color:#79c0ff}.chroma .vm{color:#79c0ff}.chroma .nf{color:#d2a8ff;font-weight:700}.chroma .fm{color:#d2a8ff;font-weight:700}.chroma .l{color:#a5d6ff}.chroma .ld{color:#79c0ff}.chroma .s{color:#a5d6ff}.chroma .sa{color:#79c0ff}.chroma .sb{color:#a5d6ff}.chroma .sc{color:#a5d6ff}.chroma .dl{color:#79c0ff}.chroma .sd{color:#a5d6ff}.chroma .s2{color:#a5d6ff}.chroma .se{color:#79c0ff}.chroma .sh{color:#79c0ff}.chroma .si{color:#a5d6ff}.chroma .sx{color:#a5d6ff}.chroma .sr{color:#79c0ff}.chroma .s1{color:#a5d6ff}.chroma .ss{color:#a5d6ff}.chroma .m{color:#a5d6ff}.chroma .mb{color:#a5d6ff}.chroma .mf{color:#a5d6ff}.chroma .mh{color:#a5d6ff}.chroma .mi{color:#a5d6ff}.chroma .il{color:#a5d6ff}.chroma .mo{color:#a5d6ff}.chroma .o{color:#ff7b72;font-weight:700}.chroma .ow{color:#ff7b72;font-weight:700}.chroma .c{color:#8b949e;font-style:italic}.chroma .ch{color:#8b949e;font-style:italic}.chroma .cm{color:#8b949e;font-style:italic}.chroma .c1{color:#8b949e;font-style:italic}.chroma .cs{color:#8b949e;font-weight:700;font-style:italic}.chroma .cp{color:#8b949e;font-weight:700;font-style:italic}.chroma .cpf{color:#8b949e;font-weight:700;font-style:italic}.chroma .gd{color:#ffa198}.chroma .ge{font-style:italic}.chroma .gr{color:#ffa198}.chroma .gh{color:#79c0ff;font-weight:700}.chroma .gi{color:#56d364}.chroma .go{color:#8b949e}.chroma .gp{color:#8b949e}.chroma .gs{font-weight:700}.chroma .gu{color:#79c0ff}.chroma .gt{color:#ff7b72}.chroma .gl{text-decoration:underline}.chroma .w{color:#6e7681}}mjx-container[display=true]{overflow-x:auto;overflow-y:hidden;max-width:100%}