Maxima HTML docs - Internet Explorer problem

>>>>> "Robert" == Robert Dodier <robert.dodier at gmail.com> writes:

    Robert> 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.

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

Doesn't windows include a scalable Courier font as well?  I'm pretty
sure my Windows Me box does, but I might have added that at some point
in the distant past.

Ray