Template:Key: Difference between revisions

From Event-B
Jump to navigationJump to search
imported>Mathieu
m Template for typesetting a keystroke (in the tutorial or manual)
 
imported>Mathieu
m Robot: Changing Category:Typesetting template
 
(3 intermediate revisions by the same user not shown)
Line 1: Line 1:
<noinclude>
<noinclude>
==Usage==
==Usage==
Template use to specify a key stroke:
Template use to specify a key stroke.
==Example==
Hit {{key|F5}}.
Hit {{key|F5}}.
</noinclude>
==Template==
'''''{{{1}}}'''''
[[Category:Typesetting templates]]
</noinclude><!--
--><div class="typeset-key" style="display:inline;">'''''{{{1}}}'''''</div>

Latest revision as of 20:29, 10 September 2008

Usage

Template use to specify a key stroke.

Example

Hit

F5

.

Template

{{{1}}}