Revised theme following gnome 3.8 .