/* Seoul skyline for the banner. */
header {background-image: url(shutterstock_1355922929.png);
  background-position: 50% 95%;
  background-size: auto 10vw; padding-bottom: 7vw}

/* There is room for a bit bigger font in the schedule tables. */
@media not print {
  @media (min-width: 56em) {.schedule {padding-top: 5em}}
  .schedule table, .schedule input, .schedule label {font-size: 120%}
}

@media print {
  header {background-size: auto 5em; padding-bottom: 4em}
  .main header {background-size: auto 8em; padding-bottom: 6em}
}