HenshinTGG: slight improvement of font sizes for MAC OS