diff options
| author | David Aspinall | 2002-07-13 16:19:17 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-07-13 16:19:17 +0000 |
| commit | dc650fcaeadbc1aac792f012db8f1865b9fa2830 (patch) | |
| tree | eeb09883c6d079ec727eaf460a854cffc6c459d4 /html | |
| parent | 2a2fb1a6405fbae27a7d2abca51f5472fb4f415d (diff) | |
Compress header, shrink images
Diffstat (limited to 'html')
| -rw-r--r-- | html/header.html | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/html/header.html b/html/header.html index c9c59e86..46d76d3b 100644 --- a/html/header.html +++ b/html/header.html @@ -1,15 +1,15 @@ <!-- This is the header --> -<table width="550"> +<table width="600"> <tr> -<td width="190"> +<td width="100"> <a href=""> <img src="images/ProofGeneral.jpg" alt="Proof General" align=top - width=180 height=238 border=0 > + width=90 height=119 border=0 > </a> </td> <td> <center> - <img src="images/pg-text.gif" alt="Proof General" width=175 height=76> + <img src="images/pg-text.gif" alt="Proof General" width=170 height=17> <h1>Organize your proofs!</h1> <?php /* Header link generator. David Aspinall, June 1999. @@ -26,12 +26,12 @@ "Home" => "main", "Features" => "features", "Download" => "download", + "Documentation" => "doc", + "News" => "news", "Screenshots" => "screenshot", - "Documentation" => "doc", "Development" => "devel", - "About" => "about", - "Links" => "links" + "About" => "about" ); $DEFAULT = $links_arr["Home"]; $wanted_okay = 0; @@ -52,7 +52,7 @@ print "<a href=\"$links_arr[$name]\">$name</a>"; } print " </td>\n"; - if ($name=="Download" || $name=="Documentation") print "</tr>\n<tr>"; + if ($name=="Documentation") print "</tr>\n<tr>"; } print "</tr></table>\n"; ?> |