fix

[helm.git] / helm / www / matita / style.css

diff --git a/helm/www/matita/style.css b/helm/www/matita/style.css
index 19a0a0935283d8560c4da54e0ed2c2ded04be227..c85733706da9621e0b6897c33f3d471117ffd669 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 {
@@ -74,3 +82,14 @@ div.upmenu {
   margin-bottom: 40px;
 }
 
+a.quiet:link,visited { 
+  color: Background; 
+}
+a.quiet:visited { 
+  color: Background; 
+}
+img.quiet:link,visited { 
+  border-style:none; 
+  color: Background; 
+}
+