/* Compact navigation */
.md-nav__item {
  padding: 0.05rem 0;
}

/* Code block font size */
.md-typeset code {
  font-size: 0.8rem;
}

.md-typeset pre code {
  font-size: 0.8rem;
}