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;
13 background-color: #e5ecf9;
17 border-color: #3366cc;
20 td.left { text-align: left }
21 td.right { text-align: right }
22 b.error { color: red }
23 b.query_kind { font-size: large }
24 body { font-family: sans-serif }
25 span.uri { color: blue; }
28 <body bgcolor="#ffffff">
30 <helm:hidden_params />
31 <input type="hidden" name="advanced" value="@ADVANCED@"/>
32 <input type="hidden" name="keys" value="S,T1,T2,L,RT,E"/>
33 <table cellspacing="0" cellpadding="0">
35 <td><img src="@SEARCH_ENGINE_URL@/getpage?url=moogle_small.png" alt="moogle" /></td>
38 <input maxLength="256" size="45" name="param.expression" value="@EXPRESSION@" />
41 <input type="submit" value="locate" name="param.action" />
42 <input type="submit" value="hint" name="param.action" />
43 <input type="submit" value="match" name="param.action" />
44 <input type="submit" value="elim" name="param.action" />
46 <td>   </td>
49 <a href="@SEARCH_ENGINE_URL@/getpage?url=moogle_help.html">Help</a><br />
50 <a href="@SEARCH_ENGINE_URL@/getpage?url=moogle_syntax.html">Input Syntax</a>
61 <input type="radio" name="param.advanced" value="no" @SIMPLE_CHECKED@ />
62 <label>Simple search</label>
63 <input type="radio" name="param.advanced" value="yes" @ADVANCED_CHECKED@ />
64 <label>Advanced search</label>
76 <div class='bottombar'>
77 Page: @PREV_LINK@ <b>@PAGE@/@PAGES@</b> @NEXT_LINK@