/* Linked in index.html's head, so it applies before the page's script and
   stylesheet load: the dark background from the first paint, no white
   flash. */
html,
body {
  background: #070912;
  color: #eef2ff;
}