Theme: fixes for GTK+3.8 compatibility
4.0.2