.head[data-astro-cid-uny2wkyx]{padding-block:var(--space-4) var(--space-2)}.crumb[data-astro-cid-uny2wkyx]{margin-bottom:var(--space-1);font-size:var(--step--1)}.head[data-astro-cid-uny2wkyx] h1[data-astro-cid-uny2wkyx]{max-width:22ch}.who[data-astro-cid-uny2wkyx]{font-size:var(--step-1);color:var(--slate);line-height:1.4}table[data-astro-cid-uny2wkyx]{max-width:60rem}th[data-astro-cid-uny2wkyx][scope=row]{white-space:nowrap}pre[data-astro-cid-uny2wkyx]{max-width:68ch}.proof[data-astro-cid-uny2wkyx]{font-size:var(--step-1);max-width:50ch;line-height:1.4}.others[data-astro-cid-uny2wkyx]{gap:var(--space-1) var(--space-3);flex-wrap:wrap;padding:0;list-style:none;display:flex}