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

[Gavin Smith]

(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.