X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fcss%2Fld_web.css;h=2b299cf3070244b269a417f00273ec9d11312814;hb=f66ae73597b06a5bf8b0ef82d5253bf0e5aba7fc;hp=7ee236c53eb1666974ff71d8128f8cd6c520991e;hpb=3167db4903eea2eddc60a91cfd922be3672ce077;p=helm.git

diff --git a/helm/www/lambdadelta/css/ld_web.css b/helm/www/lambdadelta/css/ld_web.css
index 7ee236c53..2b299cf30 100644
--- a/helm/www/lambdadelta/css/ld_web.css
+++ b/helm/www/lambdadelta/css/ld_web.css
@@ -46,6 +46,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;
@@ -53,11 +60,30 @@ div.text {
    font-size: medium;
 }
 
+span.emph {
+   font-weight: bold;
+   font-size: medium;
+}
+
 span.date {
    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 {
@@ -85,18 +111,22 @@ img.w3c {
    height: 32px; /* this should be 31px */
 }
 
-/* alignment ****************************************************************/
+/* foreground colors (life cycle) *******************************************/
+
+.delta {
+  color:#500000;
+}
 
-td.top {
-   vertical-align: top;
+.gamma {
+  color:#006000;
 }
 
-td.middle {
-   vertical-align: middle;
+.beta {
+  color:#906000;
 }
 
-td.bottom {
-   vertical-align: bottom;
+.alpha {
+  color:#000000;
 }
 
 /* background colors ********************************************************/