Removed old cruft from color theme customizations.
Simplified GUI-specific misc options.