[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: rethinking @def*

From: pertusus
Subject: Re: rethinking @def*
Date: Mon, 1 Aug 2022 00:54:09 +0200

On Sun, Jul 31, 2022 at 09:48:31PM +0100, Gavin Smith wrote:
> On Sun, Jul 31, 2022 at 09:23:54PM +0100, Gavin Smith wrote:
> > As you noted, the name is in a typewriter font due to <code> rather than
> > <strong> being used.  Maybe we discussed this already, but I think we
> > should reconsider this change.
> I think this change is probably a good idea as it makes it consistent with
> TeX.  We should make sure that the definition name is accessible with CSS.
> Earlier, we recommended using a "dt strong" CSS selector.
> https://lists.gnu.org/archive/html/bug-texinfo/2020-11/msg00041.html

It is not really what was recommended.  A class would be cleaner and I
agree.  However, it is not possible to do that with regular Texinfo.

Maybe the best would be to use gdt for the category followed by the :
only, and use directly html for the remaining, which would have the
added advantage of simplifying the code, as we would not need to have
the whole Texinfo expression literally.  it is already done like that
in one case anyway.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]