color-theme-dark-blue instead of gnome2