Build a dark theme that follows the system setting and can be toggled by hand, with a few lines of CSS.