GTK+ 3.8 and Openbox themes