fix

diff --git a/helm/www/matita/bottombar.shtml b/helm/www/matita/bottombar.shtml
index fdd4905263da6432acaf2293b1d8f3d4992ca2e9..c0a399fafa7d166126f4eee80540f9abc11881e7 100644 (file)
--- a/helm/www/matita/bottombar.shtml
+++ b/helm/www/matita/bottombar.shtml
@@ -2,10 +2,10 @@
   <tr>
     <td>
       <a class="quiet" href="http://validator.w3.org/check/referer">
-       <img alt="Valid XHTML 1.0!" src="images/valid-xhtml10.png" width="88" height="31" />
+       <img class="quiet" alt="Valid XHTML 1.0!" src="images/valid-xhtml10.png" width="88" height="31" />
       </a>
       <a class="quiet" href="http://jigsaw.w3.org/css-validator/">
-       <img alt="Valid CSS" src="images/valid-css.png" width="88" height="31" />
+       <img class="quiet" alt="Valid CSS" src="images/valid-css.png" width="88" height="31" />
       </a>
     </td>
 

diff --git a/helm/www/matita/style.css b/helm/www/matita/style.css
index cb6227a86bdb3829850b40f3f746f1c7c9a725a6..c85733706da9621e0b6897c33f3d471117ffd669 100644 (file)
--- a/helm/www/matita/style.css
+++ b/helm/www/matita/style.css
@@ -82,6 +82,14 @@ div.upmenu {
   margin-bottom: 40px;
 }
 
-a.quiet:link,visited { color: Background; }
-a.quiet:visited { color: Background; }
+a.quiet:link,visited { 
+  color: Background; 
+}
+a.quiet:visited { 
+  color: Background; 
+}
+img.quiet:link,visited { 
+  border-style:none; 
+  color: Background; 
+}