Simplify themes: keep only light/dark and add a switch
This MR removes the default theme and replaces the theme
setting with a dark-mode
boolean setting.
This does not remove the current theme
setting (I did not want to create a migration for a local setting).
This removes the need from webpack to generate a themes.json file and also a dependency on GenerateJsonPlugin.
Edited by Nicolas Frandeboeuf