Now correctly uses the GTK theme on Linux, notably on DWM.