X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fcss%2Flddl.css;h=6db5f68431d2b2604d53a8d292c393400b97012e;hb=892b9ab8872169eaa596a5415f499ee7608cad67;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..6db5f6843 100644
--- a/helm/www/lambdadelta/css/lddl.css
+++ b/helm/www/lambdadelta/css/lddl.css
@@ -1,43 +1,60 @@
 @charset "UTF-8";
 
+/* objects ******************************************************************/
+
+.emph {
+  font-weight: bold;
+  font-size: medium;
+}
+
 /* 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;
 }