update in binaries 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 ecb9a078cfd4ae2c4a6938d2a6d2d3fe8d536cf9..80db3a4c35265c8193df4f74b2f2f1b20ff7e127 100644 (file)
--- 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;
 }