Subject: Maxima HTML docs - Internet Explorer problem
From: Robert Dodier
Date: Wed, 13 Sep 2006 08:55:26 -0600
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