X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fcss%2Fld_web.css;h=a735efdac8b4962fb18103acea43419b2a4c7023;hb=6b2413506392a9e62fdd8c560ab40d98ccc4ba08;hp=16fc502dff8ec4c3eb2ebad4cb6320968dd28e65;hpb=58e83e119ca3829affae2851cd512748131a766b;p=helm.git

diff --git a/helm/www/lambdadelta/css/ld_web.css b/helm/www/lambdadelta/css/ld_web.css
index 16fc502df..a735efdac 100644
--- a/helm/www/lambdadelta/css/ld_web.css
+++ b/helm/www/lambdadelta/css/ld_web.css
@@ -68,11 +68,6 @@ span.emph {
    font-size: medium;
 }
 
-span.date {
-   font-weight: bold;
-   font-size: medium;
-}
-
 /* tables *******************************************************************/
 
 table {
@@ -114,7 +109,7 @@ img.w3c {
    height: 32px; /* this should be 31px */
 }
 
-/* foreground colors (life cycle) *******************************************/
+/* foreground colors (life cycle, grammar) **********************************/
 
 .delta {
   color:#500000;
@@ -132,6 +127,10 @@ img.w3c {
   color:#000000;
 }
 
+.ebnf {
+  color:#000080;
+}
+
 /* background colors ********************************************************/
 
 .white {