updated gnome-shell theme to 3.14