mainleafletsizes