.article-wrapper{max-width:var(--content-width);margin:0 auto;padding:0 1.5rem}@media(max-width:600px){.article-wrapper{padding:0 .375rem}}.article-content{max-width:var(--content-width)}.prose{font-size:1.375rem;line-height:1.6}.article-content>h2{margin-top:4rem;padding-top:2rem;border-top:1px solid var(--color-border)}.article-content>h2:first-child,.prose>h2:first-child{border-top:none;padding-top:0;margin-top:3rem}.article-content>h3{margin-top:3rem}@media(min-width:1100px){.aside{font-family:var(--font-sans);font-size:.8125rem;color:var(--color-text-secondary);line-height:1.55;margin:1.5rem 0;padding:1rem 1.25rem;background:var(--color-bg-secondary);border-radius:8px}.aside-marker{display:none}}@media(max-width:1099px){.aside{font-family:var(--font-sans);background:var(--color-bg-secondary);padding:1rem 1.25rem;border-radius:8px;font-size:.875rem;margin:1.5rem 0;color:var(--color-text-secondary);line-height:1.55}.aside-marker{font-weight:600;color:var(--color-text);margin-right:.35em}}.figure{margin:2.5rem 0}.figure img{display:block;width:100%;border-radius:8px;border:1px solid var(--color-border-light)}.figure figcaption{font-family:var(--font-sans);font-size:.8125rem;color:var(--color-text-secondary);margin-top:1rem;text-align:center;line-height:1.5}.callout{font-family:var(--font-sans);padding:1.25rem 1.5rem;border-radius:8px;margin:2rem 0;border-left:3px solid;font-size:.9375rem;line-height:1.6}.callout-header{font-weight:600;font-size:.8125rem;text-transform:uppercase;letter-spacing:.03em;margin-bottom:.625rem;display:flex;align-items:center;gap:.5em}.callout-content>*:last-child{margin-bottom:0}.callout-content p{margin-bottom:.75rem}.callout-note{background:#fafafa;border-color:#525252}.callout-note .callout-header{color:#525252}.callout-warning{background:#fffbeb;border-color:#d97706}.callout-warning .callout-header{color:#d97706}.callout-idea{background:#f0fdf4;border-color:#16a34a}.callout-idea .callout-header{color:#16a34a}.callout-result{background:#faf5ff;border-color:#9333ea}.callout-result .callout-header{color:#9333ea}.callout-proof{background:var(--color-bg-secondary);border-color:var(--color-text-muted)}.callout-proof .callout-header{color:var(--color-text-secondary)}.cite{font-family:var(--font-sans);font-variant-numeric:tabular-nums}.cite a{color:var(--color-text-secondary);text-decoration:none;font-size:.8125rem;font-weight:500}.cite a:hover{color:var(--color-text);opacity:1}.article-content pre,.prose pre{margin:2rem 0}.article-content .katex-display,.prose .katex-display{margin:2rem 0;overflow-x:auto;overflow-y:hidden;padding:.5rem 0;width:100%;max-width:100%}.katex-html{overflow-x:auto;overflow-y:hidden}.article-content ul,.article-content ol,.prose ul,.prose ol{margin:1.5rem 0;padding-left:1.25rem}.article-content li,.prose li{margin-bottom:.625rem}.full-width{grid-column:1 / -1;max-width:none;margin:3rem 0}.pull-quote{font-size:1.375rem;font-weight:500;line-height:1.45;color:var(--color-text);margin:2.5rem 0;padding:0;font-family:var(--font-serif)}.lead{font-size:1.125rem;line-height:1.7;color:var(--color-text-secondary)}.article-header[data-astro-cid-zm77yjld]{margin-bottom:3.5rem}.article-meta-top[data-astro-cid-zm77yjld]{font-family:var(--font-sans);font-size:.8125rem;color:var(--color-text-muted);margin-bottom:1rem;display:flex;align-items:center;gap:.5rem}.separator[data-astro-cid-zm77yjld]{color:var(--color-border)}.article-header[data-astro-cid-zm77yjld] h1[data-astro-cid-zm77yjld]{margin-top:0;margin-bottom:1.25rem;font-size:2.2rem;letter-spacing:-.03em;line-height:1.15}@media(max-width:600px){.article-header[data-astro-cid-zm77yjld] h1[data-astro-cid-zm77yjld]{font-size:1.65rem}}.abstract[data-astro-cid-zm77yjld]{font-size:1.375rem;color:var(--color-text-secondary);line-height:1.55;margin-bottom:1.5rem;font-family:var(--font-serif)}.authors[data-astro-cid-zm77yjld]{font-family:var(--font-sans);font-size:.9375rem;color:var(--color-text-secondary)}.author-item[data-astro-cid-zm77yjld]{display:inline-flex;align-items:center;gap:.5rem}.author[data-astro-cid-zm77yjld]{font-weight:500;color:var(--color-text)}.author-links[data-astro-cid-zm77yjld]{display:inline-flex;align-items:center;gap:.375rem}.author-icon[data-astro-cid-zm77yjld]{display:inline-flex;align-items:center;justify-content:center;color:var(--color-text-muted);text-decoration:none;transition:color .15s ease}.author-icon[data-astro-cid-zm77yjld]:hover{color:var(--color-text)}.icon[data-astro-cid-zm77yjld]{width:18px;height:18px}.author-sep[data-astro-cid-zm77yjld]{color:var(--color-text-muted)}.article-footer[data-astro-cid-zm77yjld]{margin-top:4rem;padding-top:2rem;border-top:1px solid var(--color-border)}.tags[data-astro-cid-zm77yjld]{display:flex;flex-wrap:wrap;gap:.5rem}.tag[data-astro-cid-zm77yjld]{font-family:var(--font-sans);font-size:.8125rem;color:var(--color-text-muted);text-decoration:none;padding:.375rem .75rem;background:var(--color-bg-secondary);border-radius:100px;transition:all .15s ease}.tag[data-astro-cid-zm77yjld]:hover{color:var(--color-text);background:var(--color-border)}.site-footer[data-astro-cid-zm77yjld]{margin-top:6rem;padding:3rem 0;display:flex;justify-content:space-between;align-items:center;font-family:var(--font-sans);font-size:.8125rem;color:var(--color-text-muted)}.site-footer[data-astro-cid-zm77yjld] .copyright[data-astro-cid-zm77yjld]{margin:0}.site-footer[data-astro-cid-zm77yjld] .footer-nav[data-astro-cid-zm77yjld]{display:flex;gap:1.5rem}.site-footer[data-astro-cid-zm77yjld] .footer-nav[data-astro-cid-zm77yjld] a[data-astro-cid-zm77yjld]{color:var(--color-text-muted);text-decoration:none;transition:color .15s ease}.site-footer[data-astro-cid-zm77yjld] .footer-nav[data-astro-cid-zm77yjld] a[data-astro-cid-zm77yjld]:hover{color:var(--color-text)}.site-header[data-astro-cid-zm77yjld]{padding:1.5rem 0;margin-bottom:4rem}@media(max-width:600px){.site-header[data-astro-cid-zm77yjld]{padding:.75rem 0;margin-bottom:.5rem}}.back-link[data-astro-cid-zm77yjld]{font-family:var(--font-sans);font-size:.9375rem;font-weight:500;color:var(--color-text);text-decoration:none;display:inline-flex;align-items:center;gap:.5rem}.back-link[data-astro-cid-zm77yjld]:hover{opacity:.7}.back-icon[data-astro-cid-zm77yjld]{width:18px;height:18px}