update in binararies for λδ

[helm.git] / matita / matita / contribs / lambdadelta / bin / roles / roles.css

diff --git a/matita/matita/contribs/lambdadelta/bin/roles/roles.css b/matita/matita/contribs/lambdadelta/bin/roles/roles.css
index 80db3a4c35265c8193df4f74b2f2f1b20ff7e127..011a36f088f2820e88c72a417f2ddc099d174509 100644 (file)
--- a/matita/matita/contribs/lambdadelta/bin/roles/roles.css
+++ b/matita/matita/contribs/lambdadelta/bin/roles/roles.css
@@ -113,11 +113,11 @@ a:active {
 }
 
 .object-color {
-  color: deepskyblue;
+  color: blue;
 }
 
 .name-color {
-  color: seagreen;
+  color: teal;
 }
 
 .error-color {