This is the same problem with the double bevel on menubars though. I think we have to add something to GTK so apps can force-override style properties. Havoc
