fix overlapping labels and boxes when user has large GTK font