Format fixes in html files of 1994

1994/dodsond2/index.html

@@ -432,12 +432,19 @@ the contest!</p>
 <h3 id="a-historical-note">A historical note:</h3>
 <p>The original source code was submitted as a GZIP compressed file
 that the <em>file(1)</em> command reports as:</p>
-<pre><code>    dodsond2.gz: gzip compressed data, last modified: Mon Aug 29 21:54:39 1994, max compression, from Unix, original size modulo 2^32 2652</code></pre>
+<blockquote>
+<p>dodsond2.gz: gzip compressed data, last modified: Mon Aug 29 21:54:39 1994,
+max compression, from Unix, original size modulo 2^32 2652</p>
+</blockquote>
 <p>The <a href="dodsond2.gz">dodsond2.gz</a> file was submitted as source
 in an effort to get around the 1994 version of Rule 2:</p>
-<pre><code>    2) Your entry must be &lt;= 3217 bytes in length.  The number of characters
-       excluding whitespace (tab, space, newline), and excluding any ; { or }
-       followed by either whitespace or end of file, must be &lt;= 1536.</code></pre>
+<blockquote>
+<ol start="2" type="1">
+<li>Your entry must be &lt;= 3217 bytes in length. The number of characters
+excluding whitespace (tab, space, newline), and excluding any ; { or } followed
+by either whitespace or end of file, must be &lt;= 1536.</li>
+</ol>
+</blockquote>
 <p>Indeed the <a href="https://github.com/ioccc-src/temp-test-ioccc/blob/master/1994/dodsond2/dodsond2.c">dodsond2.c</a> file is
 what you find today.</p>
 <p>The IOCCC rules and guidelines were modified in an effort to address