]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/moogle.html
ugliness changes:
[helm.git] / helm / searchEngine / html / moogle.html
index f608b9d28a0544ec83d92177c01affc569bdf669..dd64296346296e7299a2c73efcb4a08801963fa5 100644 (file)
@@ -2,6 +2,19 @@
 <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;
+  }
+  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 }
+</style>
 </head>
 <body bgcolor="#ffffff">
 <helm:uwobo_form>
    <td> </td>
    <td align="center">
     <font size="-1">
-    <input id="all" type="radio" name="param.advanced" value="no" checked="true" />
-     <label for="all">Simple search</label>
-    <input id="standard" type="radio" name="param.advanced" value="yes" />
-     <label for="standard">Advanced search</label>
+    <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> </td>
@@ -47,7 +60,6 @@
    </tr>
   </table>
 </helm:uwobo_form>
-<hr />
 <font size="-1">
 @RESULTS@
 </font>