Preferences
You may configure HTMLtext class in the way you want. Therefore you
start the MUI configuration program and click on the line called
"HTMLtext".
For the moment you may just choose fonts to be used with the header
and with some text styles. See the example below
Written by Dirk Holtwick
(dirco@uni-duisburg.de), 1997