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 c972978cecd8632fa846b16944b98e18214d529b..ecb9a078cfd4ae2c4a6938d2a6d2d3fe8d536cf9 100644 (file)
--- a/matita/matita/contribs/lambdadelta/bin/roles/roles.css
+++ b/matita/matita/contribs/lambdadelta/bin/roles/roles.css
@@ -59,7 +59,7 @@ a:active {
 }
 
 .roles-head {
-  height: 36ex;
+  height: 25vh;
   overflow-y: auto;
   padding: 1em 0;
   margin-bottom: 1em;
@@ -73,14 +73,9 @@ a:active {
 }
 
 .roles {
-  display: none;
   border-left: 2em solid white;
 }
 
-.roles:target {
-  display: block;
-}
-
 .atoms-head {
 }