ulting in slightly smaller dialog boxes.

<li><b>Font Set:</b> This option controls the overall size of the
fonts used in the user-interface.  Choose between "small", "normal",
"large" and "huge".
</ul>
<br style="clear: right;">

<a name="toolbar">
<h3>8.3 Toolbar Options</h3>

<div style="float: right; margin-left: 10;">
<a href="../fig/toolbarOpts.gif">
<IMG SRC="../fig/small-toolbarOpts.gif">
<br>
(Click to enlarge)</a>
</div>

These options control which toolbars will be available.  The options
that ca