helm/searchEngine/html/moogle.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   div.resultsbar {
   7     background-color: #e5ecf9;
   8     border-top: solid;
   9     border-width: thin;
  10     border-color: #3366cc;
  11   }
  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 }
  17 </style>
  18 </head>
  19 <body bgcolor="#ffffff">
  20 <helm:uwobo_form>
  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">
  25   <tr valign="middle">
  26   <td><img src="@SEARCH_ENGINE_URL@/getpage?url=moogle_small.png" alt="moogle" /></td>
  27   <td>&#xA0;&#xA0;</td>
  28   <td align="center">
  29   <input maxLength="256" size="45" name="param.expression" value="@EXPRESSION@" />
  30   </td>
  31   <td>
  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" />
  36   </td>
  37   <td>&#xA0;&#xA0;&#xA0;</td>
  38   <td>
  39    <font size="-2">
  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>
  42    </font>
  43   </td>
  44   </tr>
  45   <tr>
  46   </tr>
  47   <tr>
  48    <td> </td>
  49    <td> </td>
  50    <td align="center">
  51     <font size="-1">
  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>
  56     </font>
  57    </td>
  58    <td> </td>
  59    <td> </td>
  60    </tr>
  61   </table>
  62 </helm:uwobo_form>
  63 <font size="-1">
  64 @RESULTS@
  65 </font>
  66 </body>
  67 </html>
  68