The source project of this merge request has been removed.
Improved theme select in preferences.html
I replaced the dropdown with radio boxes which are styled in a much better way.
I replaced the dropdown with radio boxes which are styled in a much better way.