h1.menu-title::before {
  content: "";
  display: inline-block;
  background-image: url(./favicon.svg);
  background-repeat: no-repeat;
  background-size: contain;
  width: 1.8ex;
  height: 1.8ex;
  margin-right: 0.9ex;
  vertical-align: middle;
}
.light {
  --links: #058;
  --sidebar-active: #0af;
}
/* Widen initial menu bar width. It's wider than usual - primary use case
   of site: find module and read its toc. */
:root {
  --sidebar-target-width: min(20% + 200px, 50%);
}
.sidebar .sidebar-scrollbox {
  /* We don't use numbers, so we can take a consistent amount of space */
  padding: var(--page-padding) !important;
}