fix

diff --git a/helm/www/matita/style.css b/helm/www/matita/style.css
index 19a0a0935283d8560c4da54e0ed2c2ded04be227..48aaf686bf5435206f660809c242fa7fb1512446 100644 (file)
--- 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 {