www/demo/page_segments.phpi

   1 <?php
   2
   3 /* $Id: page_segments.phpi,v 1.1 2007-01-04 14:11:55 sondberg Exp $
   4  * ---------------------------------------------------
   5  * Page segments
   6  */
   7
   8
   9 function insert_header () {
  10     echo <<<END_OF_HEADER
  11 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
  12 <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
  13   <head>
  14     <title>Keystone Retriever</title>
  15     <link rel="author" href="http://www.indexdata.dk" />
  16     <link href="css/styles.css" rel="stylesheet" type="text/css"
  17           media="screen, all" />
  18   </head>
  19   <body>
  20     <div class="container">
  21       <div class="topbar">
  22         <a href=".">
  23           <img id="logo" src="gfx/logo.gif" width="155" height="36"
  24                alt="Keystone Retriever" />
  25         </a>
  26         <div class="topmenu">
  27           <a href="about.php" class="topmenu">ABOUT</a>
  28           <a href="help.php" class="topmenu">HELP</a>
  29         </div>
  30       </div>
  31       <div class="search">
  32         <span>ENTER SEARCH TERM:</span>
  33         <div>
  34             <input type="text" class="search" tabindex="1" maxlength="255"
  35                    value="" />
  36             <input type="submit" class="button" value="Search" />
  37         </div>
  38       </div>
  39       <div class="main">
  40         <div class="leftbar">
  41           <b>Limit search results</b><br />
  42           Narrow your search by using the keywords below:<br />
  43           <br />
  44           <a href="#" class="unselected">Subject</a>
  45           <a href="#">Subject 1</a>
  46           <a href="#">Subject 2</a>
  47           <a href="#"> Subject 3</a>
  48           <br />
  49           <a href="#" class="selected">Author</a>
  50           <br />
  51           <a href="#" class="selected">Institution</a>
  52           <br />
  53           <a href="#" class="unselected">Date</a>
  54           <a href="#">Date 1</a>
  55           <a href="#">Date 2</a>
  56           <a href="#">Date 3</a>
  57         </div>
  58         <div class="content">
  59 END_OF_HEADER;
  60 }
  61
  62
  63 function insert_footer () {
  64 echo <<<END_OF_FOOTER
  65         </div>
  66         <div class="clear"></div>
  67       </div>
  68     </div>
  69   </body>
  70 </html>
  71 END_OF_FOOTER;
  72 }