X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbin%2Froles%2Froles.css;h=011a36f088f2820e88c72a417f2ddc099d174509;hb=2f6f2b7c01d47d23f61dd48d767bcb37aecdcfea;hp=ecb9a078cfd4ae2c4a6938d2a6d2d3fe8d536cf9;hpb=4d3256c98f816a2d2dc7b97557b61364e18d0806;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/bin/roles/roles.css b/matita/matita/contribs/lambdadelta/bin/roles/roles.css
index ecb9a078c..011a36f08 100644
--- a/matita/matita/contribs/lambdadelta/bin/roles/roles.css
+++ b/matita/matita/contribs/lambdadelta/bin/roles/roles.css
@@ -95,6 +95,13 @@ a:active {
 .count {
 }
 
+.filter {
+}
+
+.hidden {
+  display: none;
+}
+
 .selected {
   border: 1pt solid;
 }
@@ -106,11 +113,11 @@ a:active {
 }
 
 .object-color {
-  color: deepskyblue;
+  color: blue;
 }
 
 .name-color {
-  color: seagreen;
+  color: teal;
 }
 
 .error-color {