/* The theme's page color from the first paint, before the theme's own stylesheet applies: the
   dashboard doesn't flash white as it opens. A file, not a style attribute: the page's content
   security policy allows no inline styles. */
html {
  background: #0c1413;
}