added feature #318 configurable font size in mainmenu