Fix a padding issue with some GTK themes.