web: Remove horizontal line at the top of the page.

The gitweb page does not have this line, and the page looks better
without it.

diff --git a/web/header.html b/web/header.html
index 6583905bc4acc5bab7a83009799b7dbadf82d4d9..aeb02f72315dced2f9860a48bc28e01541d18e67 100644 (file)
--- a/web/header.html
+++ b/web/header.html
@@ -31,4 +31,3 @@
                        <br><a href="CREDITS.html">Credits</a>
                </td>
                <td Valign="TOP">
-       <hr>

diff --git a/web/header2.html b/web/header2.html
index 109adfbefec7aa3535db203428f2143246491181..58fa2b395bd6f33bf4123e0631714f4be47853a1 100644 (file)
--- a/web/header2.html
+++ b/web/header2.html
@@ -31,4 +31,3 @@
                        <br><a href="../../CREDITS.html">Credits</a>
                </td>
                <td Valign="TOP">
-       <hr>