3 commits

Author	SHA1	Message	Date
Paul Davis	9ac7ddb31d	remove all explicit button text colors; use contrasting_text_color() instead. ... Also, use a slightly off-white rather than pure white, which should really be configurable	2014-12-07 13:55:40 -05:00
Paul Davis	d586289be5	first mostly-working build supporting GTK rethemeing via the Theme Manager	2014-12-07 13:12:48 -05:00
Paul Davis	db9fbac7b5	added new header file for color aliases	2014-12-05 09:36:55 -05:00