moved matita-bugs.ong -> matita-medium.png

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);
 }

diff --git a/helm/www/matita/images/matita-bugs.png b/helm/www/matita/images/matita-bugs.png
deleted file mode 100644 (file)
index b91dfa9..0000000
Binary files a/helm/www/matita/images/matita-bugs.png and /dev/null differ

diff --git a/helm/www/matita/images/matita-medium.png b/helm/www/matita/images/matita-medium.png
new file mode 100644 (file)
index 0000000..b91dfa9
Binary files /dev/null and b/helm/www/matita/images/matita-medium.png differ