setzen der widget farben mittels palette verursachte probleme mit ubuntu 12.04 ohne direct rendering. Nun mit hilfe von stylesheets umgesetzt