/* Auto-hide header on scroll down, reveal on scroll up.
   Loaded via a fixed <link> tag on every page - NOT scraped from the
   home page, so it can never be silently lost by a header resync. */

header.site-nav {
  transition: transform 0.25s ease;
}
header.site-nav.nav-hidden {
  transform: translateY(-100%);
}
