preformatted tag for commands

testing using preformatted tag for commands included in the HTML index