Tweak vertical spacing with GTK3.