Theming: color scheme editing. Unfinished! Doesn't have any effect on css files yet.