]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/moogle.html
added URI printing in the result page (so that mouse-over is not the
[helm.git] / helm / searchEngine / html / moogle.html
index 3c76f8b852ccf66be7acd05ed9a3fe28aaf403b5..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">