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     table.interp {
  21       border-collapse: collapse;
  22       border-top: solid;
  23       border-width: 1pt;
  24     }
  25     tr.interp {
  26       border-bottom: solid;
  27       border-width: 1pt;
  28     }
  29     td.left { text-align: left }
  30     td.right { text-align: right }
  31     b.error { color: red }
  32     b.query_kind { font-size: large }
  33     body {
  34       font-family: sans-serif;
  35       background-color: #ffffff;
  36     }
  37     span.uri { color: blue; }
  38     span.invisible { color: #e5ecf9; }
  39   </style>
  40 </head>
  41   <body>
  42     <helm:uwobo_form>
  43     <helm:hidden_params/>
  44     <input type="hidden" name="advanced" value="@ADVANCED@"/>
  45     <input type="hidden" name="keys" value="S,T1,T2,L,RT,E"/>
  46     <table cellspacing="0" cellpadding="0">
  47       <tr valign="middle">
  48         <td><img src="@SEARCH_ENGINE_URL@/getpage?url=moogle_small.png" alt="moogle"/></td>
  49         <td>&#xA0;&#xA0;</td>
  50         <td align="center">
  51           <input maxLength="256" size="45" name="param.expression" value="@EXPRESSION@"/>
  52         </td>
  53         <td>
  54           <input type="submit" value="locate" name="param.action"/>
  55           <input type="submit" value="hint" name="param.action"/>
  56           <input type="submit" value="match" name="param.action"/>
  57           <input type="submit" value="elim" name="param.action"/>
  58         </td>
  59         <td>&#xA0;&#xA0;&#xA0;</td>
  60         <td>
  61           <font size="-2">
  62             <a href="@SEARCH_ENGINE_URL@/getpage?url=moogle_help.html">Help</a><br/>
  63             <a href="@SEARCH_ENGINE_URL@/getpage?url=moogle_syntax.html">Input Syntax</a>
  64           </font>
  65         </td>
  66       </tr>
  67       <br/>
  68       <!--
  69       <tr>
  70         <td colspan="2" />
  71         <td align="center">
  72           <font size="-1">
  73             <input type="radio" name="param.advanced" value="no" @SIMPLE_CHECKED@ />
  74             <label>Simple search</label>
  75             <input type="radio" name="param.advanced" value="yes" @ADVANCED_CHECKED@ />
  76             <label>Advanced search</label>
  77           </font>
  78         </td>
  79         <td colspan="2" />
  80       </tr>
  81       -->
  82     </table>
  83   </helm:uwobo_form>
  84     <div class="resultsbar">
  85     <table width="100%%">
  86       <tr>
  87         <td class="left"><b class="query_kind">@QUERY_KIND@</b></td>
  88         <td class="right">@QUERY_SUMMARY@</td>
  89       </tr>
  90     </table>
  91   </div><br/>
  92     <!-- MOZILLA SEARCH PLUGIN: BEGIN LIST -->
  93     <div>
  94       @RESULTS@
  95     </div>
  96     <!-- MOZILLA SEARCH PLUGIN: END LIST -->
  97     <div class="bottombar">
  98     Page: @PREV_LINK@ <b>@PAGE@/@PAGES@</b> @NEXT_LINK@
  99   </div>
 100   </body>
 101 </html>