stockfontty

type stockfontty = (

  stf_default,

  stf_empty,

  stf_unicode,

  stf_menu,

  stf_message,

  stf_hint,

  stf_report,

  stf_proportional,

  stf_fixed,

  stf_helvetica,

  stf_roman,

  stf_courier

);