-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathsearch.htm
121 lines (107 loc) · 5.03 KB
/
search.htm
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
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
<html>
<head>
<script language="javascript">
<!--
function CloseNav() {
if ((top.right.location == null) || (top.right.location == undefined) || (typeof(top.right.location.href) != "string") || (top.right.location.href == ""))
top.location="Home/home_intro.htm";
else
top.location=top.right.location;
}
function GetFrameWidth() {
var x = 300;
if (self.innerHeight) // all except Explorer
x = self.innerWidth;
else if (document.documentElement && document.documentElement.clientHeight) // Explorer 6 Strict Mode
x = document.documentElement.clientWidth;
else if (document.body) // other Explorers
x = document.body.clientWidth;
return(x);
}
function GetFrameHeight() {
var y = 400;
if (self.innerHeight) // all except Explorer
y = self.innerHeight;
else if (document.documentElement && document.documentElement.clientWidth) // Explorer 6 Strict Mode
y = document.documentElement.clientHeight;
else if (document.body) // other Explorers
y = document.body.clientHeight;
return(y);
}
function resizeSearch() {
var searchDiv = document.getElementById("searchcontainer");
var DivFooter = document.getElementById("DivFooter");
var xTop = DivFooter.offsetHeight + searchDiv.offsetTop;
var WW = GetFrameWidth() - 10; //5px either side
searchDiv.style.width = WW.toString() + "px";
var HH = GetFrameHeight() - xTop;
if (HH > 0)
searchDiv.style.height = HH.toString() + "px";
}
function DocOnLoad() {
resizeSearch();
//Check for author: Is searchdata.js created?
if (typeof(SearchIndexes) == "undefined")
alert("Warning: Search database file not found \"searchdata.js\".");
}
-->
</script>
<!-- BEGIN_SEARCH_SCRIPT -->
<!-- Search data (searchdata.js) generated by Emergent HTMLtoSearch -->
<script language="JavaScript" src="searchdata.js"></script>
<!-- Search Code to find words -->
<script language="JavaScript" src="search.js"></script>
<!-- END_SEARCH_SCRIPT -->
<style>
.docstyle
{
font-size: 8pt;
font-family: verdana,arial,sans-serif;
}
</style>
</head>
<body id="docBody" BGCOLOR="#F8FAFA" style="color: Black; margin:5px 0px 0px 0px;" onload="DocOnLoad()" onresize="resizeSearch()">
<div align="center" style="margin: 3 5 15 3;">
<span style="font-size: 8pt; font-family: verdana,arial,sans-serif; font-weight: bold; color: #314860; text-decoration: none; background-color: #FFFFFF; padding: 1px 3px 1px 3px; border: solid 1px #96BCD6;">Search</span>
|
<span style="cursor: pointer; font-size: 8pt; font-family: verdana,arial,sans-serif; color: #314860; text-decoration: none; background-color: #FFFFFF; padding: 1px 3px 1px 3px; border: solid 1px #96BCD6;" onclick="javascript:location='ix.htm';">Index</span>
</div>
<!-- BEGIN_SEARCH_FORM -->
<script language="javascript">
<!--
function SearchForWords() {
DoSearch(document.getElementById("searchdata1").value, document.getElementById("searchdata2").value, document.getElementById("searchdata3").value, document.getElementById("searchdata4").checked, "right");}
function KeyDownEvent(event) {
if ((event.which && event.which==13) || (event.keyCode && event.keyCode==13)) {
SearchForWords(); return(false); } else return(true); }
-->
</script>
<div style="margin: 11px 0px 0px 0px; padding: 0px 5px 0px 5px;">
<span class="docstyle">All of these words:</span>
<input type="text" id="searchdata2" class="docstyle" style="width:100%; margin: 0px 0px 5px 0px;"
onKeyDown="javascript:return(KeyDownEvent(event));"><br>
<span class="docstyle">Any of these words:</span>
<input type="text" id="searchdata1" class="docstyle" style="width:100%; margin: 0px 0px 5px 0px;"
onKeyDown="javascript:return(KeyDownEvent(event));"><br>
<span class="docstyle">None of these words:</span>
<input type="text" id="searchdata3" class="docstyle" style="width:100%; margin: 0px 0px 5px 0px;"
onKeyDown="javascript:return(KeyDownEvent(event));"><br>
<input type="checkbox" id="searchdata4"
value="1"><span class="docstyle">Partial word matching</span><br>
<br><input type="button" class="docstyle" name="searchbutton"
value="Search" style="width:150" onclick="javascript:SearchForWords();">
</div>
<div style="margin: 5px 0px 0px 0px; padding: 0px 5px 0px 5px;">
<form name="searchform" style="margin: 0px 0px 0px 0px; padding: 0px 0px 0px 0px;">
<select class="docstyle" id="searchcontainer" name="SearchResultList"
style="width:200; height:200; border-color:#80A0BE;"
size="50" onchange="javascript:OpenResultListDoc()"></select>
</form>
</div>
<!-- END_SEARCH_FORM -->
<div id="DivFooter" style="white-space: nowrap; padding: 5px 0px 5px 5px;">
<font style="font-family: Verdana, Arial, Helvetica; font-size: 8pt"><a href="GetStart/All/legal.htm" target="right">Copyright © 2009</a><br> <a
href="http://emergent.net/" target="_blank">Emergent Game Technologies, Inc.</a></font><br>
</div>
</body>
</html>