]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/moogle.html
- re-enginered main moogle template, it is now aware of queries kind, summary,
[helm.git] / helm / searchEngine / html / moogle.html
index a128cef492ecd1d48c8216de2d22847e7e6a4cd2..f1ace2df4f38cd1ec5c7b362ee59bea8059578ca 100644 (file)
    </font>
   </td>
   </tr>
+  <br />
+<!--
   <tr>
-  </tr>
-  <tr>
-   <td> </td>
-   <td> </td>
+   <td colspan="2" />
    <td align="center">
     <font size="-1">
     <input type="radio" name="param.advanced" value="no" @SIMPLE_CHECKED@ />
     <label>Advanced search</label>
     </font>
    </td>
-   <td> </td>
-   <td> </td>
+   <td colspan="2" />
    </tr>
+-->
   </table>
 </helm:uwobo_form>
 <font size="-1">
+<!-- MOZILLA SEARCH PLUGIN: BEGIN LIST -->
+ <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 />
+ <div>
 @RESULTS@
+ </div>
+ <!-- MOZILLA SEARCH PLUGIN: END LIST -->
 </font>
 <font size="-1">
   <div class='bottombar'>