]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/moogle.html
- changed license to lgpl
[helm.git] / helm / searchEngine / html / moogle.html
index 862e425b6f00d4ec3d1c0ebfbd171058f793cf1e..a128cef492ecd1d48c8216de2d22847e7e6a4cd2 100644 (file)
@@ -22,6 +22,7 @@
   b.error { color: red }
   b.query_kind { font-size: large }
   body { font-family: sans-serif }
+  span.uri { color: blue; }
 </style>
 </head>
 <body bgcolor="#ffffff">
 <font size="-1">
 @RESULTS@
 </font>
+<font size="-1">
+  <div class='bottombar'>
+    Page: @PREV_LINK@ <b>@PAGE@/@PAGES@</b> @NEXT_LINK@
+  </div>
+</font>
 </body>
 </html>