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