<?xml version="1.0"?>
<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">
-<head>
-<title>Moogle</title>
-<style>
- div.resultsbar {
- background-color: #e5ecf9;
- border-top: solid;
- border-width: thin;
- border-color: #3366cc;
- }
- div.bottombar {
- background-color: #e5ecf9;
- border-top: solid;
- border-bottom: solid;
- border-width: thin;
- border-color: #3366cc;
- text-align: center;
- }
- td.left { text-align: left }
- td.right { text-align: right }
- b.error { color: red }
- b.query_kind { font-size: large }
- body { font-family: sans-serif }
- span.uri { color: blue; }
-</style>
+ <head>
+ <title>Moogle</title>
+ <style>
+ div.resultsbar {
+ background-color: #e5ecf9;
+ border-top: solid;
+ border-width: thin;
+ border-color: #3366cc;
+ }
+ div.bottombar {
+ background-color: #e5ecf9;
+ border-top: solid;
+ border-bottom: solid;
+ border-width: thin;
+ border-color: #3366cc;
+ text-align: center;
+ }
+ table.interp {
+ border-collapse: collapse;
+ border-top: solid;
+ border-width: 1pt;
+ }
+ tr.interp {
+ border-bottom: solid;
+ border-width: 1pt;
+ }
+ td.left { text-align: left }
+ td.right { text-align: right }
+ b.error { color: red }
+ b.query_kind { font-size: large }
+ body {
+ font-family: sans-serif;
+ background-color: #ffffff;
+ }
+ span.uri { color: blue; }
+ span.invisible { color: #e5ecf9; }
+ </style>
</head>
-<body bgcolor="#ffffff">
-<helm:uwobo_form>
- <helm:hidden_params />
- <input type="hidden" name="advanced" value="@ADVANCED@"/>
- <input type="hidden" name="keys" value="S,T1,T2,L,RT,E"/>
- <table cellspacing="0" cellpadding="0">
- <tr valign="middle">
- <td><img src="@SEARCH_ENGINE_URL@/getpage?url=moogle_small.png" alt="moogle" /></td>
- <td>  </td>
- <td align="center">
- <input maxLength="256" size="45" name="param.expression" value="@EXPRESSION@" />
- </td>
- <td>
- <input type="submit" value="locate" name="param.action" />
- <input type="submit" value="hint" name="param.action" />
- <input type="submit" value="match" name="param.action" />
- <input type="submit" value="elim" name="param.action" />
- </td>
- <td>   </td>
- <td>
- <font size="-2">
- <a href="@SEARCH_ENGINE_URL@/getpage?url=moogle_help.html">Help</a><br />
- <a href="@SEARCH_ENGINE_URL@/getpage?url=moogle_syntax.html">Input Syntax</a>
- </font>
- </td>
- </tr>
- <br />
-<!--
- <tr>
- <td colspan="2" />
- <td align="center">
- <font size="-1">
- <input type="radio" name="param.advanced" value="no" @SIMPLE_CHECKED@ />
- <label>Simple search</label>
- <input type="radio" name="param.advanced" value="yes" @ADVANCED_CHECKED@ />
- <label>Advanced search</label>
- </font>
- </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'>
+ <body>
+ <helm:uwobo_form>
+ <helm:hidden_params/>
+ <input type="hidden" name="advanced" value="@ADVANCED@"/>
+ <input type="hidden" name="keys" value="S,T1,T2,L,RT,E"/>
+ <table cellspacing="0" cellpadding="0">
+ <tr valign="middle">
+ <td><img src="@SEARCH_ENGINE_URL@/getpage?url=moogle_small.png" alt="moogle"/></td>
+ <td>  </td>
+ <td align="center">
+ <input maxLength="256" size="45" name="param.expression" value="@EXPRESSION@"/>
+ </td>
+ <td>
+ <input type="submit" value="locate" name="param.action"/>
+ <input type="submit" value="hint" name="param.action"/>
+ <input type="submit" value="match" name="param.action"/>
+ <input type="submit" value="elim" name="param.action"/>
+ </td>
+ <td>   </td>
+ <td>
+ <font size="-2">
+ <a href="@SEARCH_ENGINE_URL@/getpage?url=moogle_help.html">Help</a><br/>
+ <a href="@SEARCH_ENGINE_URL@/getpage?url=moogle_syntax.html">Input Syntax</a>
+ </font>
+ </td>
+ </tr>
+ <br/>
+ <!--
+ <tr>
+ <td colspan="2" />
+ <td align="center">
+ <font size="-1">
+ <input type="radio" name="param.advanced" value="no" @SIMPLE_CHECKED@ />
+ <label>Simple search</label>
+ <input type="radio" name="param.advanced" value="yes" @ADVANCED_CHECKED@ />
+ <label>Advanced search</label>
+ </font>
+ </td>
+ <td colspan="2" />
+ </tr>
+ -->
+ </table>
+ </helm:uwobo_form>
+ <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/>
+ <!-- MOZILLA SEARCH PLUGIN: BEGIN LIST -->
+ <div>
+ @RESULTS@
+ </div>
+ <!-- MOZILLA SEARCH PLUGIN: END LIST -->
+ <div class="bottombar">
Page: @PREV_LINK@ <b>@PAGE@/@PAGES@</b> @NEXT_LINK@
</div>
-</font>
-</body>
+ </body>
</html>
-
projects / helm.git / blobdiff