gnome-shell theme: menuitem color tweaks