From 113052b13e29a67b4fe4221e8bf772ad813ebfb7 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 3 Jul 1999 17:33:19 +0000
Subject: Tweaks and validation fixes.

---
 html/header.phtml | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

(limited to 'html/header.phtml')

diff --git a/html/header.phtml b/html/header.phtml
index 4d62176a..0415a7b9 100644
--- a/html/header.phtml
+++ b/html/header.phtml
@@ -1,4 +1,5 @@
-<table width="80%" align=top>
+<!-- This is the header -->
+<table width="80%">
 <tr>
 <td width="300">
 <a href="index.phtml">
@@ -7,7 +8,7 @@
 </a>
 </td>
 <td>
-  <img src="images/pg-text.gif">
+  <img src="images/pg-text.gif" alt="Proof General">
   <br>
   <h1>Organize your proofs!</h1>
 <?php
@@ -49,4 +50,4 @@
 ?>
  </tr>
 </table>
-
+<!-- End of header -->
\ No newline at end of file
-- 
cgit v1.2.3