.md-nav {
  font-size: 0.65rem
}

.md-typeset {
  font-size: 0.725rem;
}

@media print {
  .md-typeset details {
    display: none;
  }
}