]> 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 dd64296346296e7299a2c73efcb4a08801963fa5..a128cef492ecd1d48c8216de2d22847e7e6a4cd2 100644 (file)
@@ -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; }
 </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>