]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/moogle_header.html.src
ocaml 3.09 transition
[helm.git] / helm / searchEngine / html / moogle_header.html.src
index 2100ca24ecdbe3c29b646a461e166fb02950519f..a788d1f6dbb480b94f8f03c42f3cd15cb8244ece 100644 (file)
@@ -4,7 +4,7 @@
   xmlns="http://www.w3.org/1999/xhtml"
 >
 <head>
-  <title>Moogle</title>
+  <title>Whelp search</title>
   <style>
     div.resultsbar {
       background-color: #e5ecf9;
@@ -35,6 +35,7 @@
     b.query_kind { font-size: large }
     body {
       font-family: sans-serif;
+      font-size: smaller;
       background-color: #ffffff;
     }
     span.uri { color: blue; }