.sections[data-astro-cid-ta2fbyqs]{padding-bottom:calc(var(--space) * 1.5)}.proof[data-astro-cid-ta2fbyqs]{font-family:var(--font-mono);font-size:var(--step--1);flex-wrap:wrap;gap:0 1.5rem;display:flex}.proof[data-astro-cid-ta2fbyqs] a[data-astro-cid-ta2fbyqs]{padding-block:.3rem}