/* V13: internal menu destinations begin directly below the sticky header. */
html {
  scroll-padding-top:var(--nav-height, 68px);
}