/* The theme's page color from the first paint, before the theme's own stylesheet applies: the page
   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;
}