font in GAMBIT
 

Hi. I have a simple question concerning gambit. I want to change the font size in gambit. Recently, i newly installed the new version of exceed and different font size was seen on my screen. I have been searching through the documentations but I couldn't find a solution.

Thanks for any help