Uttered Brad Smith <brads redhat com>, spake thus: > I think it would look inconsistent if only these instructions were > treated as regular text so, for our purposes, I think we > definitely need to tag it with something, I'm just unsure what. Well, <userinput>:wq</userinput>, of course. <keycode> and <keycap> are not "key strokes", they are silkscreen labels and ROM values. Just my $0.02e+48 on it. Cheers
Attachment:
pgpgWmbr1uuHp.pgp
Description: PGP signature