diff options
| author | David Aspinall | 1999-07-03 17:33:19 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-07-03 17:33:19 +0000 |
| commit | 113052b13e29a67b4fe4221e8bf772ad813ebfb7 (patch) | |
| tree | 4ba60917ae7f04b5037b1d86ebe3acf50240f10c /html/header.phtml | |
| parent | 7e68d347a1c2a5e26b10b2225d4dfda5a3e0ca77 (diff) | |
Tweaks and validation fixes.
Diffstat (limited to 'html/header.phtml')
| -rw-r--r-- | html/header.phtml | 7 |
1 files changed, 4 insertions, 3 deletions
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 |