Fix assorted GTK3-related alignment problems.