user smaller font in result page

[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
index 2100ca24ecdbe3c29b646a461e166fb02950519f..d406b0b79225d46c569e37edfdc1e9be581a7e2e 100644 (file)
--- a/helm/searchEngine/html/moogle_header.html.src
+++ b/helm/searchEngine/html/moogle_header.html.src
@@ -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; }