The source project of this merge request has been removed.
This MR introduces a dark mode with the following features:
- it looks at browser's setting (if available), if user has it set to dark mode, website will render dark theme
- user has the ability to change/override the theme using the switch in the header
- user colour preference is saved in browser
sessionStoragemeaning the setting will be discarded after the browser is closed. This avoids setting a persistent cookie and thus avoids the red tape associated with cookies in general