/* Reclaim the space previously reserved for phone bottom navigation. */
@media(max-width:760px) {
  html[data-theme] body {padding-bottom:env(safe-area-inset-bottom,0px)}
}