/* Default (dark) theme. Loaded after public/style.css when this theme is active. Usually empty: the base design is style.css. */