Dark mode

Painting the right theme before the first frame

Why the dark palette ships in CSS, and what the four lines of inline script are actually for.