Gnome-terminal color theme tweaks