From 449c16f3706e9cea27038868c736662866830542 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Fri, 3 Feb 2006 16:30:53 +0000
Subject: [PATCH] fix

---
 helm/www/matita/bottombar.shtml |  4 ++--
 helm/www/matita/style.css       | 12 ++++++++++--
 2 files changed, 12 insertions(+), 4 deletions(-)

diff --git a/helm/www/matita/bottombar.shtml b/helm/www/matita/bottombar.shtml
index fdd490526..c0a399faf 100644
--- 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 cb6227a86..c85733706 100644
--- 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; 
+}
 
-- 
2.39.5