templates/header.php

   1 <?php
   2 echo "<?xml version=\"1.0\" encoding=\"utf-8\"?>\n";
   3 ?>
   4 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
   5 <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
   6 <head>
   7         <title><?php echo $page['title']; ?></title>
   8         <link rel="stylesheet" href="default.css" type="text/css" />
   9 </head>
  10 <body>
  11
  12 <div class="nav">
  13 <a href=".">Index</a>
  14 <?php
  15 if (isset($page['project'])) {
  16         echo " &raquo; <a href=\"". makelink(array('a' => 'summary', 'p' => $page['project'])) ."\">$page[project]</a>";
  17 }
  18 ?>
  19 </div>