.hs {
  margin-top: calc(0px - var(--navbar-height));
  padding-top: var(--navbar-height);
}

pre {
  font-size: 85%;
  background-image: none;
  background-color: var(--grey-light);
  padding: 1.5rem 2rem 1.5rem 2rem;
}