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">
7 background-color: #e5ecf9;
10 border-color: #3366cc;
12 td.left { text-align: left }
13 td.right { text-align: right }
14 b.error { color: red }
15 b.query_kind { font-size: large }
16 body { font-family: sans-serif }
19 <body bgcolor="#ffffff">
21 <helm:hidden_params />
22 <input type="hidden" name="advanced" value="@ADVANCED@"/>
23 <input type="hidden" name="keys" value="S,T1,T2,L,RT,E"/>
24 <table cellspacing="0" cellpadding="0">
26 <td><img src="@SEARCH_ENGINE_URL@/getpage?url=moogle_small.png" alt="moogle" /></td>
29 <input maxLength="256" size="45" name="param.expression" value="@EXPRESSION@" />
32 <input type="submit" value="locate" name="param.action" />
33 <input type="submit" value="hint" name="param.action" />
34 <input type="submit" value="match" name="param.action" />
35 <input type="submit" value="elim" name="param.action" />
37 <td>   </td>
40 <a href="@SEARCH_ENGINE_URL@/getpage?url=moogle_help.html">Help</a><br />
41 <a href="@SEARCH_ENGINE_URL@/getpage?url=moogle_syntax.html">Input Syntax</a>
52 <input type="radio" name="param.advanced" value="no" @SIMPLE_CHECKED@ />
53 <label>Simple search</label>
54 <input type="radio" name="param.advanced" value="yes" @ADVANCED_CHECKED@ />
55 <label>Advanced search</label>