TraditionalOK GTK3: change images for button borders