“defaultfontsize” is an
int
attribute. It specifies the default font size for the game.