Add <hr> after top navigation bar; now looks more like the rest of the
navigation bars in the HTML output.
diff --git a/Doc/html/index.html.in b/Doc/html/index.html.in
index 8f78a3e..e9b5b27 100644
--- a/Doc/html/index.html.in
+++ b/Doc/html/index.html.in
@@ -26,6 +26,7 @@
 	      src="icons/blank.gif"></A></td>
 	</tr>
 	</table>
+        <hr>
 	</div>
     <div align=center>
       <h1>Python Documentation</h1>