Font Parameters
The General Settings tab contains the command 
Fonts. Upon this command, the window to configure fonts is opened:
In order to change a font in the required area of the server shell, click the respective tab (Object tree, List, etc.), select a font family and a font size, and click the button Apply (a font sample is displayed in the left part of the window). Font settings are saved to the file ..\SERVERCFG\server.cfg, and read out from that file at server start.