summaryrefslogtreecommitdiff
path: root/docs/html/search.html
blob: d5cd8c0e03d44868f54c31b2f5956b7c6530faba (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/1999/REC-html401-19991224/loose.dtd">
<html>
<head>
<link rel="StyleSheet" type="text/css" href="fpdoc.css">
<meta http-equiv="content-type" content="text/html; charset=iso-8859-1">
<title>Search the HTML documentation</title>
<script language="JavaScript1.3" type="text/javascript" src="tip_form.js"></script>
</head>

<body class="navigationframe">

<h2>Search the documentation</h2>
<table class="navigation wide_list">
  <tr><td><form name="tip_Form" onsubmit="search_form(tip_Form);return false">
    <input type="text" id="search_text" name="d">
    <input type="submit" id="search_submit_button" value="Search">
    </form>
    </td></tr>
</table>

</body>
</html>