/* Always reserve space for the vertical scrollbar, so that short pages (no
   scrollbar) and long pages (scrollbar) have the same body column width. */
html {
  overflow-y: scroll;
  scrollbar-gutter: stable;
}

/* Previous / Next links above the page content (see overrides/main.html). */
.page-nav-top {
  display: flex;
  justify-content: space-between;
  font-size: .7rem;
  margin-bottom: .8rem;
}

.page-nav-top .next {
  margin-left: auto;
}

.md-typeset .plain {
  --md-code-bg-color: transparent;
}