/* Remove most of the scroll-padding-top defined by the base theme. There's no
sticky header in this theme to obscure anchor link targets. */
html {
  scroll-padding-top: 10px;
}