#about-toc,
#instructions-toc,
#technical-details-toc,
#version-history-toc {
  position: fixed;
  top: 10rem;
  right: 1rem;
  width: 180px;
  max-height: calc(100vh - 12rem);
  overflow-y: auto;
  font-size: 0.75rem;
  line-height: 1.5;
  background: var(--minima-background-color, #fdfdfd);
  color: var(--minima-text-color, #414141);
  border-left: 2px solid var(--minima-border-color-01, #e7e7e7);
  padding: 0.5rem 0.75rem;
  z-index: 100;
}

#about-toc-label,
#instructions-toc-label,
#technical-details-toc-label,
#version-history-toc-label {
  font-weight: bold;
  text-transform: uppercase;
  letter-spacing: 0.05em;
  margin-bottom: 0.4rem;
  opacity: 0.6;
}

#about-toc ul, #instructions-toc ul, #technical-details-toc ul, #version-history-toc ul { list-style: none; margin: 0; padding: 0; }
#about-toc li, #instructions-toc li, #technical-details-toc li, #version-history-toc li { margin: 0.2rem 0; }
#about-toc a, #instructions-toc a, #technical-details-toc a, #version-history-toc a { text-decoration: none; color: var(--minima-text-color, #414141); opacity: 0.7; display: block; cursor: pointer; }
#about-toc a:hover, #about-toc a.active,
#instructions-toc a:hover, #instructions-toc a.active,
#technical-details-toc a:hover, #technical-details-toc a.active,
#version-history-toc a:hover, #version-history-toc a.active { opacity: 1; color: var(--minima-link-base-color, #1e69d8); }

@media (max-width: 1200px) {
  #about-toc, #instructions-toc, #technical-details-toc, #version-history-toc { display: none; }
}