.paper-h.svelte-npe61d{font-family:var(--font-serif);color:var(--ink);margin:2.25rem 0 .9rem;font-size:1.35rem;font-weight:700}.paper-h.svelte-npe61d:first-child{margin-top:0}.paper-p.svelte-npe61d{margin:.8rem 0;line-height:1.75}.paper-note.svelte-npe61d{text-align:center;color:var(--muted);margin:-.35rem 0 1rem;font-size:.875rem;font-style:italic}.display.svelte-npe61d{text-align:center;color:var(--ink);background:var(--bg);border:1px solid var(--line);border-radius:.6rem;margin:1.4rem 0;padding:.9rem 1rem;font-family:STIX Two Math,STIX Two Text,Cambria Math,Georgia,serif;font-size:1.2rem;overflow-x:auto}.display-hero.svelte-npe61d{text-align:center;color:var(--ink);letter-spacing:.02em;margin:2rem 0 1rem;font-size:clamp(3rem,9vw,5.5rem);font-weight:600}.qed.svelte-npe61d{float:right;color:var(--free)}.qed-big.svelte-npe61d{color:var(--free);font-size:.3em}.chip.svelte-npe61d{font-family:var(--font-mono);letter-spacing:.08em;text-transform:uppercase;border-radius:9999px;padding:.15rem .7rem;font-size:.72rem;display:inline-block}.chip-true.svelte-npe61d{color:var(--free);background:color-mix(in oklab, var(--free) 12%, transparent);border:1px solid color-mix(in oklab, var(--free) 35%, transparent)}.chip-false.svelte-npe61d{color:var(--danger);background:color-mix(in oklab, var(--danger) 12%, transparent);border:1px solid color-mix(in oklab, var(--danger) 35%, transparent)}.venn-letter.svelte-npe61d{font-family:STIX Two Math,Georgia,serif;font-size:2.1rem;font-style:italic}.venn-small.svelte-npe61d{font-family:var(--font-mono);letter-spacing:.08em;font-size:.7rem}.venn-label.svelte-npe61d{font-size:1.25rem;font-style:italic}@media (prefers-reduced-motion:no-preference){html.js .venn-f.svelte-npe61d{transition:transform .7s cubic-bezier(.25,.8,.25,1) .1s;transform:translate(-150px)}html.js .venn-cres.svelte-npe61d{opacity:0;transition:opacity .5s .75s}html.js .venn-note.svelte-npe61d{opacity:0;transition:opacity .4s 1.05s}html.js .venn-host.svelte-npe61d.shown .venn-f:where(.svelte-npe61d){transform:none}html.js .venn-host.svelte-npe61d.shown .venn-cres:where(.svelte-npe61d),html.js .venn-host.svelte-npe61d.shown .venn-note:where(.svelte-npe61d){opacity:1}}.viz.svelte-fdwpo1{--viz1:#2563eb;--viz2:#0d9488;--viz3:#7c3aed;--viz4:#b45309;--viz5:#78716c}html.dark .viz.svelte-fdwpo1{--viz1:#3b82f6;--viz2:#0d9488;--viz3:#8b5cf6;--viz4:#d97706;--viz5:#a8a29e}.donut-big.svelte-fdwpo1{font-size:1.7rem;font-weight:700}.donut-small.svelte-fdwpo1{font-size:.72rem;font-family:var(--font-mono,monospace);letter-spacing:.06em}.viz.svelte-fdwpo1 path:where(.svelte-fdwpo1):focus-visible,.viz.svelte-fdwpo1 rect:where(.svelte-fdwpo1):focus-visible{outline:2px solid var(--free);outline-offset:2px}.axis.svelte-fdwpo1{font-family:var(--font-mono,monospace);letter-spacing:.06em;font-size:.6rem}.serieslabel.svelte-fdwpo1{font-family:var(--font-mono,monospace);letter-spacing:.08em;font-size:.68rem;font-weight:700}@keyframes svelte-8zcb99-rise{0%{opacity:0;transform:translateY(26px)}to{opacity:1;transform:none}}.rise.svelte-8zcb99{animation:.85s cubic-bezier(.2,.7,.2,1) both svelte-8zcb99-rise;animation-delay:var(--d,0s)}.footlink.svelte-8zcb99{color:var(--body-ink);text-decoration:underline;-webkit-text-decoration-color:var(--line);text-decoration-color:var(--line);text-underline-offset:4px;align-items:baseline;gap:.45rem;transition:color .2s;display:inline-flex}.footlink.svelte-8zcb99:hover{color:var(--free)}.footlink.svelte-8zcb99 svg{color:var(--muted);flex-shrink:0;align-self:center}