Some theme-related fixes discovered when testing in Fedora19/Gnome3.