4.6.16 Small Pull-down

With this option you can reduce or enlarge the size of the pull-down menu and its characters.

It has been reported however that some video cards do not support this font resulting in a lot of garbage characters in the pull-down menu. You can recover in such a case by activating "Config" (F6), using the up arrow 6 times and confirming with <ENTER>