.hero[data-astro-cid-j7pv25f6]{padding-bottom:4rem}h1[data-astro-cid-j7pv25f6]{max-width:20ch}.proof[data-astro-cid-j7pv25f6]{padding-top:3.5rem;padding-bottom:3.5rem;border-top:1px solid var(--rule)}.proof-list[data-astro-cid-j7pv25f6]{list-style:none;margin:0;padding:0;display:grid;gap:1.1rem}.proof-item[data-astro-cid-j7pv25f6]{display:grid;grid-template-columns:1.25rem 1fr;gap:.75rem;align-items:baseline}.proof-mark[data-astro-cid-j7pv25f6]{color:var(--accent);font-size:.9rem}.proof-d[data-astro-cid-j7pv25f6]{color:var(--fg);font-size:1.05rem;line-height:1.5;max-width:56ch}.proof-d[data-astro-cid-j7pv25f6]{text-wrap:pretty}.edge[data-astro-cid-j7pv25f6]{padding-top:3.5rem;padding-bottom:3.5rem;border-top:1px solid var(--rule)}.edge-d[data-astro-cid-j7pv25f6]{margin:0 0 1.1rem;color:var(--fg);max-width:58ch;font-size:1.08rem;line-height:1.55;text-wrap:pretty}.edge-d[data-astro-cid-j7pv25f6]:last-child{margin-bottom:0;color:var(--fg-2)}.move[data-astro-cid-j7pv25f6]{padding-top:3.5rem;padding-bottom:3.5rem;border-top:1px solid var(--rule)}.move-list[data-astro-cid-j7pv25f6]{list-style:none;margin:0;padding:0;display:grid;gap:1.5rem}.move-list[data-astro-cid-j7pv25f6] li[data-astro-cid-j7pv25f6]{display:grid;grid-template-columns:2.5rem minmax(0,13ch) 1fr;gap:1rem;align-items:baseline}.move-n[data-astro-cid-j7pv25f6]{color:var(--dim);font-size:.85rem}.move-k[data-astro-cid-j7pv25f6]{font-family:var(--font-mono);color:var(--accent);font-size:.95rem}.move-d[data-astro-cid-j7pv25f6]{color:var(--fg-2)}.exhibits[data-astro-cid-j7pv25f6]{padding-top:3.5rem;padding-bottom:3.5rem;border-top:1px solid var(--rule)}.ex-list[data-astro-cid-j7pv25f6]{list-style:none;margin:0;padding:0;display:grid;gap:2rem}.ex-head[data-astro-cid-j7pv25f6]{display:flex;align-items:baseline;gap:.9rem;flex-wrap:wrap;margin-bottom:.5rem}.ex-t[data-astro-cid-j7pv25f6]{font-family:var(--font-display);font-size:1.4rem;font-weight:480;letter-spacing:-.01em;color:var(--fg);text-decoration:none}.ex-t[data-astro-cid-j7pv25f6]:hover{color:var(--accent)}.ex-t[data-astro-cid-j7pv25f6]:focus-visible{outline:2px solid var(--accent);outline-offset:4px;border-radius:2px}.ex-arrow[data-astro-cid-j7pv25f6]{display:inline-block;margin-left:.4rem;color:var(--accent);opacity:0;transform:translate(-.25rem);font-size:.85em;transition:opacity .16s ease,transform .16s ease}.ex-t[data-astro-cid-j7pv25f6]:hover .ex-arrow[data-astro-cid-j7pv25f6],.ex-t[data-astro-cid-j7pv25f6]:focus-visible .ex-arrow[data-astro-cid-j7pv25f6]{opacity:1;transform:none}.ex-y[data-astro-cid-j7pv25f6]{color:var(--dim);font-size:.8rem;margin-left:auto}.ex-d[data-astro-cid-j7pv25f6]{margin:0;color:var(--fg-2);max-width:var(--measure)}.term[data-astro-cid-j7pv25f6]{padding-top:3.5rem;padding-bottom:3.5rem;border-top:1px solid var(--rule)}.now[data-astro-cid-j7pv25f6]{padding-top:3.5rem;padding-bottom:1rem;border-top:1px solid var(--rule)}.now-body[data-astro-cid-j7pv25f6]{font-family:var(--font-display);font-size:clamp(1.3rem,3vw,1.9rem);line-height:1.3;font-weight:440;max-width:30ch;margin:0;color:var(--fg)}.now-cta[data-astro-cid-j7pv25f6]{margin:1.5rem 0 0;font-family:var(--font-mono);font-size:.9rem;line-height:1.6;max-width:52ch}.now-cta[data-astro-cid-j7pv25f6] a[data-astro-cid-j7pv25f6]{color:var(--accent);text-decoration:none;white-space:nowrap}.now-cta[data-astro-cid-j7pv25f6] a[data-astro-cid-j7pv25f6]:hover{text-decoration:underline}.now-cta-rest[data-astro-cid-j7pv25f6]{color:var(--dim)}@media(max-width:640px){.move-list[data-astro-cid-j7pv25f6] li[data-astro-cid-j7pv25f6]{grid-template-columns:1fr;gap:.25rem}.move-n[data-astro-cid-j7pv25f6]{display:none}.ex-y[data-astro-cid-j7pv25f6]{margin-left:0}}