Removed obsolete duplicated definition of colors for buttons and menus
(the old way)