.sec-head[data-astro-cid-slbpeyxu]{padding-bottom:40px}.eng-grid[data-astro-cid-slbpeyxu]{grid-template-columns:1fr 1fr 1fr}.proof-note[data-astro-cid-slbpeyxu]{font-size:var(--fs-small);color:var(--fg-mute);max-width:96ch;margin:0;padding:26px 28px 8px;line-height:1.6}.proof-note[data-astro-cid-slbpeyxu] .proof-label[data-astro-cid-slbpeyxu]{color:var(--fg);letter-spacing:.04em}@media (width<=1024px){.eng-grid[data-astro-cid-slbpeyxu]{grid-template-columns:1fr}.eng-grid[data-astro-cid-slbpeyxu] .eng-item[data-astro-cid-slbpeyxu]{border-right:0}.proof-note[data-astro-cid-slbpeyxu]{padding-left:0;padding-right:0}}