/* Changing Tips, Warning, ... font size. */
.md-typeset .admonition {
  font-size: .75rem;
}