:root{--font-serif:"Iowan Old Style", "Charter", "Source Serif 4", Charter,
    "Bitstream Charter", "Sitka Text", Cambria, Georgia, serif;--font-mono:ui-monospace, "SF Mono", "JetBrains Mono", "Menlo",
    "Cascadia Code", "Roboto Mono", "Liberation Mono", monospace;--main-width:46rem;--content-gap:22px;--nav-width:46rem;--header-height:54px;--footer-height:52px;--radius:6px;--theme:#fbfaf8;--entry:#ffffff;--primary:#16181d;--secondary:#5c6270;--tertiary:#d9d6cf;--content:#24272e;--border:#e4e0d8;--code-bg:#f1eee8;--accent:#0a6c58;--accent-wash:rgba(10, 108, 88, 0.07);--rule:rgba(0, 0, 0, 0.09)}:root[data-theme=dark]{--theme:#14161a;--entry:#1a1d22;--primary:#e6e5e1;--secondary:#9aa1ae;--tertiary:#333941;--content:#ccccc6;--border:#2a2f37;--code-bg:#1e2228;--code-block-bg:#15181d;--accent:#5ec9a5;--accent-wash:rgba(94, 201, 165, 0.09);--rule:rgba(255, 255, 255, 0.10)}body{font-family:var(--font-serif);font-size:19px;line-height:1.72;-webkit-font-smoothing:antialiased;text-rendering:optimizeLegibility}::selection{background:var(--accent-wash);color:var(--primary)}:focus-visible{outline:2px solid var(--accent);outline-offset:2px;border-radius:2px}.post-content{font-variant-numeric:oldstyle-nums proportional-nums}.post-content code,.post-content pre,.post-content table,.katex,.theorem-meta{font-variant-numeric:lining-nums tabular-nums}.post-content p{margin:0 0 1.15em}.post-content p,.post-content li{hyphens:auto;-webkit-hyphens:auto;hyphenate-limit-chars:8 4 4}.post-content a{text-decoration-thickness:1px;text-underline-offset:3px;text-decoration-color:var(--tertiary);transition:color .12s ease,text-decoration-color .12s ease}.post-content a:hover{text-decoration-color:var(--accent);color:var(--accent)}.post-content ul,.post-content ol{padding-inline-start:1.3em}.post-content li{margin-bottom:.4em}.post-content li::marker{color:var(--secondary)}h1,h2,h3,h4,h5,h6,.logo a,#menu a,.post-title,.entry-header h2,.archive-year{font-family:var(--font-mono);font-weight:600;letter-spacing:-.015em}.post-title,.page-header h1,.entry-header h2{text-wrap:balance;overflow-wrap:break-word}.post-content h2{font-size:1.12em;margin:2.4em 0 .75em;padding-bottom:.35em;border-bottom:1px solid var(--border)}:target,.post-content h2,.post-content h3{scroll-margin-top:calc(var(--header-height) + 16px)}.post-content h2::before{content:"§ ";color:var(--accent);font-weight:400}.post-content h3{font-size:1em;margin:1.8em 0 .5em;color:var(--secondary)}.post-title{font-size:1.85em;line-height:1.25;margin-bottom:0}.page-header h1{font-size:1.75em;line-height:1.25}.header{position:sticky;top:0;z-index:20;background:color-mix(in srgb,var(--theme) 88%,transparent);border-bottom:1px solid var(--rule)}@supports(backdrop-filter:blur(1px)){.header{backdrop-filter:saturate(1.6)blur(12px)}}:root:has(.index-table) .header{position:static}.header::after{content:"";position:absolute;left:0;bottom:-1px;width:100%;height:2px;background:var(--accent);transform-origin:0 50%;transform:scaleX(0);animation:read-progress linear both;animation-timeline:scroll(root block)}@keyframes read-progress{from{transform:scaleX(0)}to{transform:scaleX(1)}}@media(prefers-reduced-motion:reduce){.header::after{display:none}}.header-nav{line-height:var(--header-height);align-items:center}.logo a{font-weight:700;font-size:19px;letter-spacing:-.02em}.logo a::before{content:"~ $ ";color:var(--accent);font-weight:400}#menu a{font-size:13px;text-transform:lowercase;letter-spacing:.02em;color:var(--secondary);transition:color .12s ease}#menu a:hover{color:var(--primary)}#menu .active{color:var(--primary);text-decoration:none;border-bottom:2px solid var(--accent);text-underline-offset:0}.theme-toggle{color:var(--secondary)}.theme-toggle:hover{color:var(--accent)}.main{padding-top:34px;padding-bottom:48px}code,pre,kbd,samp,.katex-display>.katex{font-feature-settings:"liga" 0}.post-content code{font-family:var(--font-mono);font-size:.84em;border-radius:3px;padding:2px 5px}.post-content pre{border:1px solid var(--border);border-radius:var(--radius);font-size:.78em;line-height:1.6}.katex-display{margin:1.5em 0;padding:2px 0;overflow-x:auto;overflow-y:hidden}blockquote{border-inline-start:3px solid var(--accent)!important;margin:1.6em 0;padding:.1em 0 .1em 1.1em!important;font-style:normal;font-size:1.06em;line-height:1.6;color:var(--primary)}blockquote p:last-child{margin-bottom:0}.post-content table{font-family:var(--font-mono);font-size:.8em}hr{border-top:1px solid var(--border)}.post-meta,.post-entry .entry-footer,.breadcrumbs,.archive-meta,.footer{font-family:var(--font-mono);font-size:.72em;letter-spacing:.01em}.breadcrumbs{color:var(--secondary);margin-bottom:12px}.breadcrumbs a{color:var(--secondary)}.breadcrumbs a:hover{color:var(--accent)}.post-description{color:var(--secondary);font-size:.94em;line-height:1.55;margin:12px 0 18px;max-width:40rem}.post-header .post-meta{color:var(--secondary);padding-bottom:22px}.post-entry,.post-entry.tag-entry,.first-entry{background:0 0;border:none;border-bottom:1px solid var(--border);border-radius:0;padding:20px 4px 22px;margin-bottom:0;min-height:0;transition:background-color .12s ease}.post-entry:hover,.post-entry:focus-within,.first-entry:hover{transform:none;box-shadow:none;border-color:var(--border);background:var(--accent-wash)}.entry-header h2,.first-entry .entry-header h1,.first-entry .entry-header h2{font-size:1.02em;line-height:1.35;-webkit-line-clamp:none}.entry-content,.first-entry .entry-content{font-size:.8em;line-height:1.55;color:var(--secondary);margin:8px 0 12px;max-width:44rem;-webkit-line-clamp:2}.post-entry .entry-link{border-radius:0}.post-entry .theorem-deps{display:none}.post-entry .theorem-meta{margin-top:10px;line-height:1.9}details.toc{background:0 0!important;border:none;border-block:1px solid var(--border);border-radius:0;margin:20px 0 4px}details.toc summary{padding:7px 2px;border-radius:0;font-family:var(--font-mono);font-size:12px;text-transform:uppercase;letter-spacing:.07em;color:var(--secondary);list-style-position:inside}details.toc summary:hover{color:var(--primary)}details.toc summary::marker{color:var(--accent);font-size:.8em}.toc{font-family:var(--font-mono);font-size:.76em;border-color:var(--border)}details.toc .inner{margin:0;padding:0 0 12px 1.6rem}details.toc .inner ul{padding-inline-start:1.1rem}details.toc .inner li{margin-bottom:2px}.toc a{color:var(--secondary)}.toc a:hover{color:var(--accent);text-decoration:none}.terms-tags{display:grid;grid-template-columns:repeat(auto-fill,minmax(19rem,1fr));row-gap:0;column-gap:72px;margin-top:26px;list-style:none;padding:0}.terms-tags li{display:block;font-weight:400;border-bottom:1px solid var(--border)}.terms-tags a{display:flex;align-items:baseline;gap:8px;padding:7px 2px;background:0 0;border-radius:0;transition:color .12s ease;font-family:var(--font-mono);font-size:13px;color:var(--primary)}.terms-tags a:hover{color:var(--accent)}.terms-summary{font-family:var(--font-mono);font-size:12px;color:var(--secondary);margin:14px 0 0}.terms-tags .term-name{white-space:nowrap}.terms-tags .term-leader{flex:auto;border-bottom:1px dotted var(--border);transform:translateY(-3px);min-width:12px}.terms-tags .term-count{font-variant-numeric:tabular-nums;font-size:12px;color:var(--secondary)}.terms-tags a:hover .term-count{color:var(--accent)}.paginav{background:0 0;border:none;border-top:1px solid var(--border);border-radius:0;margin-top:34px;gap:20px}.paginav a{padding:14px 0;border-radius:0;gap:.3rem}.paginav a:hover{background:0 0;color:var(--accent)}.paginav .title{font-family:var(--font-mono);font-size:11px;letter-spacing:.08em;color:var(--secondary)}.paginav a:hover .title{color:var(--accent)}.paginav span:not(.title){font-size:.82em;line-height:1.4}.post-tags a{font-family:var(--font-mono);font-size:12px;line-height:26px;padding:0 10px;border-radius:4px}.footer{color:var(--secondary);border-top:1px solid var(--border);max-width:calc(var(--main-width) + 48px);margin:40px auto 0;padding:18px 24px 28px}.footer a{color:var(--secondary)}.footer a:hover{color:var(--accent)}.top-link{border-radius:var(--radius);background:var(--code-bg);border:1px solid var(--border);color:var(--secondary);padding:10px}.top-link:hover{color:var(--accent);border-color:var(--accent)}@media print{body{font-size:11pt}.header,.footer,.top-link,details.toc{display:none!important}.logo a::before,.post-content h2::before{content:none}}@media(max-width:46rem){:root{--header-height:48px}.header-nav{line-height:1.2;padding-block:10px;row-gap:8px}.header{position:static}.main{padding-top:22px}#menu{margin-inline-start:-2px}}@media(max-width:42rem){body{font-size:17px}.post-title{font-size:1.32em}.page-header h1{font-size:1.3em}blockquote{font-size:1.02em}.terms-tags{grid-template-columns:1fr}}