Fix various HTML mistakes in docs

codemirror · Apr 2, 2013 · 01c0c77 · 01c0c77
1 parent 6139ad9
commit 01c0c77
Show file tree

Hide file tree

Showing 4 changed files with 5 additions and 4 deletions.
diff --git a/doc/compress.html b/doc/compress.html
@@ -170,7 +170,7 @@ <h1><span class="logo-braces">{ }</span> <a href="http://codemirror.net/">CodeMi
           <option value="http://codemirror.net/keymap/emacs.js">emacs.js</option>
           <option value="http://codemirror.net/keymap/vim.js">vim.js</option>
         </optgroup>
-      </select></p>
+      </select>
 
       <p>
         <button type="submit">Compress</button> with <a href="http://github.com/mishoo/UglifyJS/">UglifyJS</a>

diff --git a/doc/internals.html b/doc/internals.html
@@ -50,7 +50,7 @@ <h1><span class="logo-braces">{ }</span> <a href="http://codemirror.net/">CodeMi
 integrated into about a thousand systems by now. The most prominent
 one, since a few weeks,
 being <a href="http://googlecode.blogspot.com/2011/01/make-quick-fixes-quicker-on-google.html">Google
-code's project hosting</a>. It works, and it's being used widely.</a>
+code's project hosting</a>. It works, and it's being used widely.</p>
 
 <p>Still, I did not start replacing it because I was bored. CodeMirror
 1 was heavily reliant on <code>designMode</code>

diff --git a/doc/manual.html b/doc/manual.html
@@ -1177,6 +1177,7 @@ <h3 id="api_decoration">Widget, gutter, and decoration methods</h3>
           the height of the line that contains the widget.</dd>
         </dl>
       </dd>
+    </dl>
 
     <h3 id="api_sizing">Sizing, scrolling and positioning methods</h3>
 

diff --git a/doc/oldrelease.html b/doc/oldrelease.html
@@ -335,7 +335,7 @@ <h1><span class="logo-braces">{ }</span> <a href="http://codemirror.net/">CodeMi
   faster, smaller, simpler to use, and less dependent on browser
   quirks. See <a href="internals.html">this</a>
   and <a href="http://groups.google.com/group/codemirror/browse_thread/thread/5a8e894024a9f580">this</a>
-  for more information.</a>
+  for more information.</p>
 
   <p class="rel">28-03-2011: <a href="http://codemirror.net/codemirror-1.0.zip">Version 1.0</a>:</p>
   <ul class="rel-note">
@@ -345,7 +345,7 @@ <h1><span class="logo-braces">{ }</span> <a href="http://codemirror.net/">CodeMi
   </ul>
 
   <p class="rel">22-02-2011: <a href="https://github.com/marijnh/codemirror/tree/beta2">Version 2.0 beta 2</a>:</p>
-  <p class="rel-note">Somewhat more mature API, lots of bugs shaken out.</a>
+  <p class="rel-note">Somewhat more mature API, lots of bugs shaken out.</p>
 
   <p class="rel">17-02-2011: <a href="http://codemirror.net/codemirror-0.94.zip">Version 0.94</a>:</p>
   <ul class="rel-note">