Syntax: !helpfont fontfamily-sizeThis specifies the default font family used in HTML viewer (help) windows. This is the font, which is generally proportional-spaced, used to render most text. Under X-windows, this is the X Library Font Descriptor font family name with ``-size'' appended, where size is the base pixel size. Under Microsoft Windows, this command does nothing.
If no argument is given, the default font family and size, which is
adobe-times-normal-p-14is reset. Otherwise the argument is expected to be a font family specifier in the format described.
This command has limited value, as the fonts are most conveniently set with the Set Font button in the help viewer.