> Date: Sat, 1 Jan 2022 16:46:09 -0700 > From: Karl Berry <[email protected]> > Cc: [email protected], [email protected], [email protected], > [email protected] > > There seemed to be a general feeling in the 2018 discussion I linked > to that consistently unslanted fonts are good for @key. > > Then > @kbd{foo @key{RET} bar} > > would have "foo" and "bar" slanted (by default), and "RET" > unslanted. That seems weird to me. But whatever. -k
Ideally, @key should be displayed in HTML as a picture of the key, not as a text string. In that case, slanted style has no useful meaning.
