Correct markup

manual/proxy.html

@@ -260,8 +260,8 @@ For csh/tcsh:
 </p>
 <ol>
   <li>With Ant 1.7 and Java 5+ using the <code>-autoproxy</code> parameter.</li>
-  <li>Via JVM system properties&mdash;set these in the <var>ANT_ARGS</var> environment variable.</li>
-  <li>Via the &lt;setproxy&gt; task.</li>
+  <li>Via JVM system properties&mdash;set these in the <code>ANT_ARGS</code> environment variable.</li>
+  <li>Via the <code>&lt;setproxy&gt;</code> task.</li>
   <li>Custom ProxySelector implementations</li>
 </ol>
 <p>