4 commits

Author	SHA1	Message	Date
garak	9375fd580c	fix menu bar in themes ... - remove sticky highlighting of the menu bar items - add menu checkboxes, finesse highlighting	2019-09-21 12:27:05 -05:00
garak	8767904b5e	update theme checkboxes, remove novelty themes	2019-09-21 12:27:05 -05:00
garak	02d16b6a12	revamp dark theme colors, add new themes ... new themes: - midnight (the old dark theme) - emerald green - pink and blue	2019-09-21 12:27:05 -05:00
garak	376cfbf9c3	add light and dark themes	2019-09-21 12:27:05 -05:00