/* Paints the dark page background even if main.css (injected by JS in dev) is not there yet. External for the CSP (style-src 'self'). */
html[data-theme='dark'] {
  background-color: #0b1220;
}