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=c972978cecd8632fa846b16944b98e18214d529b;hp=768c9afb269318ebc859542deac2fcab9ed0c910;hb=cfccf434a57e10848d74d06674af4ec9cef0f0ca;hpb=7666f9dddfcaca5671dd25d3cd2095481968c7bf

diff --git a/matita/matita/contribs/lambdadelta/bin/roles/roles.css b/matita/matita/contribs/lambdadelta/bin/roles/roles.css
index 768c9afb2..c972978ce 100644
--- a/matita/matita/contribs/lambdadelta/bin/roles/roles.css
+++ b/matita/matita/contribs/lambdadelta/bin/roles/roles.css
@@ -25,12 +25,67 @@ a:active {
   color: inherit;
 }
 
-/* layouts ******************************************************************/
+/* headings layouts *********************************************************/
+
+.head {
+  font-size: 2em;
+  font-weight: bold;
+  margin: 0.67em 0;
+  text-align: center;
+}
+
+.error {
+  margin-top: 1em;
+}
+
+/* button layouts ***********************************************************/
+
+.buttons {
+  padding-bottom: 1em;
+/*  border-bottom: 1px solid black; */
+  margin: 1em 0;
+}
+
+.button {
+  padding: 0.25em 0.5em;
+  border: 1px solid black;
+  margin-right: 1em;
+}
+
+/* status layouts ***********************************************************/
+
+.stage {
+  padding-bottom: 0.75em;
+}
+
+.roles-head {
+  height: 36ex;
+  overflow-y: auto;
+  padding: 1em 0;
+  margin-bottom: 1em;
+  border-bottom: 1px solid black;
+  border-top: 1px solid black;
+}
+
+.role {
+  margin: 0.5em 0.5em;
+  padding: 0.25em 0.25em;
+}
+
+.roles {
+  display: none;
+  border-left: 2em solid white;
+}
+
+.roles:target {
+  display: block;
+}
 
 .atoms-head {
 }
 
-.count {
+.atoms-table {
+  border-spacing: 0.25em;
 }
 
 .atoms {
@@ -39,19 +94,30 @@ a:active {
 }
 
 .atom {
-  padding: 0.25em 0.5em;
+  padding: 0.25em 0.25em;
+}
+
+.count {
 }
 
 .selected {
-  border: 1pt dotted;
+  border: 1pt solid;
 }
 
 /* colors *******************************************************************/
 
-.object {
-  color: skyblue;
+.role-color {
+  color: darkviolet;
+}
+
+.object-color {
+  color: deepskyblue;
+}
+
+.name-color {
+  color: seagreen;
 }
 
-.name {
-  color: darkseagreen;
+.error-color {
+  color: red;
 }