/* Desktop enlargement requested by the user; keep the mobile scale. */
html {
  font-size: 100%;
}

@media (min-width: 1024px) {
  html {
    font-size: 125%;
  }
}