Make colors configurable, and make default theme depend on current gnome theme
Bug #476533 reported by
Petar Vasić
Bug watches keep track of this bug in other bug trackers.