#main-menu {
  position: fixed;
  top: var(--header-height);
  width: 100vw;
  height: 1.2rem;
  margin: 0;
  padding: 0;
  display: flex;
  justify-content: center;
  align-items: center;
  gap: 4rem;
  list-style: circle;
  background: var(--menu-bg-color);
  transition: all .3s ease-in-out;
}
#main-menu > li {
  padding: 0;
}
body>header.small + #main-menu {
  top: calc(var(--header-height-small) + 2rem);
  height: 14rem;
  width: 6rem;
  flex-flow: column nowrap;
  gap: .5rem;
  align-items: stretch;
  padding: 0 1rem;
}
pre {
  background: var(--emboss-color);
  padding: .5rem;
}
li.active>a {
  color: var(--highlight-fg-color);
  font-weight: bold;
}