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

diff --git a/matita/matita/contribs/lambdadelta/bin/roles/roles.css b/matita/matita/contribs/lambdadelta/bin/roles/roles.css
index c972978ce..ecb9a078c 100644
--- 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 {
 }