Re: @format and @display in HTML output

[Karl Berry]

    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 don't believe the (lack of) DOCTYPE matters for this.

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

I think the most portable solution would be to output a <br> after each
line.  I don't really want to resort to CSS, although admittedly it
would be a simpler solution in this case.

Thanks for following up.