Fonts on Linux

Prior to version 17.0, the software used "legacy" X11 fixed fonts on Linux, from version 17.0 onwards, it uses Freetype fonts, which give improved appearance and a wider range of typefaces.

The recommended proportional font for menu panels is "DejaVu Sans Condensed" which is widely available on Linux, but you can change this using Options, Menu attributes where a different font can be selected from those available on your system. For example on the author's CentOS 7 system the choice of fonts is: