/* Keep the hover background comfortably clear of button labels. */
.filters button{padding-inline:20px}
.language-switch button{padding-inline:13px}
.nav-cta{padding-inline:23px}
.case-visit .button{padding-inline:23px}
.source-link,.text-link{padding:8px 12px;border-radius:3px}
header nav a{padding:9px 12px;border-radius:3px}
footer>a{padding:8px 12px;border-radius:3px}
.system-selectors button{padding-inline:20px}
.screenshot-thumbs button{padding:8px}
.screenshot-thumbs span{padding-inline:9px}
.stage-image>span{padding-inline:18px}
@media(max-width:650px){.filters button{padding-inline:15px}.language-switch button{padding-inline:11px}.case-visit .button{padding-inline:19px}.system-selectors button{padding-inline:16px}.screenshot-thumbs span{padding-inline:6px}}