:root{--color-bg: #fefdfa;--color-surface: #fdf7ec;--color-surface-hover: #f8ecd8;--color-primary: #c2410c;--color-primary-light: #ea580c;--color-text: #2a1a08;--color-text-muted: #5a4830;--color-text-light: #8a7658;--color-border: #d8c5a4;--color-border-light: #e8dcc4;--color-accent: #1e3a8a;--color-theorem: #1e3a8a;--color-definition: #8a5a2c;--color-note: #3d6b8f;--color-test: #475569;--color-purple: #5d6470;--color-bias: rgba(194, 65, 12, .1);--max-width: 960px;--sidenote-width: 220px;--font-serif: "Crimson Pro", "Georgia", serif;--font-sans: "Atkinson Hyperlegible", "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: #93c5fd;--color-theorem: #93c5fd;--color-definition: #d4a373;--color-note: #87b4dc;--color-test: #a8a49c;--color-purple: #b0b6c2;--color-bias: rgba(212, 97, 58, .15)}*{margin:0;padding:0;box-sizing:border-box}html{scrollbar-color:rgba(15,28,46,.25) transparent;scrollbar-width:thin}::-webkit-scrollbar{width:10px;height:10px}::-webkit-scrollbar-track{background:transparent}::-webkit-scrollbar-thumb{background:#0f1c2e33;border-radius:5px;border:2px solid transparent;background-clip:padding-box}::-webkit-scrollbar-thumb:hover{background:#0f1c2e59;background-clip:padding-box;border:2px solid transparent}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}.prose,.prose p,.prose li,.prose blockquote,.home,.home p,.home li,.about,.about p,.about li,.archive,.archive p,.archive li{font-weight:450}body{min-height:100vh}a{color:var(--color-accent);text-decoration-thickness:1px;text-underline-offset:2px}a:hover{color:var(--color-primary)}.about,.home,.archive,.prose{background:var(--color-surface);padding:2rem 1.75rem;border-radius:4px}@media(max-width:600px){.about,.home,.archive,.prose{padding:1.25rem 1rem;border-radius:0}}.prose{max-width:800px;margin:0 auto;font-family:var(--font-sans);font-size:.92rem;line-height:1.58;position:relative}@media(max-width:1379px){.prose{margin-left:172px;margin-right:0;max-width:800px}}@media(max-width:760px){.prose{margin-left:auto;margin-right:auto}}.prose h1{font-family:var(--font-sans);font-size:2.4rem;font-weight:700;letter-spacing:-.025em;margin-bottom:.35rem;color:var(--color-text);line-height:1.18}.prose h2{font-family:var(--font-sans);font-size:1.7rem;font-weight:700;margin-top:2.4rem;margin-bottom:.85rem;color:var(--color-text);letter-spacing:-.015em;line-height:1.25;padding-bottom:.4rem;border-bottom:1px solid var(--color-border-light)}.prose h2,.prose h3,.prose h4{scroll-margin-top:6rem}.prose h3{font-family:var(--font-sans);font-size:1.3rem;font-weight:600;margin-top:2rem;margin-bottom:.6rem;color:var(--color-text);letter-spacing:-.01em;line-height:1.3}.prose h4{font-family:var(--font-sans);font-size:1.02rem;font-weight:600;margin-top:1.65rem;margin-bottom:.4rem;color:var(--color-text);letter-spacing:.005em}.prose p{margin-bottom:1.1rem;color:var(--color-text)}.prose ul,.prose ol{margin:1.1rem 0 1.3rem;padding-left:2rem;color:var(--color-text)}.prose li{margin-bottom:.55rem;padding-left:.35rem}.prose li>p{margin-bottom:.5rem}.prose li>ul,.prose li>ol{margin:.45rem 0 .5rem}.prose li::marker{color:var(--color-text-light)}.prose .var-defs{list-style:none;padding-left:0;margin:1rem 0 1.25rem;display:grid;grid-template-columns:max-content 1fr;column-gap:1rem;row-gap:.45rem;align-items:baseline}.prose .var-defs dt{font-family:var(--font-serif);color:var(--color-text);text-align:right;white-space:nowrap}.prose .var-defs dd{margin:0;color:var(--color-text-muted)}.prose .step-label{display:inline-block;font-family:var(--font-sans);font-size:.72rem;font-weight:700;letter-spacing:.06em;text-transform:uppercase;color:var(--color-primary);margin-right:.55rem;padding:.05rem .45rem;background:var(--color-bias);border-radius:3px;vertical-align:.05em}.prose pre{background:var(--color-surface);border:1px solid var(--color-border);border-radius:3px;padding:1rem 1.25rem;overflow-x:auto;scrollbar-width:none;margin-bottom:.75rem;font-size:.85rem;line-height:1.5}pre::-webkit-scrollbar{display:none}.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);text-shadow:0 0 .55px currentColor}.katex-display{margin:.6rem 0!important;padding:.2rem 0;overflow-x:auto;scrollbar-width:none}.katex-display::-webkit-scrollbar{display:none}.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:1460px){.sidenote{position:absolute;right:calc(-1 * var(--sidenote-width) - 10px);width:var(--sidenote-width);margin:0;padding-left:.75rem;border-left:1px solid var(--color-border-light);transition:border-left-color .15s ease}.sidenote:hover{border-left-color:var(--color-primary)}}@media(max-width:1459px){.sidenote{display:block;margin:1rem 0;padding:.75rem 1rem;background:var(--color-surface);border-left:3px solid var(--color-border);border-radius:0 3px 3px 0;transition:border-left-color .2s ease,background .2s ease}.sidenote:hover{border-left-color:var(--color-primary);background:var(--color-bias)}}.sidenote-number{display:block;font-family:var(--font-sans);font-size:.85rem;font-weight:700;color:var(--color-primary);margin-bottom:.2rem}.toc{position:fixed;top:120px;font-family:var(--font-sans);font-size:.82rem;max-height:calc(100vh - 180px);overflow-y:auto;scrollbar-width:none}.toc::-webkit-scrollbar{display:none}.toc-label{font-size:.68rem;font-weight:600;text-transform:uppercase;letter-spacing:.06em;color:var(--color-text-light);margin-bottom:.75rem}.toc ul{list-style:none;padding:0;margin:0}.toc-item{margin:0;line-height:1.45}.toc-item a{display:block;color:var(--color-text-light);text-decoration:none;padding:.25rem 0 .25rem .65rem;border-left:2px solid var(--color-border-light);transition:color .15s ease,border-color .15s ease}.toc-item a:hover{color:var(--color-text);border-left-color:var(--color-text-light)}.toc-item.toc-level-3 a{padding-left:1.4rem;font-size:.78rem}.toc-item.active a{color:var(--color-primary);border-left-color:var(--color-primary);font-weight:500}@media(max-width:760px){.toc{display:none}}.figure-caption{font-family:var(--font-sans);font-size:.85rem;color:var(--color-text-muted);text-align:center;margin-top:.5rem;font-style:italic}.nav[data-astro-cid-37fxchfa]{background:var(--color-bg);border-bottom:1px solid var(--color-border-light);position:sticky;top:0;z-index:100;padding:0 1.5rem}.nav-inner[data-astro-cid-37fxchfa]{max-width:var(--max-width);margin:0 auto;padding:1.25rem 0;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}