On pet, 2004-12-17 at 10:08 -0800, Richard Fateman wrote:
> Thanks. I downloaded it (from the mirror site... geocities
> refused because of too much bandwidth usage!) and tried it
> out. It looks very nice.
>
> Is there a way of controlling the font size so I can
> use it for display to a class?
Yes, select 'Maxima->Configure' from menus. You can select the size of
font in the configuration dialog.
Andrej