bug-texinfo
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: @format and @display in HTML output


From: Eli Zaretskii
Subject: Re: @format and @display in HTML output
Date: Sat, 19 Apr 2003 12:25:44 +0200

> From: "Torsten Bronger" <address@hidden>
> Date: Sat, 19 Apr 2003 11:03:59 +0200
> 
> >> From: Torsten Bronger <address@hidden>
> >> Date: Tue, 15 Apr 2003 21:32:37 +0200
> >> 
> >> I expect @display and @format to use the standard font in HTML
> >> files, however they switch to the fixed width font family.
> [...]
> i.e. no DOCTYPE declaration, and in particular no CSS definitions.
> Thus my Mozilla 1.1 uses his standard style sheet which obviously
> means "Courier" for the <pre> region.

Ah, so the problem is that there's no DOCTYPE, not that makeinfo
switches to the fixed-width font explicitly.  Thanks for the example.

I'm not a CSS expert, so I'll let others on this list to comment on
how to fix this.




reply via email to

[Prev in Thread] Current Thread [Next in Thread]