Font Parameters
The tab General Settings contains the command 
Fonts to open the window to configure fonts:
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.