For Microsoft Windows, right click on your console shortcut:
In the target window add the following option:
-D com.smarts.font=#######
Where ## is replaced with the font.
Example:
sm_gui -D com.smarts.font=Arial
Restart the console and the font size will change.