.nav[data-astro-cid-37fxchfa]{background:var(--color-bg);border-bottom:1px solid var(--color-border-light);position:sticky;top:0;z-index:100}.nav-inner[data-astro-cid-37fxchfa]{max-width:var(--max-width);margin:0 auto;padding:1.25rem 1.5rem;display:flex;justify-content:space-between;align-items:baseline}.logo[data-astro-cid-37fxchfa]{font-family:var(--font-sans);font-weight:600;font-size:1rem;color:var(--color-text);text-decoration:none;letter-spacing:-.01em}.logo[data-astro-cid-37fxchfa]:hover{color:var(--color-primary)}.nav-links[data-astro-cid-37fxchfa]{display:flex;gap:1.5rem}.nav-links[data-astro-cid-37fxchfa] a[data-astro-cid-37fxchfa]{font-family:var(--font-sans);color:var(--color-text-muted);font-size:.85rem;text-decoration:none}.nav-links[data-astro-cid-37fxchfa] a[data-astro-cid-37fxchfa]:hover{color:var(--color-text)}main[data-astro-cid-37fxchfa]{min-height:calc(100vh - 140px);padding:2.5rem 1.5rem}.footer[data-astro-cid-37fxchfa]{border-top:1px solid var(--color-border-light);padding:1.5rem;text-align:center;color:var(--color-text-light);font-family:var(--font-sans);font-size:.8rem}:root{--color-bg: #faf8f4;--color-surface: #f2efe8;--color-surface-hover: #eae6dd;--color-primary: #8b2500;--color-primary-light: #a63a1a;--color-text: #1a1a1a;--color-text-muted: #4a4a4a;--color-text-light: #6b6b6b;--color-border: #d4cfc6;--color-border-light: #e5e0d8;--color-accent: #1a4a6b;--color-theorem: #1a4a6b;--color-definition: #5c4a1e;--color-note: #4a6b4a;--color-test: #2d6b2d;--color-bias: rgba(139, 37, 0, .12);--max-width: 780px;--sidenote-width: 220px;--font-serif: "Crimson Pro", "Georgia", serif;--font-sans: "Inter", system-ui, -apple-system, sans-serif;--font-mono: "JetBrains Mono", "Fira Code", monospace}[data-theme=dark]{--color-bg: #1a1917;--color-surface: #252420;--color-surface-hover: #302f29;--color-primary: #d4613a;--color-primary-light: #e07a55;--color-text: #d8d4cc;--color-text-muted: #a8a49c;--color-text-light: #807c74;--color-border: #3a3834;--color-border-light: #2e2c28;--color-accent: #6bb3e0;--color-theorem: #6bb3e0;--color-definition: #c4a84e;--color-note: #6aad6a;--color-test: #5cb85c;--color-bias: rgba(212, 97, 58, .15)}*{margin:0;padding:0;box-sizing:border-box}html{font-family:var(--font-serif);background:var(--color-bg);color:var(--color-text);line-height:1.6;font-size:17px;-webkit-font-smoothing:antialiased}body{min-height:100vh}a{color:var(--color-accent);text-decoration-thickness:1px;text-underline-offset:2px}a:hover{color:var(--color-primary)}.prose{max-width:var(--max-width);margin:0 auto;font-size:1.05rem;position:relative}.prose h1{font-family:var(--font-sans);font-size:2.2rem;font-weight:700;letter-spacing:-.02em;margin-bottom:.25rem;color:var(--color-text);line-height:1.2}.prose h2{font-family:var(--font-sans);font-size:1.4rem;font-weight:600;margin-top:1.75rem;margin-bottom:.5rem;color:var(--color-text);letter-spacing:-.01em;line-height:1.3;padding-bottom:.35rem;border-bottom:1px solid var(--color-border-light)}.prose h3{font-family:var(--font-sans);font-size:1.1rem;font-weight:600;margin-top:1.5rem;margin-bottom:.35rem;color:var(--color-text)}.prose p{margin-bottom:.75rem;color:var(--color-text)}.prose ul,.prose ol{margin-bottom:.75rem;padding-left:1.5rem;color:var(--color-text)}.prose li{margin-bottom:.2rem}.prose pre{background:var(--color-surface);border:1px solid var(--color-border);border-radius:3px;padding:1rem 1.25rem;overflow-x:auto;margin-bottom:.75rem;font-size:.85rem;line-height:1.5}.prose code{font-family:var(--font-mono)}.prose :not(pre)>code{background:var(--color-surface);padding:.1rem .35rem;border-radius:2px;font-size:.85em;border:1px solid var(--color-border-light)}.prose blockquote{border-left:2px solid var(--color-border);padding-left:1.25rem;margin:.75rem 0;color:var(--color-text-muted);font-style:italic}.prose img{max-width:100%;margin:.75rem 0}.prose hr{border:none;border-top:1px solid var(--color-border);margin:1.75rem 0}.prose table{width:100%;border-collapse:collapse;margin:1.25rem 0;font-size:.88rem;font-family:var(--font-sans)}.prose thead th{text-align:left;font-weight:600;color:var(--color-text);border-bottom:2px solid var(--color-border);padding:.5rem .75rem;font-size:.82rem}.prose tbody td{padding:.5rem .75rem;border-bottom:1px solid var(--color-border-light);color:var(--color-text-muted);vertical-align:top}.prose tbody tr:last-child td{border-bottom:none}.prose tbody td a{color:var(--color-primary);text-decoration:none}.prose tbody td a:hover{text-decoration:underline}.prose strong{font-weight:600}.prose em{font-style:italic}html,body,.nav,.footer,.callout,.sidenote,figure{transition:background-color .25s ease,color .25s ease,border-color .25s ease}.katex{font-size:1.05em!important;color:var(--color-text)}.katex-display{margin:.6rem 0!important;padding:.2rem 0;overflow-x:auto}.callout{margin:.75rem 0;padding:.25rem 0}.callout-label{font-family:var(--font-serif);font-size:1rem;font-weight:600;font-style:italic;margin-bottom:.25rem;display:block;color:var(--color-text)}.callout p:last-child{margin-bottom:0}.sidenote{font-size:.8rem;line-height:1.5;color:var(--color-text-muted);font-family:var(--font-sans)}@media(min-width:1100px){.sidenote{float:right;clear:right;width:var(--sidenote-width);margin-right:calc(-1 * var(--sidenote-width) - 30px);margin-top:0;margin-bottom:1rem;padding-left:1rem;border-left:1px solid var(--color-border-light)}}@media(max-width:1099px){.sidenote{display:block;margin:1rem 0;padding:.75rem 1rem;background:var(--color-surface);border-left:2px solid var(--color-border);border-radius:0 3px 3px 0}}.sidenote-number{font-family:var(--font-sans);font-size:.7rem;font-weight:600;color:var(--color-primary);vertical-align:super;margin-right:.15rem}.figure-caption{font-family:var(--font-sans);font-size:.85rem;color:var(--color-text-muted);text-align:center;margin-top:.5rem;font-style:italic}.post-header[data-astro-cid-bvzihdzo]{margin-bottom:2.5rem}.post-header[data-astro-cid-bvzihdzo] h1[data-astro-cid-bvzihdzo]{margin-bottom:.5rem}.post-meta[data-astro-cid-bvzihdzo]{font-family:var(--font-sans);font-size:.85rem;color:var(--color-text-muted);display:flex;gap:.75rem;align-items:baseline;flex-wrap:wrap}.post-meta[data-astro-cid-bvzihdzo] time[data-astro-cid-bvzihdzo]{color:var(--color-text-muted)}.tags[data-astro-cid-bvzihdzo]{color:var(--color-text-light)}.tags[data-astro-cid-bvzihdzo] em[data-astro-cid-bvzihdzo]{font-style:italic;font-family:var(--font-serif)}.abstract[data-astro-cid-bvzihdzo]{margin-top:1rem;font-size:1.1rem;color:var(--color-text-muted);font-style:italic;line-height:1.6;border-left:2px solid var(--color-border);padding-left:1rem}.post-footer[data-astro-cid-bvzihdzo]{display:flex;flex-direction:column;gap:2.5rem;margin-top:2rem}.draft-banner[data-astro-cid-bvzihdzo]{background:var(--color-bias);border-left:3px solid var(--color-primary);color:var(--color-primary);font-family:var(--font-sans);font-size:.85rem;padding:.6rem .9rem;margin-bottom:1.5rem;border-radius:3px}