menufontsize

“menufontsize” is an int attribute. It specifies the font size for menus.