3 /* $Id: page_segments.phpi,v 1.5 2007-01-05 11:30:13 sondberg Exp $
4 * ---------------------------------------------------
9 function insert_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">
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 <script type="text/javascript" src="search.js"></script>
20 <body onload="initialize();">
21 <div class="container">
24 <img id="logo" src="gfx/logo.gif" width="155" height="36"
25 alt="Keystone Retriever" />
28 <a href="about.php" class="topmenu">ABOUT</a>
29 <a href="help.php" class="topmenu">HELP</a>
33 <span>ENTER SEARCH TERM:</span>
35 <form name="search" onsubmit="start_search(); return false;">
36 <input id="query" type="text" class="search" tabindex="1"
37 maxlength="255" value="" />
38 <input type="submit" class="button" value="Search" />
39 <input type="hidden" name="startrec" id="startrec"/>
40 <input type="hidden" name="action_type" id="action_type"
46 <div class="leftbar" id="termlist2">
47 <b>Limit search results</b><br />
48 Narrow your search by using the keywords below:<br />
50 <a id="facet_subject" href="#" class="selected"
51 onclick="toggle_facet(this)">Subject</a>
52 <div id="facet_subject_terms" style="display: none;">None</div>
56 <a id="facet_author" href="#" class="selected"
57 onclick="toggle_facet(this)">Author</a>
58 <div id="facet_author_terms" style="display: none;">None</div>
62 <a id="facet_institution" href="#" class="selected"
63 onclick="toggle_facet(this)">Institution</a>
64 <div id="facet_institution_terms" style="display: none;">None</div>
68 <a id="facet_date" href="#" class="selected"
69 onclick="toggle_facet(this)">Date</a>
70 <div id="facet_date_terms" style="display: none;">None</div>
72 <div class="content" id="body">
77 function insert_footer () {
81 <div style="display: ', ($show_status == 1 ? 'block' : 'none'),
82 ';">Status: <span id="status">Initializing</span>
83 <span id="stat"></span>
85 <div class="clear"></div>