:root{--color-bg: #ffffff;--color-bg-secondary: #f6f8fa;--color-bg-tertiary: #eaeef2;--color-text: #1f2328;--color-text-secondary: #656d76;--color-text-tertiary: #8b949e;--color-border: #d0d7de;--color-border-muted: #eaeef2;--color-accent: #0969da;--color-accent-hover: #0550ae;--color-info: #0969da;--color-info-bg: rgba(9, 105, 218, .08);--color-warning: #9a6700;--color-warning-bg: rgba(154, 103, 0, .08);--color-danger: #cf222e;--color-danger-bg: rgba(207, 34, 46, .08);--color-success: #1a7f37;--color-success-bg: rgba(26, 127, 55, .08);--color-tip: #8250df;--color-tip-bg: rgba(130, 80, 223, .08);--color-question: #7c3aed;--color-question-bg: rgba(124, 58, 237, .08);--color-quote: #57606a;--color-quote-bg: rgba(87, 96, 106, .08);--color-code-bg: #f6f8fa;--color-viz-negative: #2563eb;--color-viz-zero: #f8fafc;--color-viz-positive: #dc2626;--color-viz-missing: transparent;--color-viz-highlight: #f59e0b;--color-viz-highlight-fill: rgba(245, 158, 11, .15);--color-viz-tree-node: #475569;--color-viz-tree-node-leaf: #0f172a;--color-viz-tree-link: #94a3b8;--color-viz-block-diagonal: rgba(15, 23, 42, .08);--color-viz-block-offdiag: rgba(100, 116, 139, .06);--color-viz-grid: #e2e8f0;--color-viz-axis: #64748b;--color-viz-eigenvalue: #7c3aed;--color-viz-eigenvalue-stroke: #5b21b6}:root.dark{--color-bg: #0d1117;--color-bg-secondary: #161b22;--color-bg-tertiary: #21262d;--color-text: #e6edf3;--color-text-secondary: #8b949e;--color-text-tertiary: #6e7681;--color-border: #30363d;--color-border-muted: #21262d;--color-accent: #58a6ff;--color-accent-hover: #79c0ff;--color-info: #58a6ff;--color-info-bg: rgba(56, 139, 253, .15);--color-warning: #d29922;--color-warning-bg: rgba(210, 153, 34, .15);--color-danger: #f85149;--color-danger-bg: rgba(248, 81, 73, .15);--color-success: #3fb950;--color-success-bg: rgba(63, 185, 80, .15);--color-tip: #a371f7;--color-tip-bg: rgba(163, 113, 247, .15);--color-question: #a78bfa;--color-question-bg: rgba(167, 139, 250, .15);--color-quote: #8b949e;--color-quote-bg: rgba(139, 148, 158, .15);--color-code-bg: #161b22;--color-viz-negative: #60a5fa;--color-viz-zero: #1e293b;--color-viz-positive: #f87171;--color-viz-missing: transparent;--color-viz-highlight: #fbbf24;--color-viz-highlight-fill: rgba(251, 191, 36, .2);--color-viz-tree-node: #94a3b8;--color-viz-tree-node-leaf: #e2e8f0;--color-viz-tree-link: #475569;--color-viz-block-diagonal: rgba(226, 232, 240, .08);--color-viz-block-offdiag: rgba(148, 163, 184, .06);--color-viz-grid: #334155;--color-viz-axis: #94a3b8;--color-viz-eigenvalue: #a78bfa;--color-viz-eigenvalue-stroke: #8b5cf6}body{font-family:var(--font-body);background-color:var(--color-bg);color:var(--color-text);margin:0;transition:background-color .2s,color .2s}::selection{background:#58a6ff33}mjx-container svg>g{fill:var(--color-text);stroke:var(--color-text)}.article{max-width:42rem;margin:0 auto;padding:2rem 1.5rem;font-size:1.125rem;line-height:1.7;position:relative}@media(min-width:1200px){.article.has-sidenotes{max-width:calc(42rem + 250px);padding-right:calc(250px + 2rem)}}.article h1,.article h2,.article h3,.article h4{font-family:var(--font-heading);font-weight:700;line-height:1.3;margin-top:2.5rem;margin-bottom:1rem}.article h1{font-size:2.25rem;margin-top:0;letter-spacing:-.025em}.article h2{font-size:1.75rem;margin-top:3rem;padding-top:1.5rem;border-top:1px solid var(--color-border-muted)}.article h3{font-size:1.375rem}.article h4{font-size:1.125rem}.article p{margin:0 0 1.5rem}.article a{color:var(--color-accent);text-decoration:none}.article a:hover{color:var(--color-accent-hover);text-decoration:underline}.article a.internal-link{text-decoration:underline;text-decoration-style:dotted;text-underline-offset:2px}.article a.internal-link:hover{text-decoration-style:solid}.article a.broken-link{color:var(--color-danger);text-decoration:wavy underline}.article a.redacted-link{color:var(--color-redacted);text-decoration:none;cursor:not-allowed;opacity:.7}.article a.redacted-link:hover{opacity:.9}.article>p:first-of-type{font-size:1.25rem;color:var(--color-text-secondary)}.article ul,.article ol{margin:0 0 1.5rem;padding-left:1.5rem}.article li{margin-bottom:.5rem}.article blockquote{margin:1.5rem 0;padding-left:1.25rem;border-left:3px solid var(--color-border);color:var(--color-text-secondary);font-style:italic}.article blockquote cite{display:block;margin-top:.5rem;font-size:.9rem;font-style:normal;color:var(--color-text-tertiary)}.article blockquote cite:before{content:"— "}.article code:not(pre code){font-family:var(--font-mono);font-size:.85em;background:var(--color-bg-secondary);padding:.15em .4em;border-radius:4px;border:1px solid var(--color-border-muted)}.article hr{border:none;border-top:1px solid var(--color-border);margin:2.5rem 0}.article img{max-width:100%;height:auto;border-radius:4px}.article figure{margin:2rem 0}.article figcaption{font-size:.875rem;color:var(--color-text-secondary);text-align:center;margin-top:.75rem}.article table{width:100%;border-collapse:collapse;margin:1.5rem 0}.article th,.article td{padding:.75rem 1rem;text-align:left;border-bottom:1px solid var(--color-border-muted)}.article th{font-family:var(--font-heading);font-weight:700;border-bottom-width:2px}.article .math-inline{display:inline-block;vertical-align:baseline;position:relative;top:0;font-size:1em}.article .math-display{display:block;margin:1.5rem 0;overflow-x:auto;text-align:center;font-size:1.15em}header.svelte-1br2sqw{max-width:42rem;margin:0 auto;padding:1rem 1.5rem;display:flex;justify-content:space-between;align-items:center}nav.svelte-1br2sqw{display:flex;align-items:center;gap:1.5rem}nav.svelte-1br2sqw a:where(.svelte-1br2sqw){color:var(--color-text-secondary);text-decoration:none;transition:color .15s}nav.svelte-1br2sqw a:where(.svelte-1br2sqw):hover{color:var(--color-text)}.site-name.svelte-1br2sqw{font-family:var(--font-heading);font-weight:700;color:var(--color-text)}.header-right.svelte-1br2sqw{display:flex;align-items:center;gap:1rem}.auth-link.svelte-1br2sqw{font-size:.875rem;color:var(--color-text-secondary);text-decoration:none;transition:color .15s}.auth-link.svelte-1br2sqw:hover{color:var(--color-text)}