Na, da muss ich mir halt selber antworten:
Um die Farben der Panels zu manipulieren, gehe man folgendermaßen vor:
1) Im Homeverzeichnis erstelle man die Datei ".gtkrc-2.0"
2) In diese schreibe man:
style "panel"
{
# fg[NORMAL] = "#E5BB3D"
# fg[PRELIGHT] = "#000000"
# fg[ACTIVE] = "#ffffff"
# fg[SELECTED] = "#000000"
# fg[INSENSITIVE] = "#8A857C"
# bg[NORMAL] = "#000000"
# bg[PRELIGHT] = "#346888"
# bg[ACTIVE] = "#99C9E7"
# bg[SELECTED] = "#000000"
# bg[INSENSITIVE] = "#EFEFEF"
# base[NORMAL] = "#ffffff"
# base[PRELIGHT] = "#EFEFEF"
# base[ACTIVE] = "#D0D0D0"
# base[SELECTED] = "#DAB566"
# base[INSENSITIVE] = "#E8E8E8"
# text[NORMAL] = "#161616"
# text[PRELIGHT] = "#000000"
# text[ACTIVE] = "#000000"
# text[SELECTED] = "#ffffff"
# text[INSENSITIVE] = "#8A857C"
}
widget "*PanelWidget*" style "panel"
widget "*PanelApplet*" style "panel"
class "*Panel*" style "panel"
widget_class "*Mail*" style "panel"
class "*notif*" style "panel"
class "*Notif*" style "panel"
class "*Tray*" style "panel"
class "*tray*" style "panel"
(Die Farbcodes bekommt man z.B. aus Panel-> Eigenschaften-> Hintergrund-> Solid-Color)
3) Nun noch die "#" am Zeilenanfang entfernen bei den Einträgen, die man ändern möchte.
4)
sudo killall gnome-panel
um die Änderungen zu aktivieren.
Ganz perfekt ist diese Lösung allerdings nicht, da auch unerwünschte Farbänderungen auftreten.
Weiteres findet man hier: https://launchpad.net/bounties/gnome-panel-font-colour
Grüsse,
Justin