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   span.uri { color: blue; }
  26 </style>
  27 </head>
  28 <body bgcolor="#ffffff">
  29 <helm:uwobo_form>
  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">
  34   <tr valign="middle">
  35   <td><img src="@SEARCH_ENGINE_URL@/getpage?url=moogle_small.png" alt="moogle" /></td>
  36   <td>&#xA0;&#xA0;</td>
  37   <td align="center">
  38   <input maxLength="256" size="45" name="param.expression" value="@EXPRESSION@" />
  39   </td>
  40   <td>
  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" />
  45   </td>
  46   <td>&#xA0;&#xA0;&#xA0;</td>
  47   <td>
  48    <font size="-2">
  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>
  51    </font>
  52   </td>
  53   </tr>
  54   <tr>
  55   </tr>
  56   <tr>
  57    <td> </td>
  58    <td> </td>
  59    <td align="center">
  60     <font size="-1">
  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>
  65     </font>
  66    </td>
  67    <td> </td>
  68    <td> </td>
  69    </tr>
  70   </table>
  71 </helm:uwobo_form>
  72 <font size="-1">
  73 @RESULTS@
  74 </font>
  75 <font size="-1">
  76   <div class='bottombar'>
  77     Page: @PREV_LINK@ <b>@PAGE@/@PAGES@</b> @NEXT_LINK@
  78   </div>
  79 </font>
  80 </body>
  81 </html>
  82