:root{color-scheme:light dark;--bg:#F9F6F4;--bg-2:#F1ECE8;--ink:#22211F;--ink-2:#5E5A55;--line:#E2DBD5;--copper:#A8856D;--copper-ink:#7A5C47;--card:#FFFFFF;--l-diff:#2F8F4E;--l-poly:#C8402F;--l-m1:#2F6FC4;--l-m2:#8E4FB5;--l-ct:#22211F;--l-nwell:#8A7F74;--mono:"JetBrains Mono", ui-monospace, monospace;--sans:"Outfit", system-ui, sans-serif;--ease-out:cubic-bezier(0.23, 1, 0.32, 1)}@media(prefers-color-scheme:dark){:root:not([data-theme=light]){--bg:#161514;--bg-2:#1E1C1B;--ink:#F3EEEA;--ink-2:#A9A29B;--line:#2E2B29;--copper:#C29E85;--copper-ink:#D2B39C;--card:#1E1C1B;--l-diff:#4CC27A;--l-poly:#EE6A58;--l-m1:#62A6F2;--l-m2:#C590E6;--l-ct:#F3EEEA;--l-nwell:#8E857C}}:root[data-theme=dark]{--bg:#161514;--bg-2:#1E1C1B;--ink:#F3EEEA;--ink-2:#A9A29B;--line:#2E2B29;--copper:#C29E85;--copper-ink:#D2B39C;--card:#1E1C1B;--l-diff:#4CC27A;--l-poly:#EE6A58;--l-m1:#62A6F2;--l-m2:#C590E6;--l-ct:#F3EEEA;--l-nwell:#8E857C}*{box-sizing:border-box}body{margin:0;background:var(--bg);color:var(--ink);font:17px/1.6 var(--sans);-webkit-font-smoothing:antialiased;-webkit-tap-highlight-color:transparent}a{color:inherit;text-underline-offset:3px;text-decoration-color:var(--line)}a:hover{text-decoration-color:initial}:focus-visible{outline:2px solid var(--copper);outline-offset:3px;border-radius:4px}.wrap{max-width:1120px;margin:0 auto;padding:0 24px}.skip{position:absolute;left:-999px}.skip:focus{left:16px;top:12px;z-index:20;background:var(--card);padding:8px 12px}code{font-family:var(--mono);font-size:.88em}h1,h2,h3{text-wrap:balance;font-weight:600}.vh{position:absolute;width:1px;height:1px;overflow:hidden;clip-path:inset(50%);white-space:nowrap}nav.top{position:sticky;top:0;z-index:10;background:color-mix(in srgb,var(--bg) 88%,transparent);backdrop-filter:blur(10px);border-bottom:1px solid var(--line)}nav.top .wrap{display:flex;align-items:center;gap:28px;height:64px}.brand{display:flex;align-items:center;gap:10px;text-decoration:none;font-weight:600;font-size:20px;letter-spacing:-.01em}.brand img{height:26px;width:auto;display:block}nav.top .links{display:flex;align-items:center;gap:24px;margin-left:auto;font-size:15px}nav.top .links a{text-decoration:none;color:var(--ink-2)}nav.top .links a:hover,nav.top .links a[aria-current]{color:var(--ink)}nav.top .links a[aria-current]{text-decoration:underline;text-decoration-color:var(--copper);text-underline-offset:6px}nav.top details{display:none;margin-left:auto;position:relative}nav.top summary{list-style:none;cursor:pointer;min-height:44px;display:flex;align-items:center;padding:0 12px;border:1px solid var(--line);border-radius:9px;font-size:15px}nav.top summary::-webkit-details-marker{display:none}nav.top details ul{position:absolute;right:0;top:52px;list-style:none;margin:0;padding:8px;background:var(--card);border:1px solid var(--line);border-radius:12px;min-width:200px;box-shadow:0 20px 40px -20px rgba(34,33,31,.35)}nav.top details a{display:block;padding:10px 12px;text-decoration:none;border-radius:7px}nav.top details a:hover{background:var(--bg-2)}.btn{display:inline-flex;align-items:center;justify-content:center;min-height:44px;padding:10px 18px;border-radius:9px;font:500 15px var(--sans);text-decoration:none;border:1px solid transparent;cursor:pointer;transition:transform 160ms var(--ease-out)}.btn:active{transform:scale(.97)}.btn-dark{background:var(--ink);color:var(--bg)}nav.top .links a.btn-dark{color:var(--bg);min-height:36px;padding:6px 14px;text-decoration:none}.btn-ghost{border-color:var(--line);background:var(--card)}@media(hover:hover){.btn-ghost:hover{border-color:var(--ink-2)}}.draft{display:inline-block;font:500 12px var(--mono);letter-spacing:.06em;text-transform:uppercase;color:var(--copper-ink);border:1px dashed var(--copper);border-radius:6px;padding:3px 8px}.ph{border-left:2px dashed var(--line);padding-left:16px;color:var(--ink-2)}.ph::before{content:"Placeholder text";display:block;font:500 11px var(--mono);letter-spacing:.06em;text-transform:uppercase;color:var(--copper-ink);margin-bottom:4px}section{padding:96px 0;border-top:1px solid var(--line)}h2{font-size:44px;letter-spacing:-.025em;line-height:1.08;margin:0 0 20px;max-width:22ch}.intro{color:var(--ink-2);font-size:18px;max-width:58ch;margin:0 0 48px}pre{margin:0;font:13px/1.65 var(--mono);background:var(--bg-2);border:1px solid var(--line);border-radius:12px;padding:20px 22px;overflow-x:auto;color:var(--ink)}pre .c{color:var(--ink-2)}figure{margin:0}figcaption{display:flex;gap:16px;margin-top:14px;font-size:15px;color:var(--ink-2);max-width:80ch}figcaption b{font:500 13px/1.9 var(--mono);color:var(--ink);white-space:nowrap}.posts{list-style:none;margin:0;padding:0;display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:40px}.posts li{border-top:1px solid var(--ink);padding-top:16px}.pmeta{display:flex;flex-wrap:wrap;gap:4px 14px;font:12px var(--mono);color:var(--ink-2);font-variant-numeric:tabular-nums}.tag{font-weight:500;letter-spacing:.06em;text-transform:uppercase;color:var(--ink)}.posts h3{font-size:20px;line-height:1.3;letter-spacing:-.01em;margin:10px 0 8px}.posts h3 a{text-decoration:none}.posts h3 a:hover{text-decoration:underline}.posts p{margin:0;color:var(--ink-2);font-size:16px}.more{margin-top:32px;font-size:15px}footer{border-top:1px solid var(--line);padding:48px 0 64px;color:var(--ink-2);font-size:15px}footer .wrap{display:grid;grid-template-columns:minmax(0,1fr)repeat(4,auto);gap:48px}footer .fh{margin:0 0 10px;font:500 12px var(--mono);letter-spacing:.08em;text-transform:uppercase;color:var(--ink)}footer ul{list-style:none;margin:0;padding:0;display:grid;gap:6px}footer a{text-decoration:none}footer a:hover{color:var(--ink)}footer p{margin:12px 0 0;max-width:34ch}@media(max-width:960px){.posts{grid-template-columns:minmax(0,1fr);gap:28px}footer .wrap{grid-template-columns:1fr 1fr}}@media(max-width:860px){nav.top .links{display:none}nav.top details{display:block}}@media(max-width:720px){h2{font-size:28px}section{padding:64px 0}figcaption{flex-direction:column;gap:4px}}@media(max-width:520px){.wrap{padding:0 16px}footer .wrap{grid-template-columns:minmax(0,1fr);gap:32px}}nav.top .links a.btn-dark{color:var(--bg)}.pill{display:inline-block;font:500 11px var(--mono);letter-spacing:.06em;text-transform:uppercase;padding:2px 7px;border-radius:5px;border:1px solid var(--ink-2);color:var(--ink);vertical-align:2px}html{scroll-padding-top:80px}button,a,input{touch-action:manipulation}@media(prefers-reduced-motion:reduce){.btn:active{transform:none}*,*::before{transition-duration:0ms!important}}footer .wrap{grid-template-columns:minmax(0,1fr)repeat(3,auto)}@media(max-width:960px){footer .wrap{grid-template-columns:1fr 1fr}}@media(max-width:520px){footer .wrap{grid-template-columns:minmax(0,1fr)}}.callout{margin:24px 0;padding:14px 18px;border-left:2px solid var(--ink-2);background:var(--bg-2);border-radius:0 10px 10px 0;color:var(--ink)}.callout>:last-child{margin-bottom:0}.callout-title{display:block;font:500 12px var(--mono);letter-spacing:.06em;text-transform:uppercase;color:var(--ink-2);margin-bottom:6px}.callout p{margin:0 0 10px}.callout-tip{border-left-color:var(--copper)}.callout-tip .callout-title{color:var(--copper-ink)}.callout-warning{border-left-color:var(--ink);border-left-width:3px}.callout-warning .callout-title{color:var(--ink)}.prose figure{margin:32px 0}.prose figure img{display:block;max-width:100%;height:auto;border-radius:10px;border:1px solid var(--line)}.prose figure .art{background:var(--card);border:1px solid var(--line);border-radius:12px;padding:20px}.prose figure .art svg{display:block;width:100%;height:auto}.tikz{margin:32px 0;padding:24px;display:flex;justify-content:center;background:var(--card);border:1px solid var(--line);border-radius:12px;color:var(--ink);overflow-x:auto}.tikz svg{max-width:100%;height:auto}.katex{font-size:1.05em}.katex-display{overflow-x:auto;overflow-y:hidden;padding:4px 0}.footnotes{border-top:1px solid var(--line);margin-top:56px;padding-top:24px;font-size:15px;color:var(--ink-2)}.footnotes hr{display:none}.footnotes ol{padding-left:20px;margin:0;display:grid;gap:8px}.footnotes p{margin:0}.footnote-ref{text-decoration:none;font:500 12px var(--mono);color:var(--copper-ink);padding:0 2px}.footnote-backref{text-decoration:none}pre[data-lang=diff] .del{color:#a13a22}pre[data-lang=diff] .add{color:#2e6a3c}@media(prefers-color-scheme:dark){:root:not([data-theme=light]) pre[data-lang=diff] .del{color:#e08a72}:root:not([data-theme=light]) pre[data-lang=diff] .add{color:#8cc79a}}:root[data-theme=dark] pre[data-lang=diff] .del{color:#e08a72}:root[data-theme=dark] pre[data-lang=diff] .add{color:#8cc79a}.post{display:grid;grid-template-columns:200px minmax(0,68ch)minmax(0,1fr);gap:56px;padding:64px 24px 96px;max-width:1240px;margin:0 auto}.toc{position:sticky;top:96px;align-self:start;font-size:14px}.toc p{font:500 12px var(--mono);letter-spacing:.08em;text-transform:uppercase;color:var(--ink-2);margin:0 0 12px}.toc ol{list-style:none;margin:0;padding:0 0 0 14px;border-left:1px solid var(--line);display:grid;gap:8px}.toc a{text-decoration:none;color:var(--ink-2)}.toc a:hover{color:var(--ink)}.toc a.cur{color:var(--ink)}article header{margin-bottom:40px}article h1{font-size:44px;line-height:1.1;letter-spacing:-.025em;margin:16px 0 24px}.byline{display:flex;align-items:center;gap:12px;font-size:15px;color:var(--ink-2)}.avatar{width:40px;height:40px;border-radius:50%;background:var(--bg-2);border:1px dashed var(--line);display:grid;place-items:center;font:500 12px var(--mono)}.tags{display:flex;gap:8px;margin-top:16px;flex-wrap:wrap}.tags a{font:12px var(--mono);color:var(--ink-2);border:1px solid var(--line);border-radius:999px;padding:3px 10px;text-decoration:none}article{font-size:18px;line-height:1.7;min-width:0}article h2{font-size:28px;line-height:1.2;margin:56px 0 16px;scroll-margin-top:88px;max-width:none}article p{margin:0 0 20px}article pre{margin:24px 0;font-size:13.5px}article figure{margin:32px 0}article .art{background:var(--card);border:1px solid var(--line);border-radius:12px;padding:20px}article .art svg{display:block;width:100%;height:auto}article table{width:100%;border-collapse:collapse;font-size:15px;margin:24px 0}article th{text-align:left;font:500 12px var(--mono);letter-spacing:.06em;text-transform:uppercase;color:var(--ink-2);border-bottom:1px solid var(--ink);padding:8px 12px 8px 0}article td{border-bottom:1px solid var(--line);padding:10px 12px 10px 0;vertical-align:top}sup a{text-decoration:none;font:500 12px var(--mono);color:var(--copper-ink);padding:0 2px}.sn{float:right;clear:right;width:220px;margin:4px -276px 16px 0;font-size:14px;line-height:1.5;color:var(--ink-2)}.sn b{font:500 12px var(--mono);color:var(--copper-ink);margin-right:4px}.fn{border-top:1px solid var(--line);margin-top:56px;padding-top:24px;font-size:15px;color:var(--ink-2)}.fn ol{padding-left:20px;margin:0;display:grid;gap:8px}.end{margin-top:48px;padding-top:24px;border-top:1px solid var(--line);font-size:15px;display:flex;justify-content:space-between;gap:16px;flex-wrap:wrap}@media(max-width:1240px){.post{grid-template-columns:200px minmax(0,68ch)}.sn{display:none}}@media(max-width:900px){.post{grid-template-columns:minmax(0,1fr);gap:0;padding:40px 16px 64px}.toc{position:static;margin-bottom:32px;padding:16px;border:1px solid var(--line);border-radius:12px}article h1{font-size:32px}article{font-size:17px}}