.proof-slot[data-astro-cid-nl26jcsg]{border-top:1px solid var(--rule);grid-template-columns:minmax(14rem,1fr) 2fr;gap:1.2rem 3rem;padding-block:2.2rem;scroll-margin-top:5rem;display:grid}.head[data-astro-cid-nl26jcsg] .mono-label[data-astro-cid-nl26jcsg]{margin-top:.6rem}.body[data-astro-cid-nl26jcsg]{align-content:start;gap:.9rem;display:grid}@media (width<=48rem){.proof-slot[data-astro-cid-nl26jcsg]{grid-template-columns:1fr}}.library[data-astro-cid-fumdqxfk]{padding-bottom:clamp(3.5rem,8vw,6rem)}.library[data-astro-cid-fumdqxfk] .mark{border:1px solid var(--rule);width:8rem;height:auto}.links[data-astro-cid-fumdqxfk]{flex-wrap:wrap;gap:.7rem;display:flex}