+++ /dev/null
-<?xml version="1.0"?>
-<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">
- <head>
- <title>Moogle</title>
- <style>
- div.resultsbar {
- background-color: #e5ecf9;
- border-top: solid;
- border-width: thin;
- border-color: #3366cc;
- }
- div.bottombar {
- background-color: #e5ecf9;
- border-top: solid;
- border-bottom: solid;
- border-width: thin;
- border-color: #3366cc;
- text-align: center;
- }
- table.interp {
- border-collapse: collapse;
- border-top: solid;
- border-width: 1pt;
- }
- tr.interp {
- border-bottom: solid;
- border-width: 1pt;
- }
- td.left { text-align: left }
- td.right { text-align: right }
- b.error { color: red }
- b.query_kind { font-size: large }
- body {
- font-family: sans-serif;
- background-color: #ffffff;
- }
- span.uri { color: blue; }
- span.invisible { color: #e5ecf9; }
- </style>
-</head>
- <body>
- <helm:uwobo_form>
- <helm:hidden_params/>
- <input type="hidden" name="advanced" value="@ADVANCED@"/>
- <input type="hidden" name="keys" value="S,T1,T2,L,RT,E"/>
- <table cellspacing="0" cellpadding="0">
- <tr valign="middle">
- <td><img src="@SEARCH_ENGINE_URL@/getpage?url=moogle_small.png" alt="moogle"/></td>
- <td>  </td>
- <td align="center">
- <input maxLength="256" size="45" name="param.expression" value="@EXPRESSION@"/>
- </td>
- <td>
- <input type="submit" value="locate" name="param.action"/>
- <input type="submit" value="hint" name="param.action"/>
- <input type="submit" value="match" name="param.action"/>
- <input type="submit" value="elim" name="param.action"/>
- </td>
- <td>   </td>
- <td>
- <font size="-2">
- <a href="@SEARCH_ENGINE_URL@/getpage?url=moogle_help.html">Help</a><br/>
- <a href="@SEARCH_ENGINE_URL@/getpage?url=moogle_syntax.html">Input Syntax</a>
- </font>
- </td>
- </tr>
- <br/>
- <!--
- <tr>
- <td colspan="2" />
- <td align="center">
- <font size="-1">
- <input type="radio" name="param.advanced" value="no" @SIMPLE_CHECKED@ />
- <label>Simple search</label>
- <input type="radio" name="param.advanced" value="yes" @ADVANCED_CHECKED@ />
- <label>Advanced search</label>
- </font>
- </td>
- <td colspan="2" />
- </tr>
- -->
- </table>
- </helm:uwobo_form>
- <div class="resultsbar">
- <table width="100%%">
- <tr>
- <td class="left"><b class="query_kind">@QUERY_KIND@</b></td>
- <td class="right">@QUERY_SUMMARY@</td>
- </tr>
- </table>
- </div><br/>
- <!-- MOZILLA SEARCH PLUGIN: BEGIN LIST -->
- <div>
- @RESULTS@
- </div>
- <!-- MOZILLA SEARCH PLUGIN: END LIST -->
- <div class="bottombar">
- Page: @PREV_LINK@ <b>@PAGE@/@PAGES@</b> @NEXT_LINK@
- </div>
- </body>
-</html>
projects / helm.git / commitdiff