1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
font : TIMES_ {set _ times} | HELVETICA_ {set _ helvetica} | COURIER_ {set _ courier} ; fontWeight : NORMAL_ {set _ normal} | BOLD_ {set _ bold} ; fontSlant : ROMAN_ {set _ roman} | ITALIC_ {set _ italic} ; fontStyle : NORMAL_ {set _ normal} | BOLD_ {set _ bold} | ITALIC_ {set _ italic} ;