Maxima HTML docs - Internet Explorer problem

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.

-- 
      Vadim V. Zhytnikov

       <vvzhy at mail.ru>
      <vvzhy at netorn.ru>