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".
The preferences are divided in the following three parts:
- MISC
- Load Images: You may switch off image loading to fasten
up the document loading times. (Default: ON)
- Underline links: If you prefer underlined links, choose this
option. (Default: OFF)
- Use default colors: Not implemented, yet.
(Default: OFF)
- Cycling: Enables cycling with the TAB key. Using this mode you
may work with HTMLtext.mcc without using the mouse
(Default: ON)
- Marking: Enables text marking. Usefull if you want to transfer
text from a HTML text in an editor.
(Default: ON)
- FONTS
- Choose fonts to be used with the header and with some text styles.
- DISPLAY
- Text: Color of the text. (Default: MUI text color)
- Links: Color of the links. (Default: blue)
- BLINK: Color to be used with the BLINK tag, because it is quite
difficult to program a blinking font, so this way of marking is prefered.
(Default: red)
- Marking: Color of the background of marked text. (Default: yellow)
- Margin Border: Percentage of the displays width to be left free
on both sides of the text.
- Margin Top: The same as above but for the top and the bottom.
Dirk Holtwick
(dirco@uni-duisburg.de),
30-Mar-1997