gnome terminal colors (gconf.xml)