small changes applied to gnome-shell theme