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 8f78a3e5dcfc1cc045dd2fbace8994cf145dafee..e9b5b279783fb30fa0684a27eff0a3e6df2ebefa 100644 (file)
--- 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>