X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FsearchEngine%2Fhtml%2Fmoogle.html;h=a128cef492ecd1d48c8216de2d22847e7e6a4cd2;hb=eac74259f5a0aaa8056791876284c897a6827c24;hp=dd64296346296e7299a2c73efcb4a08801963fa5;hpb=aeac77539da374b9c9a0f3aae1c7b43963c9dab9;p=helm.git
diff --git a/helm/searchEngine/html/moogle.html b/helm/searchEngine/html/moogle.html
index dd6429634..a128cef49 100644
--- a/helm/searchEngine/html/moogle.html
+++ b/helm/searchEngine/html/moogle.html
@@ -9,11 +9,20 @@
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;
+ }
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 }
+ span.uri { color: blue; }
@@ -63,6 +72,11 @@
@RESULTS@
+
+
+ Page: @PREV_LINK@ @PAGE@/@PAGES@ @NEXT_LINK@
+
+