.site-header[data-astro-cid-5hce7sga]{padding:1.1rem 0 .6rem}.nav-inner[data-astro-cid-5hce7sga]{display:flex;justify-content:space-between;align-items:baseline;flex-wrap:wrap;gap:.65rem 1.5rem}.nav-home[data-astro-cid-5hce7sga]{font-family:var(--font-mono);font-weight:500;font-size:.9rem;text-decoration:none;color:var(--fg);letter-spacing:.02em}.nav-home[data-astro-cid-5hce7sga]:hover{text-decoration:underline}.nav-links[data-astro-cid-5hce7sga]{display:flex;gap:clamp(.65rem,2vw,var(--space-lg));align-items:baseline}.nav-links[data-astro-cid-5hce7sga] a[data-astro-cid-5hce7sga]{font-family:var(--font-mono);font-size:.78rem;color:var(--fg-muted);text-decoration:none;letter-spacing:.02em}.nav-links[data-astro-cid-5hce7sga] a[data-astro-cid-5hce7sga]:hover{color:var(--fg)}main[data-astro-cid-5hce7sga]{padding-top:1.2rem;padding-bottom:var(--space-3xl);min-height:0}footer[data-astro-cid-5hce7sga]{padding:var(--space-xl) 0;border-top:1px solid var(--border);margin-top:1.5rem}.footer-inner[data-astro-cid-5hce7sga]{display:flex;justify-content:space-between;align-items:baseline;font-family:var(--font-mono);font-size:.75rem;color:var(--fg-faint)}.footer-links[data-astro-cid-5hce7sga]{display:flex;gap:var(--space-md)}.footer-links[data-astro-cid-5hce7sga] a[data-astro-cid-5hce7sga]{color:var(--fg-faint);text-decoration:none}.footer-links[data-astro-cid-5hce7sga] a[data-astro-cid-5hce7sga]:hover{color:var(--fg)}:root{--control-height: 2.15rem;--control-radius: 4px;--control-padding: .5rem .7rem;--control-focus: var(--c-info)}.ui-field{display:grid;gap:.25rem;min-width:0}.ui-label{font:.72rem var(--font-mono);color:var(--fg-muted)}button,select,input[type=search]{color:var(--fg);background:var(--bg);border:1px solid var(--border);border-radius:var(--control-radius);font:.76rem var(--font-mono)}button{cursor:pointer}button:disabled{opacity:.45;cursor:default}button:hover:not(:disabled),.ui-choice-trigger[aria-expanded=true]{background:var(--bg-alt);border-color:var(--border-strong)}:is(button,select,input,summary,[tabindex]):focus-visible{outline:2px solid var(--control-focus);outline-offset:3px}.ui-choice-trigger,.ui-button,input[type=search]{min-height:var(--control-height);padding:var(--control-padding)}.ui-choice-trigger{width:100%;display:flex;align-items:center;justify-content:space-between;gap:.6rem;text-align:left}.ui-choice-trigger span:first-child{overflow:hidden;white-space:nowrap;text-overflow:ellipsis}.ui-chevron{width:.4rem;height:.4rem;border-right:1.5px solid currentColor;border-bottom:1.5px solid currentColor;transform:rotate(45deg);transition:transform .15s;flex-shrink:0;margin:-.2rem .15rem 0 .5rem}[aria-expanded=true] .ui-chevron{transform:rotate(225deg);margin-top:.2rem}.ui-choice-popup{margin:0;padding:.25rem;border:1px solid var(--border-strong);border-radius:5px;background:var(--bg);color:var(--fg);box-shadow:0 8px 26px #0002;overflow-y:auto}.ui-choice-popup:popover-open{display:grid;gap:.1rem}.ui-choice-popup button{border:0;border-radius:3px;padding:.5rem .65rem;text-align:left;line-height:1.4}.ui-choice-popup [aria-selected=true]{background:var(--bg-alt);font-weight:600}.ui-choice-popup [aria-selected=true]:after{content:"✓";float:right;margin-left:.7rem}.ui-tabs{display:flex;flex-wrap:wrap;gap:.25rem;padding:.2rem;border-bottom:1px solid var(--border)}.ui-tabs button{border:0;border-radius:3px;padding:.45rem .7rem;color:var(--fg-muted)}.ui-tabs [aria-selected=true]{background:var(--bg-alt);color:var(--fg);box-shadow:inset 0 -2px var(--fg)}details>summary{list-style:none;cursor:pointer;position:relative;display:flex;align-items:center;gap:.55rem;padding:.5rem 0;font-size:.85rem;color:var(--fg-muted)}details>summary::-webkit-details-marker{display:none}details>summary:before{content:"+";display:inline-grid;place-items:center;width:1rem;height:1rem;border:1px solid var(--border);border-radius:2px;font:.78rem var(--font-mono);flex-shrink:0}details[open]>summary:before{content:"−";border-color:var(--border-strong)}details>summary:hover{color:var(--fg)}details[open]>summary{color:var(--fg)}[hidden]{display:none!important}.ui-choice-trigger{min-width:0;max-width:100%;overflow:hidden}.ui-choice-trigger span:first-child{min-width:0}.ui-plot-tooltip{position:fixed;z-index:30;width:min(345px,calc(100vw - 16px));padding:.65rem .8rem;border:1px solid var(--border-strong);border-radius:4px;background:var(--bg);color:var(--fg);box-shadow:0 5px 20px #0002;pointer-events:none;font-size:.78rem;line-height:1.4}.ui-plot-tooltip strong{display:block;margin-bottom:.3rem;font-size:.86rem}.ui-plot-tooltip p{margin:.15rem 0;overflow-wrap:anywhere;white-space:pre-wrap}:root{--font-body: "CMU Serif", "Latin Modern Roman", "Computer Modern", "Georgia", serif;--font-mono: "JetBrains Mono", "Fira Code", "SF Mono", monospace;--font-heading: var(--font-body);--bg: #ffffff;--bg-alt: #ececec;--bg-sink: #dcdcdc;--fg: #111111;--fg-muted: #4a4a4a;--fg-faint: #7a7a7a;--border: #d4d4d4;--border-strong: #9a9a9a;--rule: #111111;--accent: #111111;--c-ok: #15803d;--c-ok-bg: #d1fae5;--c-ok-border: #6ee7b7;--c-fail: #b91c1c;--c-fail-bg: #fecaca;--c-fail-border: #f87171;--c-run: #b45309;--c-run-bg: #fde68a;--c-run-border: #f59e0b;--c-action: #6d28d9;--c-action-bg: #ddd6fe;--c-action-border: #a78bfa;--c-info: #1d4ed8;--c-info-bg: #bfdbfe;--c-human: #047857;--c-human-bg: #d1fae5;--c-human-border: #6ee7b7;--max-width: 820px;--max-width-wide: 1080px;--space-xs: .25rem;--space-sm: .5rem;--space-md: 1rem;--space-lg: 1.5rem;--space-xl: 1.5rem;--space-2xl: 2rem;--space-3xl: 3rem}@media(prefers-color-scheme:dark){:root{--bg: #131120;--bg-alt: #1e1a2d;--bg-sink: #0c0a16;--fg: #ece8f7;--fg-muted: #b4adca;--fg-faint: #7a7a7a;--border: #2f2a44;--border-strong: #4f4768;--rule: #9f97b6;--accent: #ece8f7;--c-ok: #4ade80;--c-ok-bg: rgba(74, 222, 128, .12);--c-ok-border: rgba(74, 222, 128, .35);--c-fail: #f87171;--c-fail-bg: rgba(248, 113, 113, .12);--c-fail-border: rgba(248, 113, 113, .35);--c-run: #fbbf24;--c-run-bg: rgba(251, 191, 36, .12);--c-run-border: rgba(251, 191, 36, .35);--c-action: #a78bfa;--c-action-bg: rgba(167, 139, 250, .12);--c-action-border: rgba(167, 139, 250, .35);--c-info: #60a5fa;--c-info-bg: rgba(96, 165, 250, .12);--c-human: #34d399;--c-human-bg: rgba(52, 211, 153, .12);--c-human-border: rgba(52, 211, 153, .35)}}@media(prefers-color-scheme:dark){body{background:radial-gradient(circle at 7% -10%,rgba(76,68,113,.2),transparent 35%),radial-gradient(circle at 93% 8%,rgba(63,55,102,.18),transparent 38%),var(--bg)}}*,*:before,*:after{box-sizing:border-box;margin:0}html{font-size:18px;-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale}body{font-family:var(--font-body);background:var(--bg);color:var(--fg);line-height:1.5;min-height:100dvh}.container{max-width:var(--max-width);margin:0 auto;padding:0 var(--space-lg)}.container-wide{max-width:var(--max-width-wide);margin:0 auto;padding:0 var(--space-lg)}h1,h2,h3,h4{font-family:var(--font-heading);font-weight:700;line-height:1.25}h1{font-size:1.8rem;margin-bottom:var(--space-md);letter-spacing:-.01em}h2{font-size:1.3rem;margin-top:var(--space-2xl);margin-bottom:var(--space-md);letter-spacing:-.005em}h3{font-size:1.15rem;margin-top:var(--space-xl);margin-bottom:var(--space-sm);font-style:italic;font-weight:400}p{margin-bottom:.6rem}a{color:var(--fg);text-decoration:underline;text-underline-offset:3px;text-decoration-thickness:1px;text-decoration-color:var(--fg-faint);transition:text-decoration-color .15s}a:hover{text-decoration-color:var(--fg)}.prose a{overflow-wrap:anywhere}blockquote{border-left:2px solid var(--fg);padding-left:var(--space-lg);margin:var(--space-xl) 0;color:var(--fg-muted);font-style:italic}hr{border:none;border-top:1px solid var(--border);margin:var(--space-xl) 0}ul,ol{padding-left:var(--space-lg);margin-bottom:var(--space-md)}li{margin-bottom:var(--space-xs)}img{max-width:100%;height:auto}figure{margin:var(--space-xl) 0}figcaption{font-size:.85rem;color:var(--fg-muted);margin-top:var(--space-sm);font-style:italic;text-align:left}code{font-family:var(--font-mono);font-size:.88em;background:var(--bg-alt);padding:.15em .35em;border-radius:2px}.prose :not(pre)>code{overflow-wrap:anywhere}.prose pre{background:var(--bg-alt);border:1px solid var(--border);border-radius:4px}pre{font-family:var(--font-mono);font-size:.95rem;line-height:1.65;padding:1.5rem 1.75rem;overflow-x:auto;margin:var(--space-xl) calc(-1 * var(--space-lg));border-radius:0;position:relative;tab-size:2}@media(prefers-color-scheme:dark){.astro-code,.astro-code span{color:var(--shiki-dark)!important;background-color:var(--shiki-dark-bg)!important}.prose pre{border-color:var(--border-strong)}}pre[data-language]:before{content:attr(data-language);position:absolute;top:.6rem;right:1rem;font-family:var(--font-mono);font-size:.6rem;text-transform:uppercase;letter-spacing:.1em;opacity:.35;user-select:none}pre code{background:none;padding:0;border-radius:0;font-size:inherit}@media(min-width:800px){pre{margin-left:-3rem;margin-right:-3rem;padding:1.5rem 3rem}}.prose table{width:100%;border-collapse:collapse;margin:var(--space-lg) 0;font-size:.9rem;line-height:1.35}.prose th,.prose td{padding:.32rem .55rem;border-bottom:1px solid var(--border);text-align:left;vertical-align:top}.prose th{font-weight:700;font-size:.76rem;border-bottom:2px solid var(--fg)}@media(min-width:800px){.prose table{width:calc(100% + 6rem);margin-left:-3rem;margin-right:-3rem}}@media(max-width:799px){.prose table{display:block;width:100%;max-width:100%;overflow-x:auto;overscroll-behavior-x:contain;-webkit-overflow-scrolling:touch}}.katex-display{margin:var(--space-lg) 0;overflow-x:auto;overflow-y:hidden}.katex{font-size:1.1em}.footnotes{margin-top:var(--space-2xl);padding-top:var(--space-lg);border-top:1px solid var(--border);font-size:.85rem;color:var(--fg-muted)}.prose aside,.note{border-left:2px solid var(--fg);padding:0 var(--space-lg);margin:var(--space-lg) 0;font-size:.92rem;color:var(--fg-muted)}.rule{border:none;border-top:1px solid var(--rule);margin:0}.tag{font-family:var(--font-mono);font-size:.7rem;color:var(--fg-faint);text-transform:uppercase;letter-spacing:.05em}@media(prefers-reduced-motion:no-preference){html{scroll-behavior:smooth}}@media print{body{background:#fff;color:#000;font-size:12pt}nav,footer,.no-print{display:none}}