/* Smooth-scroll the header links; the landing offset lives in 10-scroll-header.css */
html {
  scroll-behavior: smooth;
}

/* Current section's link: green underline, set by js/header-active.js */
header a.is-active {
  text-decoration: underline;
  text-decoration-color: rgb(39 173 117);
  text-decoration-thickness: 2px;
  text-underline-offset: 8px;
}