.stamp.svelte-14ugjki{position:absolute;top:1.15rem;right:.9rem;padding:.2rem .5rem;border:3px double var(--danger);border-radius:.25rem;color:var(--danger);font-family:var(--font-mono);font-size:.7rem;font-weight:700;letter-spacing:.16em;opacity:.9;transform:rotate(-8deg)}@media(prefers-reduced-motion:no-preference){html.js .stamp.svelte-14ugjki{opacity:0;transform:rotate(14deg) scale(2.4);transition:transform .4s cubic-bezier(.34,1.35,.5,1) .4s,opacity .25s ease .4s}html.js .stamp-host.svelte-14ugjki.shown .stamp:where(.svelte-14ugjki){opacity:.9;transform:rotate(-8deg) scale(1)}}.paper-h.svelte-1vw6jkp{margin:2.25rem 0 .9rem;font-family:var(--font-serif);font-size:1.35rem;font-weight:700;color:var(--ink)}.paper-h.svelte-1vw6jkp:first-child{margin-top:0}.paper-p.svelte-1vw6jkp{margin:.8rem 0;line-height:1.75}.paper-note.svelte-1vw6jkp{margin:-.35rem 0 1rem;text-align:center;font-size:.875rem;color:var(--muted);font-style:italic}.display.svelte-1vw6jkp{margin:1.4rem 0;padding:.9rem 1rem;text-align:center;font-family:"STIX Two Math",STIX Two Text,"Cambria Math",Georgia,serif;font-size:1.2rem;color:var(--ink);background:var(--bg);border:1px solid var(--line);border-radius:.6rem;overflow-x:auto}.display-hero.svelte-1vw6jkp{margin:2rem 0 1rem;text-align:center;font-size:clamp(3rem,9vw,5.5rem);font-weight:600;color:var(--ink);letter-spacing:.02em}.qed.svelte-1vw6jkp{float:right;color:var(--free)}.qed-big.svelte-1vw6jkp{color:var(--free);font-size:.3em}.chip.svelte-1vw6jkp{display:inline-block;padding:.15rem .7rem;border-radius:9999px;font-family:var(--font-mono);font-size:.72rem;letter-spacing:.08em;text-transform:uppercase}.chip-true.svelte-1vw6jkp{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-1vw6jkp{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-1vw6jkp{font-family:"STIX Two Math",Georgia,serif;font-style:italic;font-size:2.1rem}.venn-small.svelte-1vw6jkp{font-family:var(--font-mono);font-size:.7rem;letter-spacing:.08em}.venn-label.svelte-1vw6jkp{font-size:1.25rem;font-style:italic}@media(prefers-reduced-motion:no-preference){html.js .venn-f.svelte-1vw6jkp{transform:translate(-150px);transition:transform 1.2s cubic-bezier(.25,.8,.25,1) .3s}html.js .venn-cres.svelte-1vw6jkp{opacity:0;transition:opacity .9s ease 1.4s}html.js .venn-note.svelte-1vw6jkp{opacity:0;transition:opacity .6s ease 2s}html.js .venn-host.svelte-1vw6jkp.shown .venn-f:where(.svelte-1vw6jkp){transform:none}html.js .venn-host.svelte-1vw6jkp.shown .venn-cres:where(.svelte-1vw6jkp),html.js .venn-host.svelte-1vw6jkp.shown .venn-note:where(.svelte-1vw6jkp){opacity:1}}.torch-halo.svelte-1uha8ag,.torch-core.svelte-1uha8ag{transform-box:fill-box;transform-origin:center}.torch-halo.svelte-1uha8ag{opacity:.28;animation:svelte-1uha8ag-torch-flicker 2.7s ease-in-out infinite}.torch-core.svelte-1uha8ag{opacity:.8;animation:svelte-1uha8ag-torch-core-flicker 1.9s ease-in-out infinite}@keyframes svelte-1uha8ag-torch-core-flicker{0%,to{opacity:.75;transform:scale(1)}40%{opacity:1;transform:scale(1.25)}65%{opacity:.85;transform:scale(1.08)}}@keyframes svelte-1uha8ag-torch-flicker{0%,to{opacity:.28;transform:scale(1)}35%{opacity:.5;transform:scale(1.22)}55%{opacity:.34;transform:scale(1.06)}75%{opacity:.46;transform:scale(1.16)}}@keyframes svelte-1uha8ag-rise{0%{opacity:0;transform:translateY(26px)}to{opacity:1;transform:none}}.rise.svelte-1uha8ag{animation:svelte-1uha8ag-rise .85s cubic-bezier(.2,.7,.2,1) both;animation-delay:var(--d, 0ms)}.footlink.svelte-1uha8ag{display:inline-flex;align-items:baseline;gap:.45rem;color:var(--body-ink);text-decoration:underline;text-decoration-color:var(--line);text-underline-offset:4px;transition:color .2s ease}.footlink.svelte-1uha8ag:hover{color:var(--free)}.footlink.svelte-1uha8ag svg{align-self:center;flex-shrink:0;color:var(--muted)}