Source: utils/widgets/wid_font.pro
WID_FONT Determine widget fonts. Usage: font=wid_font([<keys>]) Arguments: none Keywords: fixed If set, return a fixed font (courier) variable If set, return a proportional font (helvetica) tiny If set, return a very small (10 or 8 point) font small If set, return a small (12 or 10) font normal If set, return a normal (14 or 12) font large If set, return a large (18 or 14) bold font. Notes: The default is /variable, /normal. If conflicting options are given the first match found will be used: I refuse to be more specific. If the environment variable HS_SMALL_FONTS is set to a non-null value other than "NO" then the smaller sizes are used. History: Original (after wid_font_init) : 9/12/99; SJT