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

[Gavin Smith]

On Sun, Aug 21, 2022 at 11:14:16PM +0200, pertusus@free.fr wrote:
> 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.

Can you please leave it alone, I checked the HTML output already and
the results look bad (depending on browser and fonts) when you mix
typewriter and non-typewriter fonts.