Desktop-independent theme switcher for GTK+