#main-menu {
  position: fixed;
  top: var(--header-height);
  width: 100vw;
  background-color: var(--menu-bg-color);
  transition: top .3s ease-in-out, background-color 1s ease-in;
}

#main-menu>menu {
  width: 960px;
  max-width: 98%;
  height: 1.2rem;
  margin: 0 auto 0;
  padding: 0;
  display: flex;
  justify-content: space-around;
  align-items: center;
  list-style: circle;
}
#main-menu > li {
  padding: 0;
}
body>header.small + #main-menu {
  top: var(--header-height-small);
  background-color: var(--header-bg-color);
}
body>header.small + #main-menu>menu {
  padding: .5rem 0;
}
pre {
  background: var(--emboss-color);
  padding: .5rem;
}
li.active>a {
  color: var(--highlight-fg-color);
  font-weight: bold;
}

@media (max-width: 480px) {
  #main-menu>menu {
    height: 2.4rem;
    margin-left: 1.5rem;
    flex-flow: column wrap;
    align-items: flex-start;
  }
}