Add the use of INT for the font sizes

Future PHP's require INT rigously on font sizes.