Introduce "default div height" setting