[Maxima] Maxima HTML docs - Internet Explorer problem

[Robert Dodier]

On 9/13/06, Vadim V. Zhytnikov <vvzhy at mail.ru> wrote:

> Robert Dodier writes:
> >> 2. Fix it.  I propose to set
> >>         font-family: Courier, monospace
> >>     or
> >>         font-family: "Lucida Console", monospace
> >>     in mxima.css.
> >
> > OK by me.
>
> Which option is better?  First option enforces bitmap
> Courier non-scalable font.  Second option seems to be better
> to me since scalable TrueType Lucida Console font
> is standard on all Windows versions since Me (or earlier?).
> On other systems where Lucida is absent monospace should works.

Seems better to use the scalable font on the systems which have it.
So I guess I am in favor of the second option.

best,
Robert