@font-face{font-family:Charter;src:url(./charter_regular.Bg9AUai9.woff2) format("woff2");font-weight:400;font-style:normal;font-display:swap}@font-face{font-family:Charter;src:url(./charter_italic.DbLksRKf.woff2) format("woff2");font-weight:400;font-style:italic;font-display:swap}@font-face{font-family:Charter;src:url(./charter_bold.DWf1YoLo.woff2) format("woff2");font-weight:700;font-style:normal;font-display:swap}@font-face{font-family:Charter;src:url(./charter_bold_italic.ClSdSXq_.woff2) format("woff2");font-weight:700;font-style:italic;font-display:swap}@font-face{font-family:Martian Mono;src:url(./MartianMono-NrRg.BTxous3E.woff2) format("woff2");font-weight:400;font-style:normal;font-display:swap}@font-face{font-family:Martian Mono;src:url(./MartianMono-NrBd.D9y0SnuR.woff2) format("woff2");font-weight:700;font-style:normal;font-display:swap}@font-face{font-family:Martian Grotesk;src:url(./MartianGrotesk-NrRg.B08uEj3t.woff2) format("woff2");font-weight:400;font-style:normal;font-display:swap}@font-face{font-family:Martian Grotesk;src:url(./MartianGrotesk-NrBd.-BsqeZHB.woff2) format("woff2");font-weight:700;font-style:normal;font-display:swap}:root{--font-body: "Charter", Georgia, serif;--font-heading: "Martian Grotesk", system-ui, sans-serif;--font-mono: "Martian Mono", "SF Mono", monospace}: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}: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}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:-.1em}.article .math-display{display:block;margin:1.5rem 0;overflow-x:auto;text-align:center;font-size:1.15em}button.svelte-1cmi4dh{padding:.5rem;border:none;background:transparent;border-radius:.5rem;cursor:pointer;color:var(--color-text);transition:background-color .15s}button.svelte-1cmi4dh:hover{background-color:var(--color-bg-secondary)}svg.svelte-1cmi4dh{display:block}header.svelte-12qhfyh{max-width:42rem;margin:0 auto;padding:1rem 1.5rem;display:flex;justify-content:space-between;align-items:center}nav.svelte-12qhfyh{display:flex;align-items:center;gap:1.5rem}nav.svelte-12qhfyh a:where(.svelte-12qhfyh){color:var(--color-text-secondary);text-decoration:none;transition:color .15s}nav.svelte-12qhfyh a:where(.svelte-12qhfyh):hover{color:var(--color-text)}.site-name.svelte-12qhfyh{font-family:var(--font-heading);font-weight:700;color:var(--color-text)}.header-right.svelte-12qhfyh{display:flex;align-items:center;gap:1rem}.auth-link.svelte-12qhfyh{font-size:.875rem;color:var(--color-text-secondary);text-decoration:none;transition:color .15s}.auth-link.svelte-12qhfyh:hover{color:var(--color-text)}