Themes for GTK2/3 and Gnome shell 3.12