]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/moogle.html
renamed Http_client to Http_user_agent to avoid clashes with Gerd's
[helm.git] / helm / searchEngine / html / moogle.html
index dd64296346296e7299a2c73efcb4a08801963fa5..3c76f8b852ccf66be7acd05ed9a3fe28aaf403b5 100644 (file)
@@ -9,6 +9,14 @@
     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 }
 <font size="-1">
 @RESULTS@
 </font>
+<font size="-1">
+  <div class='bottombar'>
+    Page: @PREV_LINK@ <b>@PAGE@/@PAGES@</b> @NEXT_LINK@
+  </div>
+</font>
 </body>
 </html>