From fdf2f441d2c82e3b14fa19c366610d367fb1e4fb Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Thu, 2 Feb 2006 22:24:00 +0000
Subject: [PATCH] fix

---
 helm/www/matita/style.css | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

diff --git a/helm/www/matita/style.css b/helm/www/matita/style.css
index 19a0a0935..48aaf686b 100644
--- a/helm/www/matita/style.css
+++ b/helm/www/matita/style.css
@@ -1,13 +1,13 @@
 body {
   font-family: sans-serif;
-  font-size: 14pt;
+  font-size: 12pt;
 
   margin-left: 20px;
 }
 
 span.h1 {
   font-family: sans-serif;
-  font-size: 18pt;
+  font-size: 16pt;
 
   color: #808080;
   
@@ -48,23 +48,31 @@ a.upmenu {
 a.upmenu:hover { 
   color: #591622;	
   text-decoration : none;
+  /*
   border-bottom-width: 3px;
   border-color: #b2dae6;
+  */
+  background-color: #ecf6f9;
+
 }
 
 a {
+  margin: 2px;
   color: #591622;
   text-decoration : none;
 }
 
 a:hover {
   text-decoration : none;
+  /*
   border-bottom-width: 2px;
   border-top-width: 0px;
   border-left-width: 0px;
   border-right-width: 0px;
   border-style: solid;
   border-color: #b2dae6;
+  */
+  background-color: #ecf6f9;
 }
 
 div.upmenu {
-- 
2.39.2