/* Keep the interior header fixed/sticky while reserving its measured height
 * above the page content. */
#site-navigation.side-header {
  position: fixed !important;
  top: 0 !important;
  right: 0 !important;
  bottom: auto !important;
  left: 0 !important;
  width: 100% !important;
  z-index: 10000;
}

/* header-interior.js keeps this value synchronized with the alert + navbar. */
body main.content, body section#maincontent {
  margin-top: var(--interior-header-height, 0px) !important;
  padding-top: 0 !important;
}
/* body.interior main.content {
  margin-top: var(--interior-header-height, 0px) !important;
  padding-top: 0 !important;
} */