Implement dark mode without using CSS variables.

Instead of using CSS variables, we can just directly change colours
with appropriate media queries.

Moreover, implement a small postprocessor which consolidates all the
dark mode rules together at the end of the stylesheet, which makes
it a svery imple matter to also link an alternate stylesheet which
is selectable in older browsers.