/* Leave room for each publication's sticky navigation at section anchors. */
html { scroll-padding-top: 96px; }
section[id] { scroll-margin-top: 96px; }
@media (max-width: 600px) {
  html { scroll-padding-top: 80px; }
  section[id] { scroll-margin-top: 80px; }
}