:root{--bg:#fbfaf7;--fg:#1f1d1a;--muted:#6b665e;--rule:#e4e0d8;--accent:#8a5a2b;--accent-ink:#5f3d1a;--box:#f3efe7;--code:#efebe3;--max:42rem;--serif:Charter, "Iowan Old Style", "Palatino Linotype", Georgia, serif;--sans:system-ui, -apple-system, "Segoe UI", Roboto, sans-serif;--mono:ui-monospace, "JetBrainsMono Nerd Font", "JetBrains Mono", Menlo, Consolas, monospace}@media(prefers-color-scheme:dark){:root{--bg:#171614;--fg:#e6e1d8;--muted:#9b958b;--rule:#2d2b27;--accent:#d4a06a;--accent-ink:#e8c197;--box:#211f1b;--code:#24221e}}*{box-sizing:border-box}html{-webkit-text-size-adjust:100%}body{margin:0;background:var(--bg);color:var(--fg);font-family:var(--serif);font-size:1.0625rem;line-height:1.6}a{color:var(--accent-ink);text-decoration-thickness:1px;text-underline-offset:2px}a:hover{color:var(--accent)}.skip{position:absolute;left:-999px}.skip:focus{left:1rem;top:1rem;background:var(--box);padding:.5rem}.site-header,main,.site-footer{max-width:var(--max);margin:0 auto;padding:0 1rem}.site-header{display:flex;flex-wrap:wrap;align-items:baseline;justify-content:space-between;gap:.5rem 1.5rem;padding-top:1.5rem;padding-bottom:1rem;border-bottom:1px solid var(--rule);font-family:var(--sans)}.brand{text-decoration:none;color:inherit;display:flex;flex-direction:column}.brand-name{font-weight:700;font-size:1.25rem;letter-spacing:.01em}.brand-tagline{color:var(--muted);font-size:.9rem}.site-header nav{display:flex;gap:1rem;font-size:.95rem}.site-header nav a{color:var(--muted);text-decoration:none}.site-header nav a:hover,.site-header nav a[aria-current]{color:var(--fg)}main{padding-top:2rem;padding-bottom:3rem}h1,h2,h3{font-family:var(--sans);line-height:1.25;letter-spacing:-.01em}h1{font-size:1.9rem;margin:0 0 .5rem}h2{font-size:1.35rem;margin:2rem 0 .75rem}h3{font-size:1.1rem;margin:1.5rem 0 .5rem}p,ul,ol,blockquote,pre,figure,table{margin:0 0 1.1rem}.meta,.muted,.fine{color:var(--muted);font-family:var(--sans);font-size:.9rem}.lede{font-size:1.15rem;color:var(--muted);margin-top:.5rem}.post-header{margin-bottom:2rem}blockquote{margin-left:0;padding:.75rem 1rem;background:var(--box);border-left:3px solid var(--accent);border-radius:0 4px 4px 0}blockquote p:last-child{margin-bottom:0}details{margin:0 0 1.1rem;padding:.5rem 1rem;border:1px solid var(--rule);border-radius:4px;background:var(--box)}summary{cursor:pointer;font-family:var(--sans);font-weight:600;padding:.25rem 0}details[open] summary{margin-bottom:.5rem;border-bottom:1px solid var(--rule)}details>:last-child{margin-bottom:.25rem}code,pre{font-family:var(--mono);font-size:.9em}code{background:var(--code);padding:.1em .3em;border-radius:3px}pre{background:var(--code);padding:.75rem 1rem;overflow-x:auto;border-radius:4px}pre code{background:0 0;padding:0}img,svg,iframe,video{max-width:100%;height:auto}iframe{border:1px solid var(--rule);border-radius:4px;background:var(--bg)}figure{margin-left:0;margin-right:0}figcaption{color:var(--muted);font-family:var(--sans);font-size:.9rem;margin-top:.4rem}table{border-collapse:collapse;width:100%;font-size:.95rem;display:block;overflow-x:auto}th,td{text-align:left;padding:.4rem .6rem;border-bottom:1px solid var(--rule);vertical-align:top}th{font-family:var(--sans);font-weight:600}.katex-display{overflow-x:auto;overflow-y:hidden;padding:.25rem 0}.post-list{list-style:none;padding:0;margin:0}.post-list li{padding:.75rem 0;border-bottom:1px solid var(--rule)}.post-list-title{font-family:var(--sans);font-weight:600;font-size:1.1rem;text-decoration:none}.post-list-date{color:var(--muted);font-family:var(--sans);font-size:.85rem;margin-left:.5rem}.post-list-desc{margin:.25rem 0 0;color:var(--muted)}.comments{margin-top:3rem;padding-top:1.5rem;border-top:1px solid var(--rule)}.site-footer{padding-top:1.5rem;padding-bottom:2.5rem;border-top:1px solid var(--rule);color:var(--muted);font-family:var(--sans);font-size:.9rem}.site-footer p{margin-bottom:.6rem}.fine{font-size:.8rem}@media(max-width:480px){body{font-size:1rem}h1{font-size:1.6rem}.site-header{padding-top:1rem}}.tip-line{margin-top:2.5rem;padding-top:1rem;border-top:1px solid var(--rule);font-family:var(--sans);font-size:.95rem}