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