X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fcss%2Flddl.css;h=48a2ba4d8cb89843ddc21c4e4c984a95b73eaa8e;hb=21e21b3b061807035bbd18d29d7a4fd8086ca10d;hp=41a635d457238bcbe56b88e043d7ae8eef7be92c;hpb=2a5e0b799cd6aae5d920c67a5ddc9d9888cf7e80;p=helm.git

diff --git a/helm/www/lambdadelta/css/lddl.css b/helm/www/lambdadelta/css/lddl.css
index 41a635d45..48a2ba4d8 100644
--- a/helm/www/lambdadelta/css/lddl.css
+++ b/helm/www/lambdadelta/css/lddl.css
@@ -3,41 +3,51 @@
 /* terms ********************************************************************/
 
 .separator {
-   background: rgb(255, 255, 255); 
-   color: rgb(0, 0, 0);
+  background: rgb(255, 255, 255);
+  color: rgb(0, 0, 0);
 }
 
 .sort {
-   background: rgb(255, 255, 255); 
-   color: rgb(128, 0, 255);
+  background: rgb(255, 255, 255);
+  color: rgb(128, 0, 255);
 }
 
 .lref {
-   background: rgb(255, 255, 255); 
-   color: rgb(0, 0, 0);
+  background: rgb(255, 255, 255);
+  color: rgb(0, 0, 0);
 }
 
 .gref {
-   background: rgb(255, 255, 255); 
-   color: rgb(0, 0, 255);
+  background: rgb(255, 255, 255);
+  color: rgb(0, 0, 255);
 }
 
 .appl {
-   background: rgb(255, 255, 255); 
-   color: rgb(0, 0, 0);
+  background: rgb(255, 255, 255);
+  color: rgb(0, 0, 0);
 }
 
 .cast {
-   background: rgb(255, 255, 255); 
-   color: rgb(255, 0, 0);
+  background: rgb(255, 255, 255);
+  color: rgb(255, 0, 0);
+}
+
+.proj {
+  background: rgb(255, 255, 255);
+  color: rgb(192, 120, 0);
 }
 
 .local {
-   background: rgb(255, 255, 255); 
-   color: rgb(0, 160, 0);
+  background: rgb(255, 255, 255);
+  color: rgb(0, 160, 0);
 }
 
 .global {
-   background: rgb(255, 255, 255); 
-   color: rgb(0, 0, 0);
+  background: rgb(255, 255, 255);
+  color: rgb(0, 0, 255);
+}
+
+.sup {
+  vertical-align: super;
+  font-size: smaller;
 }