Template:Key: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Mathieu m use div class to help postprocessing |
imported>Mathieu mNo edit summary |
||
| Line 6: | Line 6: | ||
==Template== | ==Template== | ||
[[Category:Typesetting template]] | [[Category:Typesetting template]] | ||
</noinclude> | </noinclude><!-- | ||
<div class="typeset-key" style="display:inline;">'''''{{{1}}}'''''</div> | --><div class="typeset-key" style="display:inline;">'''''{{{1}}}'''''</div> | ||
Revision as of 11:12, 10 July 2008
Usage
Template use to specify a key stroke.
Example
Hit
F5
.
Template
{{{1}}}
