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   div.bottombar {
  13     background-color: #e5ecf9;
  14     border-top: solid;
  15     border-bottom: solid;
  16     border-width: thin;
  17     border-color: #3366cc;
  18     text-align: center;
  19   }
  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 </style>
  26 </head>
  27 <body bgcolor="#ffffff">
  28 <helm:uwobo_form>
  29   <helm:hidden_params />
  30   <input type="hidden" name="advanced" value="@ADVANCED@"/>
  31   <input type="hidden" name="keys" value="S,T1,T2,L,RT,E"/>
  32   <table cellspacing="0" cellpadding="0">
  33   <tr valign="middle">
  34   <td><img src="@SEARCH_ENGINE_URL@/getpage?url=moogle_small.png" alt="moogle" /></td>
  35   <td>&#xA0;&#xA0;</td>
  36   <td align="center">
  37   <input maxLength="256" size="45" name="param.expression" value="@EXPRESSION@" />
  38   </td>
  39   <td>
  40   <input type="submit" value="locate" name="param.action" />
  41   <input type="submit" value="hint" name="param.action" />
  42   <input type="submit" value="match" name="param.action" />
  43   <input type="submit" value="elim" name="param.action" />
  44   </td>
  45   <td>&#xA0;&#xA0;&#xA0;</td>
  46   <td>
  47    <font size="-2">
  48     <a href="@SEARCH_ENGINE_URL@/getpage?url=moogle_help.html">Help</a><br />
  49     <a href="@SEARCH_ENGINE_URL@/getpage?url=moogle_syntax.html">Input Syntax</a>
  50    </font>
  51   </td>
  52   </tr>
  53   <tr>
  54   </tr>
  55   <tr>
  56    <td> </td>
  57    <td> </td>
  58    <td align="center">
  59     <font size="-1">
  60     <input type="radio" name="param.advanced" value="no" @SIMPLE_CHECKED@ />
  61     <label>Simple search</label>
  62     <input type="radio" name="param.advanced" value="yes" @ADVANCED_CHECKED@ />
  63     <label>Advanced search</label>
  64     </font>
  65    </td>
  66    <td> </td>
  67    <td> </td>
  68    </tr>
  69   </table>
  70 </helm:uwobo_form>
  71 <font size="-1">
  72 @RESULTS@
  73 </font>
  74 <font size="-1">
  75   <div class='bottombar'>
  76     Page: @PREV_LINK@ <b>@PAGE@/@PAGES@</b> @NEXT_LINK@
  77   </div>
  78 </font>
  79 </body>
  80 </html>
  81