[Maxima] Maxima HTML docs - Internet Explorer problem
Wed Sep 13 09:55:26 CDT 2006
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.
More information about the Maxima