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

[pertusus]

On Sun, Aug 21, 2022 at 06:28:11PM +0100, Gavin Smith 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.  My
> preference for this switch to be limited to texinfo.tex, as we shouldn't
> force absolute consistency across all output formats.  It wouldn't do
> anything special with @def* commands, either.

There was no change on that subject for HTML.  However, I think that the
formatting in HTML should be changed, as it is not consistent, fonts are
always combined, but ligatures are not for @r, @i, @b, @sansserif, @slanted
which seems to me to be unfortunate.  Conversely, @var (and @cite too,
probably) are fully combined.

I will change the HTML results to be more in line with TeX/LaTeX,
especially when this is needed to be able to obtain some specific
output.

-- 
Pat