Re: rethinking @def*

[pertusus]

On Sun, Jul 31, 2022 at 09:23:54PM +0100, Gavin Smith wrote:
> On Sun, Jul 31, 2022 at 07:46:02PM +0200, pertusus@free.fr wrote:
> > On Sun, Jul 31, 2022 at 02:38:17PM +0100, Gavin Smith wrote:
> > > 
> > > I've got a different proposal now for the difference between
> > > @deftypefn and @deffn (described above).
> > 
> > I tried to implement that proposal (at least what I had understood...)
> > both in LaTeX and HTML.
> 
> What was the benefit of changing <em class="emph"> to
> <span class="r"><i class="slanted">?  Isn't the former much simpler?

It is not the same, <span class="r"> isolates from the surrounding
fonts, using <span class="r"><i class="slanted"> amounts to really doing
the same as in LaTeX (and, I believe, TeX).

-- 
Pat