Files
processing4/mobile/web/header.inc.php
2005-01-27 06:48:42 +00:00

82 lines
2.3 KiB
PHP

<?php
require 'settings.inc.php';
?>
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN"
"http://www.w3.org/TR/html4/strict.dtd">
<html>
<head>
<title><?php echo $PAGE_TITLE ?></title>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<script language="javascript">
<!--
function MM_openBrWindow(theURL,winName,features) { //v2.0
window.open(theURL,winName,features);
}
//-->
</script>
<link rel="stylesheet" href="<?php echo SITE_ROOT?>css/mobile.css" type="text/css">
</head>
<body>
<div id="head">
<img src="<?php echo SITE_ROOT?>images/wiring.jpg" width="97" height="47">
</div>
<div id="navigation">
<img src="<?php echo SITE_ROOT?>images/nav_bottomarrow.gif" width="33" height="25" align="absmiddle">
<?php if ($_SERVER['PHP_SELF'] == SITE_ROOT . 'index.php') { ?>
Cover
<?php } else { ?>
<a href="<?php echo SITE_ROOT ?>index.php">Cover</a>
<?php } ?>
<span class="backslash">\</span>
<?php if (strstr($_SERVER['PHP_SELF'], SITE_ROOT . 'reference/') === false) { ?>
<a href="<?php echo SITE_ROOT ?>reference/index.php">Reference</a>
<?php } else { ?>
Reference
<?php } ?>
<span class="backslash">\</span>
<?php if (strstr($_SERVER['PHP_SELF'], SITE_ROOT . 'examples/') === false) { ?>
<a href="<?php echo SITE_ROOT ?>examples/index.php">Examples</a>
<?php } else { ?>
Examples
<?php } ?>
<span class="backslash">\</span>
<?php if (strstr($_SERVER['PHP_SELF'], SITE_ROOT . 'download/') === false) { ?>
<a href="<?php echo SITE_ROOT ?>download/index.php">Download</a>
<?php } else { ?>
Download
<?php } ?>
<span class="backslash">\</span>
<?php if (strstr($_SERVER['PHP_SELF'], SITE_ROOT . 'discourse/') === false) { ?>
<a href="<?php echo SITE_ROOT ?>discourse/index.php">Discourse</a>
<?php } else { ?>
Discourse
<?php } ?>
</div>
<?php if ($PAGE_SHOWBACKINDEX) { ?>
<div id="backnavigation">
<table border="0" cellspacing="0" cellpadding="0">
<tr>
<td align="right" width="50">
<a href="index.php">
<img src="<?php echo SITE_ROOT?>images/back_off.gif" width="38" height="30" border="0" align="middle">
</a>
</td>
<td valign="middle">
<a href="index.php">
Index
</a>
</td>
</tr>
</table>
</div>
<?php } ?>
<div id="content">