h1[data-astro-cid-to223ohd]{max-width:17ch}.idea[data-astro-cid-to223ohd],.how[data-astro-cid-to223ohd],.limits[data-astro-cid-to223ohd],.tie[data-astro-cid-to223ohd]{padding-top:3.5rem;padding-bottom:3.5rem;border-top:1px solid var(--rule)}.term[data-astro-cid-to223ohd]{margin:2.25rem 0}@media(max-width:640px){.idea[data-astro-cid-to223ohd],.how[data-astro-cid-to223ohd],.limits[data-astro-cid-to223ohd],.tie[data-astro-cid-to223ohd]{padding-top:2.75rem;padding-bottom:2.75rem}}