.md-header__button.md-logo img,
.md-header__button.md-logo svg {
  height: 8vh;
  width: auto;
}

/* Keep long environment-variable names readable in Markdown tables. */
.md-typeset table:not([class]) td:first-child,
.md-typeset table:not([class]) td:first-child code {
  white-space: nowrap;
  word-break: normal;
  overflow-wrap: normal;
}