add gnome-shell theme for 3.8