.glossary-nav {
  margin-top: 40px;
}
.glossary-intro .hero__lead {
  max-width: var(--reading-w);
}
.term-card[id] {
  scroll-margin-top: 28px;
}