Dark mode support

You can now use dark mode on the website.

The default theme is the system one. You can change the theme in the header of the website.