Dark Mode

The theme offers a dark mode now. The colors follow the setting of the browser or operating system.

The dark mode includes a dark page background and light text colors as usual. It also reduces the overall brightness and changes the color theme of the code highlighting.