fix

diff --git a/helm/matita_homepage/matita.html b/helm/matita_homepage/matita.html
index 229bf9643d0d6aede0000afba55ee17664d41d89..0283ee7359f107f9c0d557b67e9e913eada97cc9 100644 (file)
--- a/helm/matita_homepage/matita.html
+++ b/helm/matita_homepage/matita.html
@@ -4,6 +4,7 @@
  </head>
  <style>
   a {text-decoration:none}
+  img.image{ display: none; }
 
   dl#matitaMap {
        margin-left:auto;