TraditionalOK GTK3; fix a naming typo
Traditionalgreen GTK3-3.14: more adjustments from clearlook-phenix upstream