]> matita.cs.unibo.it Git - helm.git/blob - helm/searchEngine/html/moogle_init.html
look and feel improvements
[helm.git] / helm / searchEngine / html / moogle_init.html
1 <?xml version="1.0"?>
2 <html xmlns="http://www.w3.org/1999/xhtml" xmlns:ht="http://www.cs.unibo.it/helm/namespaces/helm-theory" xmlns:helm="http://www.cs.unibo.it/helm" xml:lang="en" lang="en">
3 <head>
4 <title>Moogle</title>
5 <style>
6   body { font-family: sans-serif }
7 </style>
8 </head>
9 <body bgcolor="#ffffff">
10 <center>
11 <table border="0" cellspacing="0" cellpadding="0">
12 <tr>
13 <td><img src="@SEARCH_ENGINE_URL@/getpage?url=moogle.png" alt="moogle" /></td></tr>
14 </table>
15 <br />
16 <helm:uwobo_form>
17   <helm:hidden_params />
18   <input type="hidden" name="advanced" value="@ADVANCED@"/>
19   <input type="hidden" name="keys" value="S,T1,T2,L,RT,E"/>
20   <table cellspacing="0" cellpadding="0">
21   <tr valign="middle"><td width="25%"> </td>
22   <td align="center">
23   <input maxLength="256" size="55" name="param.expression" value="" />
24   <br />
25   <input type="submit" value="locate" name="param.action" />
26   <input type="submit" value="hint" name="param.action" />
27   <input type="submit" value="match" name="param.action" />
28   <input type="submit" value="elim" name="param.action" />
29   </td>
30   <td valign="top" width="25%">
31    <font size="-2">
32     <a href="@SEARCH_ENGINE_URL@/getpage?url=moogle_help.html">Help</a><br />
33     <a href="@SEARCH_ENGINE_URL@/getpage?url=moogle_syntax.html">Input Syntax</a>
34    </font>
35   </td>
36   </tr>
37 <!--
38   <tr>
39    <td colspan="3" align="center">
40     <font size="-1">
41     <input id="all" type="radio" name="param.advanced" value="no" checked="true" />
42      <label for="all">Simple search</label>
43     <input id="standard" type="radio" name="param.advanced" value="yes" />
44      <label for="standard">Advanced search</label>
45     </font>
46    </td>
47    </tr>
48 -->
49   </table>
50 </helm:uwobo_form>
51 </center>
52 <font size="-1">
53 @RESULTS@
54 </font>
55 </body>
56 </html>
57