Use <code> instead of <pre>

Author: phil-blain

index.html

@@ -102,7 +102,8 @@ <h2>How can you use GitGitGadget?</h2>
 				Good, now is the time to direct your web browser to <a href="https://github.com/gitgitgadget/git">https://github.com/gitgitgadget/git</a> (or to <a href="https://github.com/gitgitgadget/git">https://github.com/git/git</a> ) and to open a Pull Request.
 				Please make sure to use a descriptive Pull Request title and description; GitGitGadget will use these as the subject and body of the cover letter (check out the <a href="https://git-scm.com/docs/MyFirstContribution">MyFirstContribution</a> tutorial if you are not familiar with this terminology).
 				You can CC potential reviewers by adding a footer to the PR description with the following syntax:
-				<pre>CC: Revi Ewer &lt;revi.ewer@some.domain&gt;, Ill Takalook &lt;ill.takalook@other.domain&gt;</pre>
+			</p><p>
+				<code>CC: Revi Ewer &lt;revi.ewer@some.domain&gt;, Ill Takalook &lt;ill.takalook@other.domain&gt;</code>
 			</p><p>
 				You will also want to read <a href="https://git-scm.com/docs/SubmittingPatches">Git's contribution guidelines</a> to make sure that your contributions are in the expected form, as well as the project's <a href="https://github.com/git/git/blob/master/Documentation/CodingGuidelines">coding guidelines</a>.
 				You might also want to read the <a href="https://git-scm.com/docs/gitworkflows">gitworkflows</a> manual page to understand how your contributions will be integrated in Git's repository, as well as <a href="https://github.com/git/git/blob/todo/MaintNotes">this note from Git's maintainer</a>.