GTK theme bugfixes