/* Readable text sizes. The theme sets body text to 0.75rem and shrinks
   tables and admonitions to 0.64rem, which is about 10 px on a laptop.
   Tables and admonitions carry most of the content on these pages, so they
   get the same size as body text, and body text goes up one step. */
.md-typeset {
  font-size: 0.8rem;
}
.md-typeset table:not([class]) {
  font-size: 0.8rem;
}
.md-typeset .admonition,
.md-typeset details {
  font-size: 0.8rem;
}
.md-nav {
  font-size: 0.75rem;
}