Re: makeinfo and CSS (was: @format and @display in HTML output)

[Karl Berry]

    2. Use 'inherit' instead of 'serif'.

Thanks.  That seems cleaner than serif, although I think it's still not
perfect.  If the current font happens to be bold or something when the
@format starts, it seems the @format text is also be bold, not roman?
So there is no simple value meaning "go back to the default font"?  How
annoying :).

Oh well, it's no big deal.  A Texinfo author would have to work hard to
have any font but the default in that context, anyway.