web site update

[helm.git] / helm / www / lambdadelta / css / lddl.css

diff --git a/helm/www/lambdadelta/css/lddl.css b/helm/www/lambdadelta/css/lddl.css
index 41a635d457238bcbe56b88e043d7ae8eef7be92c..6db5f68431d2b2604d53a8d292c393400b97012e 100644 (file)
--- 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;
 }