Dark Mode

Here is the CSS that powers this theme’s dark mode. First, we define some colors as CSS variables:

(More...)