/* Keep the existing tool pages usable on smaller screens without changing their controls. */
@media (max-width: 800px) {
  body > div:first-child { width: 100%; min-width: 0; min-height: 100vh; height: auto; }
  header { height: auto !important; min-height: 5rem; }
  header > div { gap: .75rem; }
  header a { white-space: normal !important; }
  body > div:first-child > div.flex-row { display: block; }
  aside { display: none !important; }
  main { min-width: 0; padding: 1rem !important; overflow-x: auto; }
  main table { display: block; max-width: 100%; overflow-x: auto; }
  footer { height: auto !important; }
}