/* Keep navigation visible without removing the header from the page flow. */
body > header {
  position: sticky;
  top: 0;
  z-index: 20;
  background: var(--paper, #f7f9f3);
  box-shadow: 0 1px 0 rgba(22, 58, 53, .12);
}

/* Anchor headings should remain below the pinned navigation. */
html { scroll-padding-top: 120px; }
@media (max-width: 650px) {
  html { scroll-padding-top: 110px; }
}