You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

256 lines
6.6 KiB

<!DOCTYPE HTML>
<html><head>
<title>EDKB12WS Reference</title>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
<!-- You can change the fonts, text colors, and styles of your search results with the CSS below -->
<style type="text/css">
.navtitle { font-size: 14pt; font-weight: bold; margin-bottom: 16px; }
.navbar { font-size: 10pt; }
.submit { font-size: 8pt; margin: 0;}
.highlight { background: #FFFF40; }
.searchheading { font-size: 8pt; font-weight: bold; }
.summary { font-size: 8pt; font-style: italic; }
.results { font-size: 8pt;}
.description {font-size: 8pt;}
.context { font-size: 8pt;}
.result_title { font-size: 8pt; font-weight: bold;}
.result_title a:link {color: #330099;}
.result_title a:visited {color: #660066;}
.result_title a:hover {color: #3300ff;}
.suggestion { font-size: 100%; }
.category { color: #999999; }
.sorting { text-align: right; }
.zoom_searchform { font-size: 100%; }
.zoom_results_per_page { font-size: 8pt; margin-left: 10px; }
.zoom_match { font-size: 8pt; margin-left: 10px;}
.zoom_categories { font-size: 80%; }
.zoom_categories ul { display: inline; margin: 0px; padding: 0px;}
.zoom_categories li { display: inline; margin-left: 15px; list-style-type: none; }
input.zoom_button { font-size: 8pt; }
input.zoom_searchbox { font-size: 8pt; }
.result_image { float: left; display: block; }
.result_image img { margin: 10px; width: 80px; border: 0px; }
.result_block { padding-left: 4px; padding-top: 5px; padding-bottom: 15px; clear: left; background-color: white;}
.result_altblock { padding-left: 4px; padding-top: 5px; padding-bottom: 15px; clear: left; background-color: white;}
.result_pages { font-size: 100%; margin-top: 10px; margin-bottom: 10px;}
.result_pagescount { font-size: 100%; margin-bottom: 10px;}
.searchtime { font-size: 80%; }
.recommended
{
background: #DFFFBF;
border-top: 1px dotted #808080;
border-bottom: 1px dotted #808080;
margin-top: 15px;
margin-bottom: 15px;
}
.recommended_heading { float: right; font-weight: bold; }
.recommend_block { margin-top: 15px; margin-bottom: 15px; clear: left; }
.recommend_title { font-size: 100%; }
.recommend_description { font-size: 100%; color: #008000; }
.recommend_infoline { font-size: 80%; font-style: normal; color: #808080;}
a { text-decoration: none; }
html,body {
margin: 0; padding: 0;
height: 100%;
min-height:100%;
background-color: rgb(233,232,220);
font-family: Verdana, Arial, Helvetica, sans-serif;
font-size: medium;
font-style: normal;
font-weight: normal;
color: black;
overflow: hidden;
}
p {
font-size:70%;
padding: 3px;
margin:0;
}
.tabs {
list-style: none;
padding: 0;
margin: 1px 0px 0px 0px;
font-size:70%;
display: block;
width:100%;
}
.tabs li {
float: left;
display: block;
padding: 2px 4px 2px 3px;
margin: 0px;
border-style: none none solid none;
border-width: 1px 1px 1px 1px;
border-color: rgb(172,168,153);
background-color: rgb(233,232,220);
}
li.active-button {
border-style: solid solid none solid;
background-color: rgb(252,252,254);
}
#index {
background-image: url(help_index.gif);
background-repeat: no-repeat;
padding-left: 18px;
background-position: left center;
height:1.5em;
margin: 0px;
display: block;
float: left;
}
#contents {
background-image: url(help_contents.gif);
background-repeat: no-repeat;
padding-left: 18px;
background-position: left center;
height:1.5em;
margin: 0px;
display: block;
float: left;
}
#search {
background-image: url(help_search.gif);
background-repeat: no-repeat;
padding-left: 18px;
background-position: left center;
height:1.5em;
margin: 0px;
display: block;
float: left;
}
#home {
background-image: url(help_home.gif);
background-repeat: no-repeat;
background-position: left center;
height:24px;
width:24px;
margin: 8px;
display: block;
float: right;
}
#empty {
height:1.5em;
margin: 0px;
display: block;
}
.space-line {
background-color: rgb(252,252,254);
height:2px;
line-height: 1px;
font-size: 1px;
padding: 0;
margin: 0;
clear:both;
}
.tabs li a{
display: block;
float: left;
}
a:link, a:visited {
color: #716f64;
text-decoration: none;
}
a:hover {
color: #716f64;
text-decoration: underline;
}
.box-top {
border-style: solid solid solid solid;
border-color: rgb(172,168,153);
border-width: 1px 1px 0px 1px;
margin:0;
padding:0;
}
.box-rest {
border-style: solid solid solid solid;
border-color: rgb(172,168,153);
border-width: 0px 1px 1px 1px;
margin:0;
padding:0;
padding-left: 5px;
padding-right: 5px;
height:85%;
overflow: auto;
}
</style>
<script type="text/javascript">
window.onload = resizeBox;
window.onresize = resizeBox;
var alreadyResizing = false;
function resizeBox() {
if (!alreadyResizing) {
alreadyResizing = true;
var box = document.getElementById("main-box");
var h = document.body.clientHeight - box.offsetTop - 2;
box.style.height = h + "px";
}
alreadyResizing = false;
}
</script>
</head>
<body>
<a id="home" href="" target="_top" title="Home"></a>
<p class="navtitle">EDKB12WS Reference</p>
<div>
<ul class="tabs">
<li>
<a id="contents" title="Show Table of Contents" href="edkb12ws_content.htm">Contents</a></li>
<li>
<a id="index" title="Show Index" href="edkb12ws_kwindex.htm">Index</a></li>
<li class="active-button">
<div id="search">
Search
</div></li>
<li style="float:none;">
<div id="empty">
&nbsp;
</div></li>
</ul>
</div>
<div class="space-line">
&nbsp;
</div>
<div class="box-top"></div>
<div id="main-box" class="box-rest">
<p class="submit">Enter one or more keywords to search ('*' and '?' wildcards are supported):</p>
<!-- This is where the search form and results will appear -->
<div id="loadingmsg" align="center"><img src="cicon_loadindex_ani.gif" style="border:none" alt="Loading..." /></div>
<script type="text/javascript" src="settings.js" charset="UTF-8"></script>
<script type="text/javascript" src="zoom_search.js"></script>
<script type="text/javascript">ZoomSearch();</script>
<noscript>
<p>You must have JavaScript enabled to use this version of the search engine.</p>
</noscript>
</div>
<script type="text/javascript">
resizeBox();
</script>
</body>
</html>