font8 is font formal 7.5 bold
font formal 10 is font formal 9.5 bold
font formal 11 is font formal 11 bold