/* One sticky global header; page navigation remains in the document flow. */
.toc {
  position: static;
  top: auto;
  z-index: auto;
  overflow-x: auto;
}
.toc-inner {
  width: max-content;
  max-width: none;
  margin-inline: auto;
  flex-wrap: nowrap;
}
.toc a { flex: 0 0 auto; }

/* Account for the global header when jumping to a section. */
html { scroll-padding-top: 76px; }
@media (max-width: 1080px) {
  .toc-inner {
    margin-inline: 0;
    min-width: 100%;
    padding-inline: 16px;
    justify-content: flex-start;
  }
  html { scroll-padding-top: 100px; }
}