.proof-strip[data-astro-cid-5yhlt5rx]{border-block:1px solid var(--line);padding-block:32px}ul[data-astro-cid-5yhlt5rx]{grid-template-columns:repeat(4,minmax(0,1fr));gap:32px;margin:0;padding:0;list-style:none;display:grid}li[data-astro-cid-5yhlt5rx]{min-width:0}strong[data-astro-cid-5yhlt5rx]{font-size:32px;font-weight:650;line-height:1.3;display:block}span[data-astro-cid-5yhlt5rx]{color:var(--muted);margin-top:10px;font-size:14px;line-height:1.65;display:block}@media (width<=700px){ul[data-astro-cid-5yhlt5rx]{grid-template-columns:repeat(2,minmax(0,1fr));gap:24px}strong[data-astro-cid-5yhlt5rx]{font-size:25px}}@media print{.proof-strip[data-astro-cid-5yhlt5rx]{padding-block:20px}li[data-astro-cid-5yhlt5rx]{break-inside:avoid}strong[data-astro-cid-5yhlt5rx]{font-size:16pt}span[data-astro-cid-5yhlt5rx]{font-size:10pt}}