*** Font managing
The variable `ps-font-family' determines which font family is to be
used for ordinary text. Its value must be a key symbol in the alist
`ps-font-info-database'. You can add other font families by adding
elements to this alist.
The variable `ps-font-size' determines the size of the font for ordinary text. It defaults to 8.5 points.