Font size for the header in ppfigdim now depends on the name length.
Font size for the header in ppfigdim now depends on the name length.

NDManh/numbbo,dtusar/coco,oaelhara/numbbo,oaelhara/numbbo,oaelhara/numbbo,NDManh/numbbo,oaelhara/numbbo,dtusar/coco,NDManh/numbbo,dtusar/coco,NDManh/numbbo,dtusar/coco,dtusar/coco,oaelhara/numbbo,oaelhara/numbbo,dtusar/coco,NDManh/numbbo,NDManh/numbbo,oaelhara/numbbo,dtusar/coco,oaelhara/numbbo,NDManh/numbbo,NDManh/numbbo,oaelhara/numbbo,NDManh/numbbo,dtusar/coco,dtusar/coco