]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/moogle_querybar.html.src
generate HTML templates using XSLT starting from a bunch of .src files
[helm.git] / helm / searchEngine / html / moogle_querybar.html.src
diff --git a/helm/searchEngine/html/moogle_querybar.html.src b/helm/searchEngine/html/moogle_querybar.html.src
new file mode 100644 (file)
index 0000000..7a5110a
--- /dev/null
@@ -0,0 +1,15 @@
+<?xml version="1.0"?>
+<helm:content
+  xmlns:helm="http://www.cs.unibo.it/helm"
+  xmlns="http://www.w3.org/1999/xhtml"
+>
+  <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 />
+</helm:content>