X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbin%2Froles%2Froles.css;h=80db3a4c35265c8193df4f74b2f2f1b20ff7e127;hb=59fd7b5ea24e71b47aee069440f140bcccf1292a;hp=c972978cecd8632fa846b16944b98e18214d529b;hpb=cfccf434a57e10848d74d06674af4ec9cef0f0ca;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/bin/roles/roles.css b/matita/matita/contribs/lambdadelta/bin/roles/roles.css
index c972978ce..80db3a4c3 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 {
 }
 
@@ -100,6 +95,13 @@ a:active {
 .count {
 }
 
+.filter {
+}
+
+.hidden {
+  display: none;
+}
+
 .selected {
   border: 1pt solid;
 }