Color themes for Gnome's default editor Gedit