B.6.4 PostScript font options
The list of available font options is short and sweet:
prop-font=font-name-
Sets the default proportional font. The name should be that of a
PostScript font. Default:
"Helvetica".
fixed-font=font-name-
Sets the default fixed-pitch font. The name should be that of a
PostScript font. Default:
"Courier".
font-size=font-size-
Sets the size of the default fonts, in thousandths of a point. Default:
10000.