-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathheader.php
74 lines (65 loc) · 2 KB
/
header.php
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
<?
if ($_SERVER['SERVER_NAME'] == "temilan.com")
{
header("location:http://www.temilan.com".$_SERVER['REQUEST_URI']);
}
?>
<html>
<head>
<link rel="search" type="application/opensearchdescription+xml" title="Red" href="RedSearchPlugin.xml">
<link href="global.css" media="screen" rel="stylesheet" type="text/css" />
<link rel="shortcut icon" href="favicon.ico" type="image/x-icon" />
<script type="text/javascript" src="http://ajax.googleapis.com/ajax/libs/jquery/1.4.1/jquery.min.js"></script>
<script>
function installSearchEngine() {
if (window.external && ("AddSearchProvider" in window.external)) {
// Firefox 2 and IE 7, OpenSearch
window.external.AddSearchProvider("http://www.temilan.com/Red/RedSearchPlugin.xml");
} else if (window.sidebar && ("addSearchEngine" in window.sidebar)) {
// Firefox <= 1.5, Sherlock
//window.sidebar.addSearchEngine("http://example.com/search-plugin.src",
//"http://example.com/search-icon.png",
//"Search Plugin", "");
alert("No search engine support");
} else {
// No search engine support (IE 6, Opera, etc).
alert("No search engine support");
}
}
</script>
<title>Red - Making surfing the web easy</title>
</head>
<body>
<div id="topLogo">
<table width="100%"><tr><td style="width:60px; ">
<a href="index">
<img src="img/logo.png" style="padding-right:10px;opacity:0.2;" />
</a>
</td>
<td>
<h1>Red</h1>
<sub>Making surfing the web easy</sub>
</td>
<td align="right">
<? if (!isset($noSearchBoxInHeader) || $noSearchBoxInHeader == false )
{
?>
<form onsubmit="window.location='search#'+document.getElementById('q').value;return false;">
<input type="text" id="q" size="25" /><button>Search</button>
</form>
<?
}
?>
</td>
</tr>
</table>
</div>
<div id="topNav">
<a href="index.php" class="selected">Home</a>
<a href="intro.php" class="selected">Introduction</a>
<a href="start.php">Getting Started</a>
<a href="keywords.php">Keywords</a>
<a href="privacy.php">Privacy</a>
</div>
<br>
<div id="mainDiv">