(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 <[email protected]> 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.
