ugliness changes:

[helm.git] / helm / searchEngine / html / moogle_init.html
diff --git a/helm/searchEngine/html/moogle_init.html b/helm/searchEngine/html/moogle_init.html

index af4c26c2685ac6a456606cabc406f242382ec1b8..feddb620c77350bad458df812620c0a3b0e1c529 100644 (file)
--- a/helm/searchEngine/html/moogle_init.html
+++ b/helm/searchEngine/html/moogle_init.html
@@ -2,6 +2,9 @@
  <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>
+  body { font-family: sans-serif }
+</style>
  </head>
  <body bgcolor="#ffffff">
  <center>