X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FsearchEngine%2Fhtml%2Fmoogle.html;h=a128cef492ecd1d48c8216de2d22847e7e6a4cd2;hb=eac74259f5a0aaa8056791876284c897a6827c24;hp=3c76f8b852ccf66be7acd05ed9a3fe28aaf403b5;hpb=5cb2fa1e3e6f5d9d7a273b45c56a6c1196982c4a;p=helm.git diff --git a/helm/searchEngine/html/moogle.html b/helm/searchEngine/html/moogle.html index 3c76f8b85..a128cef49 100644 --- a/helm/searchEngine/html/moogle.html +++ b/helm/searchEngine/html/moogle.html @@ -22,6 +22,7 @@ b.error { color: red } b.query_kind { font-size: large } body { font-family: sans-serif } + span.uri { color: blue; }