Sets text appearance properties. Font
can be either a number returned
by INSTALL-USER-FONT or one of the following,
where is the only bit-mapped font:
Direction is or .
Size is either a number from 1 to 10, or 0 for the default size.
The default size will produce a size of 4, but will also enable user
character sizes (see SET-USER-CHAR-SIZE below).