The source project of this merge request has been removed.
Improved theme select in preferences.html
(deleted) requested to merge (removed):master into master
I replaced the dropdown with radio boxes which are styled in a much better way.