diff options
author | 1999-06-24 14:04:28 +0000 | |
---|---|---|
committer | 1999-06-24 14:04:28 +0000 | |
commit | 2ed53db7506dd4811fbe6c3fac64c3703d1169a8 (patch) | |
tree | dbaeab7ca5223cf02a16b2ff9834b8aac203ad84 /html/header.phtml | |
parent | 7e049e7ecc1ec8098463454f87369461bd10efc2 (diff) |
New web pages
Diffstat (limited to 'html/header.phtml')
-rw-r--r-- | html/header.phtml | 52 |
1 files changed, 52 insertions, 0 deletions
diff --git a/html/header.phtml b/html/header.phtml new file mode 100644 index 00000000..1cf0f36a --- /dev/null +++ b/html/header.phtml @@ -0,0 +1,52 @@ +<table width="80%" align=top> +<tr> +<td width="300"> +<!-- <A HREF="http://www.dcs.ed.ac.uk/~proofgen/">--> +<img src="images/ProofGeneral.jpg" alt="[ Proof General logo ]" align=top + width=260 height=302 > +<!-- </A>--> +</td> +<td> + <img src="images/pg-text.gif"> + <br> + <h1>Organize your proofs!</h1> +<?php + /* Header link generator. David Aspinall, June 1999. + * Based orginially on navbar.php3 by Douglas Campbell + * Look for $WANTED in array. If not found, use default of "Home" + * and fix $WANTED. Hrefs are given by page parameter to current doc. + */ + $WANTED=$HTTP_GET_VARS["page"]; + $links_arr = array( + "Home" => "main", + "News" => "news", + "Features" => "features", + "Download" => "download", + "Documentation" => "doc", + "About" => "about", + "Links" => "links" + ); + $DEFAULT = $links_arr["Home"]; + $wanted_okay = 0; + for (reset($links_arr); $name = key($links_arr); next($links_arr)) { + if ($WANTED == $links_arr[$name]) { + $wanted_okay = 1; + } + }; + if (! $wanted_okay) { + $WANTED = "main"; + }; + for (reset($links_arr); $name = key($links_arr); next($links_arr)) { + print $separator; + if ($WANTED == $links_arr[$name]) { + print "<b>" . $name . "</b>"; + } + else { + link_root($links_arr[$name],$name); + } + print "<br>\n"; + } +?> + </tr> +</table> + |