With the style change to <code>, I propose to with to switch to <kbd>. The box is just too much. It is keyboard code, not output. -- Gadget850 talk 15:33, 10 August 2014 (UTC)[reply]
<code>
<kbd>