X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fcss%2Fld_web.css;h=9f2e42d5908d2eb251bcc1d2c14d6a66aa7d74f9;hb=8653dd54c57943e28e3ef60d2d0cbc1861a76a33;hp=150aaf781315e2475980271362ff1cfeb0dce939;hpb=c0d87c3cdf879f61aa53e91f43580e9815ae7190;p=helm.git

diff --git a/helm/www/lambdadelta/css/ld_web.css b/helm/www/lambdadelta/css/ld_web.css
index 150aaf781..9f2e42d59 100644
--- a/helm/www/lambdadelta/css/ld_web.css
+++ b/helm/www/lambdadelta/css/ld_web.css
@@ -3,25 +3,21 @@
 /* general ******************************************************************/
 
 body {
-   background: rgb(255, 255, 255); 
+   background-color: rgb(255, 255, 255); 
    color: rgb(0, 0, 0);
    margin: 2.5%;
 }
 
 a:link, a:visited, a:hover, a:active, a:focus {
    text-decoration: underline;
-   color: rgb(0, 0, 0);
+   color: inherit;
+   background-color: inherit;
 }
 
 a:hover {
-   background: rgb(192, 192, 192);
-}
-
-/* on newer browsers, disable style modifications for named anchors */
-a[name]:hover {
-   text-decoration: inherit;
+   text-decoration: underline;
    color: inherit;
-   background: inherit;
+   background-color: rgb(192, 192, 192);
 }
 
 /* blocks *******************************************************************/
@@ -53,6 +49,13 @@ div.head2dx {
    font-size: x-large;
 }
 
+div.head3sn {
+   margin: 0.5em 0; 
+   text-align: left;
+   font-weight: bold; 
+   font-size: large;
+}
+
 div.text {
    margin: 1em 0; 
    text-align: left;
@@ -60,11 +63,25 @@ div.text {
    font-size: medium;
 }
 
-span.date {
+span.emph {
    font-weight: bold;
    font-size: medium;
 }
 
+/* tables *******************************************************************/
+
+table {
+  margin-left: auto;
+  margin-right: auto;
+  width: 100%;
+}
+
+td {
+  border-color:#000000;
+  border-width:1px;
+  color:#000000;
+}
+
 /* inline decorations *******************************************************/
 
 img.icon32 {
@@ -92,8 +109,48 @@ img.w3c {
    height: 32px; /* this should be 31px */
 }
 
+/* foreground colors (life cycle, grammar) **********************************/
+
+.delta {
+  color:#500000;
+}
+
+.gamma {
+  color:#006000;
+}
+
+.beta {
+  color:#906000;
+}
+
+.alpha {
+  color:#000000;
+}
+
+.ebnf {
+  color:#000080;
+}
+
+/* mark colors **************************************************************/
+
+.red-mark {
+  color:#F00000;
+}
+
+.green-mark {
+  color:#00F000;
+}
+
+.blue-mark {
+  color:#0000F0;
+}
+
 /* background colors ********************************************************/
 
+.white {
+  background-color:#ffffff; /* + 0 */
+}
+
 .gray {
   background-color:#dfdfdf; /* + 7/8 */
 }