/* Keep public navigation visible while reading, including the mobile menu. */
@media screen {
  body > .site-header {
    position: sticky;
    top: 0;
    z-index: 100;
  }
  html { scroll-padding-top: 110px; }
}