Used <code> tags inside <pre>s.

By using only <pre> tags, you lose the semantic meaning that <code>
provides, and semantic meaning is, after all, the purpose of HTML.
Adding <code> back in does not affect the layout.
Merge pull request #1 from penman/master

Used <code> tags inside <pre>s.