daemons tamed

[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

deleted file mode 100644 (file)

index a788d1f..0000000
--- a/helm/searchEngine/html/moogle_header.html.src
+++ /dev/null
@@ -1,45 +0,0 @@
-<?xml version="1.0"?>
-<helm:content
-  xmlns:helm="http://www.cs.unibo.it/helm"
-  xmlns="http://www.w3.org/1999/xhtml"
->
-<head>
-  <title>Whelp search</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;
-      font-size: smaller;
-      background-color: #ffffff;
-    }
-    span.uri { color: blue; }
-    span.invisible { color: #e5ecf9; }
-  </style>
-</head>
-</helm:content>