Patch to make it compile with recent OCaml

[helm.git] / helm / www / matita / bugzilla.css

diff --git a/helm/www/matita/bugzilla.css b/helm/www/matita/bugzilla.css
index 781c603b1bc58ad0cba1ddeed40f43fa4b9b65f7..5638fb0d32e4fbbadd63628e94f8f605a73ae251 100644 (file)
--- a/helm/www/matita/bugzilla.css
+++ b/helm/www/matita/bugzilla.css
@@ -7,5 +7,5 @@ div#page-index .intro
   margin-right: 2.3em;
   float: right;
 
-  background: transparent no-repeat url(http://matita.cs.unibo.it/images/matita-bugs.png);
+  background: transparent no-repeat url(http://matita.cs.unibo.it/images/matita-medium.png);
 }