.proof[data-astro-cid-ciryual5]{padding-block:var(--space-block);border-block:1px solid var(--line)}.proof-list[data-astro-cid-ciryual5]{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));border-top:1px solid var(--line)}.proof-list[data-astro-cid-ciryual5] li[data-astro-cid-ciryual5]{display:grid;gap:.15rem;padding:1.15rem 1rem 1.15rem 0;border-bottom:1px solid var(--line)}.proof-name[data-astro-cid-ciryual5]{font-family:var(--font-text);font-weight:600;font-size:clamp(.9375rem,.9rem + .3vw,1.0625rem);letter-spacing:-.005em;color:var(--ink);letter-spacing:-.015em}.proof-kind[data-astro-cid-ciryual5]{color:var(--muted)}.proof-note[data-astro-cid-ciryual5]{margin-top:1.5rem;max-width:56ch}@media(min-width:48rem){.proof-list[data-astro-cid-ciryual5]{grid-template-columns:repeat(4,minmax(0,1fr))}.proof-list[data-astro-cid-ciryual5] li[data-astro-cid-ciryual5]{padding-right:1.5rem}}