/* The theme: System, the browser's setting (style.css). Under /dark/ and /light/ the web server
   serves theme-dark.css or theme-light.css here instead. The button shows "to light" (style.css). */