On Sun, Jul 31, 2022 at 09:23:54PM +0100, Gavin Smith wrote: > On Sun, Jul 31, 2022 at 07:46:02PM +0200, pertu...@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
