A better workaround than manually modifying files in /usr/share/themes is to install and use the gnome-color-chooser tool. See the askubuntu link in comment #3 for details.
A better workaround than manually modifying files in /usr/share/themes is to install and use the gnome-color-chooser tool. See the askubuntu link in comment #3 for details.