Hi, On Tue, 9 Sep 2003 11:50:23 -0300 (ART), malefico andauer wrote: > We should use <literal> for keystrokes or another > label ? I think most of the docs use <keycap>. -- +++ martin kleppmann +++ martin@kleppmann.de +++