/* Preserve the original theme; make static utility pages usable at all widths. */
#static-results { margin-top: 1.5rem; }
#static-results li { margin-bottom: .8rem; }
#static-query { max-width: 100%; margin: .5rem; padding: .6rem; }
#mainwrap:has(#static-results) { min-height: 45vh; }
@media (max-width: 767px) {
  #mainwrap:has(#static-results) #main { width: auto; padding: 1rem; }
}