From 3c4e89e92f4200f65c6b2d8497c62ed560cfbcaa Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 27 Sep 2000 14:28:52 +0000
Subject: Updated web pages, misc improvements.

---
 html/header.phtml | 19 ++++++++++---------
 1 file changed, 10 insertions(+), 9 deletions(-)

(limited to 'html/header.phtml')

diff --git a/html/header.phtml b/html/header.phtml
index cd2af8ee..e5100744 100644
--- a/html/header.phtml
+++ b/html/header.phtml
@@ -1,5 +1,5 @@
 <!-- This is the header -->
-<table width="500">
+<table width="550">
 <tr>
 <td width="190">
 <a href="index.phtml">
@@ -17,20 +17,20 @@
        * Look for $WANTED in array.  If not found, use default of "Home"
        * and fix $WANTED.  Hrefs are given by page parameter to current doc.
        */
-    $separator='<td><img src="images/bullethole.gif" width=15 height=15 alt="." align="top">';
+    $separator='<td><img src="images/bullethole.gif" width=15 height=15 align="top" alt=".">';
     $WANTED=$HTTP_GET_VARS["page"];
-    print "<small><table><tr>\n"; 
+    print "<table><tr>\n"; 
     $links_arr  =  array(
           "Home"          =>  "main", 
 	  "Features"	  =>  "features",
 	  "Download"      =>  "download",
-          "Documentation" =>  "doc",
           "News"          =>  "news", 
+          "Screenshots"   =>  "screenshot",
+          "Documentation" =>  "doc",
 	  "Development"	  =>  "devel",
 	  "About"	  =>  "about",
 	  "Links"	  =>  "links"
     );
-    $midpoint = 
     $DEFAULT = $links_arr["Home"];
     $wanted_okay = 0;
     for  (reset($links_arr);  $name  =  key($links_arr);  next($links_arr))  {
@@ -44,16 +44,17 @@
     for  (reset($links_arr);  $name  =  key($links_arr);  next($links_arr))  {
         print  $separator;
         if  ($WANTED  ==  $links_arr[$name])  {
-	  print "<i>" . $name . "</i>";
+	  print "<b>" . $name . "</b>";
 	  }
 	else {
             link_root($links_arr[$name],$name);
 	}
-        print "</td>\n";
-        if ($name=="Download" || $name=="Development") print "</tr><tr>";
+        print " </td>\n";
+        if ($name=="Download" || $name=="Documentation") print "</tr>\n<tr>";
     }
-    print "</tr></table></small>\n"; 
+    print "</tr></table>\n"; 
 ?>
+</center>
 </td></tr>
 </table>
 <!-- End of header -->
\ No newline at end of file
-- 
cgit v1.2.3