.examples-block[data-astro-cid-f4adsj2b]{padding-block:calc(var(--section) / 2);align-items:start;row-gap:2rem}h2[data-astro-cid-f4adsj2b].statement-caps{grid-column:1/-1;max-width:14ch}.list[data-astro-cid-f4adsj2b]{grid-column:1/-1;gap:1.25rem;max-width:62ch;display:grid}ul[data-astro-cid-f4adsj2b]{gap:.6rem;margin:0;padding-left:1.2rem;display:grid}.proof[data-astro-cid-f4adsj2b]{font-weight:500}.terms[data-astro-cid-f4adsj2b]{background:var(--surface);padding-block:calc(var(--section) / 2)}.terms[data-astro-cid-f4adsj2b] .grid[data-astro-cid-f4adsj2b]{align-items:start;row-gap:2.5rem}.col[data-astro-cid-f4adsj2b]{grid-column:1/-1;gap:.75rem;max-width:52ch;display:grid}.small-head[data-astro-cid-f4adsj2b]{font-size:var(--step-body);font-weight:500}.actions[data-astro-cid-f4adsj2b]{grid-column:1/-1;justify-items:start;gap:1.25rem;display:grid}.others[data-astro-cid-f4adsj2b]{padding-block:calc(var(--section) / 2) var(--section);gap:.75rem;display:grid}.others[data-astro-cid-f4adsj2b] ul[data-astro-cid-f4adsj2b]{flex-wrap:wrap;gap:.5rem 2rem;padding:0;list-style:none;display:flex}@media (width>=48em){h2[data-astro-cid-f4adsj2b].statement-caps{font-size:min(var(--step-head), 5vw);grid-area:1/1/auto/6}.list[data-astro-cid-f4adsj2b]{grid-area:1/7/auto/13;padding-top:.6rem}.col[data-astro-cid-f4adsj2b]:first-child{grid-column:1/6}.col[data-astro-cid-f4adsj2b]:nth-child(2){grid-column:7/13}}
