bug-texinfo
[Top][All Lists]
Advanced

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

Re: When should we put @key inside @kbd?


From: Gavin Smith
Subject: Re: When should we put @key inside @kbd?
Date: Sat, 1 Jan 2022 18:48:51 +0000

(Link to mailing list archive
https://lists.gnu.org/archive/html/bug-texinfo/2018-03/msg00037.html)

On Sat, Mar 10, 2018 at 9:08 PM Richard Stallman <rms@gnu.org> wrote:
> So I think it is best for @key never to be slanted.

I found an inconsistency in the HTML output in the output for @key,
depending on whether it was in @kbd or not. It would be slanted only
if inside @kbd. I found this old thread complaining about the same
issue. I'm not aware of it ever resulting in any changes.

I have just committed a change to Texinfo to consistently output @key
as <kbd class="key">...</kbd>, and used CSS to cancel the CSS rule
that was making the contents of @kbd slanted. With this change, @key
will be consistently output with an upright monospaced font,
regardless of whether it is inside @kbd or not.



reply via email to

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