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.
rebuilding site Fri May 23 19:49:51 EDT 2014