.steps[data-astro-cid-xjg2f4e6]{margin:var(--space-4) 0 0;border-top:var(--line-thin) solid var(--color-text);padding:0;list-style:none}.steps__item[data-astro-cid-xjg2f4e6]{gap:var(--space-3);padding-block:var(--space-4);border-bottom:var(--line-hair) solid var(--color-rule);grid-template-columns:2.5rem minmax(0,1fr);display:grid}.steps__n[data-astro-cid-xjg2f4e6]{font-size:var(--text-xs);color:var(--color-accent);padding-top:.35em}.steps__name[data-astro-cid-xjg2f4e6]{font-size:var(--text-h3);letter-spacing:-.01em;line-height:1.2}.steps__body[data-astro-cid-xjg2f4e6]{margin-top:var(--space-2);color:var(--color-text-muted);max-width:62ch}.steps__get[data-astro-cid-xjg2f4e6]{margin-top:var(--space-2);font-size:var(--text-sm);color:var(--color-text);max-width:62ch}.steps__get[data-astro-cid-xjg2f4e6] .mono[data-astro-cid-xjg2f4e6]{font-size:var(--text-2xs);letter-spacing:var(--tracking-label);text-transform:uppercase;color:var(--color-accent);margin-right:.5em}.proof[data-astro-cid-ledtj4cp]{margin-top:var(--space-5)}.proof__figs[data-astro-cid-ledtj4cp]{border-top:var(--line-thin) solid var(--color-text);grid-template-columns:repeat(auto-fit,minmax(min(100%,12rem),1fr));margin:0;padding:0;list-style:none;display:grid}.proof__figs[data-astro-cid-ledtj4cp] li[data-astro-cid-ledtj4cp]{align-content:start;gap:var(--space-1);padding:var(--space-4) var(--space-3) var(--space-4) 0;border-bottom:var(--line-hair) solid var(--color-rule);display:grid}.proof__n[data-astro-cid-ledtj4cp]{font-size:var(--text-h2);letter-spacing:-.02em;font-variant-numeric:tabular-nums;font-weight:600;line-height:1}.proof__label[data-astro-cid-ledtj4cp]{font-weight:600}.proof__sub[data-astro-cid-ledtj4cp]{font-size:var(--text-sm);color:var(--color-text-muted);max-width:30ch}.proof__method[data-astro-cid-ledtj4cp]{margin-top:var(--space-3);font-size:var(--text-2xs);letter-spacing:.02em;color:var(--color-text-faint);max-width:70ch}.proof__method[data-astro-cid-ledtj4cp] a[data-astro-cid-ledtj4cp]{color:var(--color-accent)}.proof__cases[data-astro-cid-ledtj4cp]{margin:var(--space-4) 0 0;gap:var(--space-2);padding:0;list-style:none;display:grid}