.proof__list[data-astro-cid-lcdefpme]{border-block-start:var(--border-hairline) solid var(--border);gap:0;display:grid}@media (width>=56rem){.proof__list[data-astro-cid-lcdefpme]{column-gap:var(--space-2xl);grid-template-columns:repeat(2,minmax(0,1fr))}}.proof__list[data-astro-cid-lcdefpme] li[data-astro-cid-lcdefpme]{padding-block:var(--space-l);border-block-end:var(--border-hairline) solid var(--border)}.proof__term[data-astro-cid-lcdefpme]{font-family:var(--font-display);font-size:var(--text-lg);font-weight:var(--weight-display);letter-spacing:var(--tracking-display);color:var(--text-strong)}.proof__detail[data-astro-cid-lcdefpme]{max-inline-size:44ch;color:var(--text-muted);font-size:var(--text-sm);line-height:var(--leading-normal);margin-block-start:var(--space-2xs)}.home__meta[data-astro-cid-lcdefpme]{margin-block-start:var(--space-2xl)}.home__title[data-astro-cid-lcdefpme]{margin-block-start:var(--space-m)}.home__lead[data-astro-cid-lcdefpme]{margin-block-start:var(--space-l)}.home__problem[data-astro-cid-lcdefpme]{max-inline-size:20ch;font-size:var(--text-3xl);line-height:var(--leading-tight)}.home__problemPanel[data-astro-cid-lcdefpme]{max-inline-size:40rem}.home__problemBody[data-astro-cid-lcdefpme]{margin-block-start:var(--space-l)}.home__sectionTitle[data-astro-cid-lcdefpme]{margin-block-start:var(--space-s)}.home__descriptor[data-astro-cid-lcdefpme]{margin-block-start:var(--space-3xs)}.home__pillarsLead[data-astro-cid-lcdefpme]{max-inline-size:var(--measure);color:var(--text-muted);margin-block-end:var(--space-l)}.home__pointer[data-astro-cid-lcdefpme]{margin-block-start:var(--space-xl)}.home__close[data-astro-cid-lcdefpme]{max-inline-size:16ch;font-size:var(--text-3xl);line-height:var(--leading-tight);margin-block-start:var(--space-s)}.home__closeBody[data-astro-cid-lcdefpme]{margin-block-start:var(--space-l)}