[Top][All Lists]

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

Re: rethinking @def*

From: Gavin Smith
Subject: Re: rethinking @def*
Date: Sun, 31 Jul 2022 21:48:31 +0100

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.


reply via email to

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