X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fcss%2Flddl.css;h=6db5f68431d2b2604d53a8d292c393400b97012e;hb=9a0dc83131e9695ffd4254ff5546817ca431d8c2;hp=dbcb6c81ff6d2cff8118ee37fe8d2da3e163a4fa;hpb=2c4b4aaa6f1490346823a26cba5dd965cab0cd02;p=helm.git

diff --git a/helm/www/lambdadelta/css/lddl.css b/helm/www/lambdadelta/css/lddl.css
index dbcb6c81f..6db5f6843 100644
--- a/helm/www/lambdadelta/css/lddl.css
+++ b/helm/www/lambdadelta/css/lddl.css
@@ -1,48 +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);
+  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, 255);
+  background: rgb(255, 255, 255);
+  color: rgb(0, 0, 255);
+}
+
+.sup {
+  vertical-align: super;
+  font-size: smaller;
 }