Re: wrong font shape for `@var` in `@example`

[pertusus]

On Sun, Aug 21, 2022 at 07:59:17PM +0000, Werner LEMBERG wrote:
> 
> > It wouldn't do anything for any other output formats, so there shouldn't
> > need to be any changes to texi2any, or any new commands to be added.
> 
> Mhmm.  I must admit that I haven't checked how HTML output was before
> and is now, so I can't comment on this conclusion.

There has not been any change for HTML in that respect.  But there could
be, as this outpout is unspecified.  HTML was not and is not consistent
with TeX as fonts are combined in the default case in HTML, similar to
LaTeX.

> > My preference for this switch to be limited to texinfo.tex, as we
> > shouldn't force absolute consistency across all output formats.
> 
> Well, I think that the 'typewriter metaness' is important in HTML
> output, too...

I do not think that the users should assume a specific formatting, but
let the Texinfo processor do the formatting, for semantic commands.  For
font commands, ther could be expectations.

-- 
Pat