.essay-meta{max-width:42rem;margin-top:.75rem;color:var(--accent-secondary);font-family:ui-sans-serif,system-ui,sans-serif;font-size:.92rem;font-weight:700}.article-map{display:flex;flex-wrap:wrap;gap:.75rem;padding:0 0 2rem;border-bottom:1px solid var(--line);font-family:ui-sans-serif,system-ui,sans-serif}.article-map a{padding:.45rem 0;color:var(--accent);font-weight:700;text-decoration-thickness:.08em;text-underline-offset:.22em;touch-action:manipulation}.article-map a:hover{color:var(--accent-strong)}.lede{margin-top:2.5rem;font-size:1.26rem;line-height:1.65}.article-section{margin:3rem 0}.article-section h2{margin:0 0 1rem;font-family:ui-sans-serif,system-ui,sans-serif;font-size:1.65rem;letter-spacing:0;line-height:1.2;text-wrap:balance}.math-line{max-width:100%;overflow-x:auto;padding:.85rem 1rem;border-left:4px solid var(--accent);background:var(--surface);white-space:nowrap}.math-proof-list{display:grid;gap:1rem;margin:1rem 0 0;font-family:ui-sans-serif,system-ui,sans-serif}.math-proof-list article{padding:1rem 0 0;border-top:1px solid var(--line)}.math-proof-list h3{margin:0;color:var(--accent-strong);font-size:1rem;letter-spacing:0}.math-proof-list article>p{margin:.65rem 0 0}.static-math{max-width:100%;margin:1rem 0;overflow-x:auto;padding:.85rem 1rem;border-left:4px solid var(--accent);background:var(--surface)}.static-math--display{text-align:center}.math-proof-list ul{margin:1rem 0 0;padding-left:1.25rem}.math-proof-list li+li{margin-top:.4rem}.math-proof-summary{grid-template-columns:repeat(4,minmax(0,1fr))}.proof-ladder{max-width:100%;overflow-x:auto}.proof-ladder table{width:100%;min-width:42rem;border-collapse:collapse;font-family:ui-sans-serif,system-ui,sans-serif;font-size:.95rem}.proof-ladder th,.proof-ladder td{padding:.85rem .75rem;border-bottom:1px solid var(--line);text-align:left;vertical-align:top}.proof-ladder thead th{color:var(--accent-secondary);font-size:.78rem;text-transform:uppercase}.proof-ladder tbody th{color:var(--accent-strong);white-space:nowrap}.proof-summary{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:1rem;margin:1.25rem 0 0;font-family:ui-sans-serif,system-ui,sans-serif}.proof-summary div{padding:1rem;border:1px solid var(--line);border-radius:8px;background:var(--surface)}.proof-summary dt{color:var(--accent-secondary);font-size:.78rem;font-weight:800;text-transform:uppercase}.proof-summary dd{margin:.35rem 0 0;color:var(--ink);font-weight:700;overflow-wrap:anywhere}.source-note-ref{margin-left:.12rem;font-size:.72em;line-height:0;vertical-align:super}.source-note-ref a,.source-note-backlink{color:var(--accent);font-family:ui-sans-serif,system-ui,sans-serif;font-weight:800;text-underline-offset:.2em}.source-notes{margin:1rem 0 0;padding-left:1.25rem}.source-notes li{padding:1rem 0;border-top:1px solid var(--line)}.source-notes li:target,.source-note-ref:target{outline:3px solid color-mix(in srgb,var(--accent) 35%,transparent);outline-offset:.3rem}.source-note-backlink{display:inline-block;margin-right:.6rem}.source-note-summary{grid-template-columns:repeat(3,minmax(0,1fr))}.code-block-list{display:grid;gap:1rem;margin:1rem 0 0;font-family:ui-sans-serif,system-ui,sans-serif}.code-block-list article{padding:1rem 0 0;border-top:1px solid var(--line)}.code-block-list h3{margin:0;color:var(--accent-strong);font-size:1rem;letter-spacing:0}.code-block-list article>p{margin:.65rem 0 0}.code-copy-control{display:flex;flex-wrap:wrap;gap:.6rem;align-items:center;margin:1rem 0 0}.code-copy-button{display:inline-flex;align-items:center;justify-content:center;gap:.45rem;min-height:2.45rem;padding:0 .8rem;border:1px solid var(--line);border-radius:8px;background:#fff;color:var(--ink);font:inherit;font-size:.86rem;font-weight:800;cursor:pointer}.code-copy-button:hover{border-color:var(--accent);color:var(--accent)}.code-copy-button:focus-visible{outline:3px solid var(--accent);outline-offset:3px}.code-copy-button svg{flex:0 0 auto;width:1rem;height:1rem}.code-copy-status{color:var(--accent-secondary);font-size:.82rem;font-weight:800}.code-block-list pre{max-width:100%;margin:1rem 0;overflow-x:auto;padding:1rem;border:1px solid var(--line);border-radius:6px;background:var(--surface-strong);color:#24312f;font-size:.9rem;line-height:1.55}.code-block-list pre code{display:block;min-width:max-content;white-space:pre}.code-block-list ul{margin:1rem 0 0;padding-left:1.25rem}.code-block-list li+li{margin-top:.4rem}.code-block-summary{grid-template-columns:repeat(4,minmax(0,1fr))}.appendix-list{display:grid;gap:1rem;margin:1rem 0 0;font-family:ui-sans-serif,system-ui,sans-serif}.appendix-list article{padding:1rem 0 0;border-top:1px solid var(--line)}.appendix-list h3{margin:0;color:var(--accent-strong);font-size:1rem;letter-spacing:0}.appendix-list article>p{margin:.65rem 0 0}.appendix-list ul{margin:1rem 0 0;padding-left:1.25rem}.appendix-list li+li{margin-top:.4rem}.appendix-summary{grid-template-columns:repeat(3,minmax(0,1fr))}.glossary-list{display:grid;gap:0;margin:1rem 0 0;font-family:ui-sans-serif,system-ui,sans-serif}.glossary-list div{display:grid;grid-template-columns:minmax(11rem,.8fr) minmax(0,1.4fr);gap:1rem;padding:1rem 0;border-top:1px solid var(--line)}.glossary-list dt{color:var(--accent-strong);font-weight:800}.glossary-list dd,.glossary-list dd p{margin:0}.glossary-list .glossary-source{margin-top:.45rem;color:var(--accent-secondary);font-size:.88rem;font-weight:700}@media(max-width:560px){.lede{font-size:1.12rem}.article-section h2{font-size:1.42rem}.proof-summary,.glossary-list div{grid-template-columns:1fr}}.essay-shell[data-astro-cid-35i365z7]{width:min(100% - 2rem,1080px);margin:0 auto}.site-nav[data-astro-cid-35i365z7]{display:flex;justify-content:flex-end;padding:1rem 0 0;font-family:ui-sans-serif,system-ui,sans-serif;font-weight:800}.skip-link[data-astro-cid-35i365z7]{position:fixed;top:1rem;left:1rem;z-index:10;transform:translateY(-200%);padding:.6rem .8rem;border-radius:6px;background:var(--ink);color:var(--page-bg);font-family:ui-sans-serif,system-ui,sans-serif;font-weight:700;text-decoration:none}.skip-link[data-astro-cid-35i365z7]:focus-visible{transform:translateY(0);outline:3px solid var(--accent);outline-offset:3px}.essay-hero[data-astro-cid-35i365z7]{min-height:68vh;display:grid;align-content:end;padding:6rem 0 2.5rem;border-bottom:1px solid var(--line)}.essay-kicker[data-astro-cid-35i365z7]{color:var(--accent-strong);font-family:ui-sans-serif,system-ui,sans-serif;font-size:.82rem;font-weight:700;letter-spacing:0;text-transform:uppercase}h1[data-astro-cid-35i365z7]{max-width:13ch;margin:0;font-size:3.1rem;line-height:1;letter-spacing:0;text-wrap:balance}.essay-dek[data-astro-cid-35i365z7]{max-width:42rem;color:var(--muted);font-size:1.16rem;line-height:1.5}.essay-body[data-astro-cid-35i365z7]{max-width:720px;padding:3rem 0 6rem;font-size:1.08rem;line-height:1.75}@media(min-width:760px){h1[data-astro-cid-35i365z7]{font-size:5.25rem}.essay-dek[data-astro-cid-35i365z7]{font-size:1.36rem}}
