Uttered Brad Smith <brads@xxxxxxxxxx>, 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:
pgppfD77jRgDH.pgp
Description: PGP signature
-- fedora-docs-list@xxxxxxxxxx To unsubscribe: https://www.redhat.com/mailman/listinfo/fedora-docs-list
