[Top][All Lists]
[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 09:39:33 +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.
Really? I don't see this on my system: both @display and @format do
not specify the font at all.
Can you show us a short example of the HTML produced by makeinfo from
@display and @format?