X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fcss%2Fld_web.css;h=57e2774b2ad1131a310b07d082f4a4eac07bbff7;hb=9a0dc83131e9695ffd4254ff5546817ca431d8c2;hp=b89905077d0c922a835827175cc3ab33f9e255eb;hpb=e36a0eced135e6f1b79d06c78a408918f65376b6;p=helm.git

diff --git a/helm/www/lambdadelta/css/ld_web.css b/helm/www/lambdadelta/css/ld_web.css
index b89905077..57e2774b2 100644
--- a/helm/www/lambdadelta/css/ld_web.css
+++ b/helm/www/lambdadelta/css/ld_web.css
@@ -3,118 +3,94 @@
 /* general ******************************************************************/
 
 body {
-   background-color: rgb(255, 255, 255); 
-   color: rgb(0, 0, 0);
-   margin: 2.5%;
+  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: inherit;
-   background-color: inherit;
+  text-decoration: underline;
+  color: inherit;
+  background-color: inherit;
 }
 
 a:hover {
-   text-decoration: underline;
-   color: inherit;
-   background-color: rgb(192, 192, 192);
+  text-decoration: underline;
+  color: inherit;
+  background-color: rgb(192, 192, 192);
 }
 
 /* blocks *******************************************************************/
 
 div.spacer {
-   text-align: center;
-   font-weight: normal; 
-   font-size: medium;
+  text-align: center;
+  font-weight: normal;
+  font-size: medium;
 }
 
 div.head1 {
-   margin: 0.5em 0; 
-   text-align: center;
-   font-weight: bold; 
-   font-size: xx-large;
+  margin: 0.5em 0;
+  text-align: center;
+  font-weight: bold;
+  font-size: xx-large;
 }
 
 div.head2sn {
-   margin: 0.5em 0; 
-   text-align: left;
-   font-weight: bold; 
-   font-size: x-large;
+  margin: 0.5em 0;
+  text-align: left;
+  font-weight: bold;
+  font-size: x-large;
 }
 
 div.head2dx {
-   margin: 0.5em 0; 
-   text-align: right;
-   font-weight: bold; 
-   font-size: x-large;
+  margin: 0.5em 0;
+  text-align: right;
+  font-weight: bold;
+  font-size: x-large;
 }
 
 div.head3sn {
-   margin: 0.5em 0; 
-   text-align: left;
-   font-weight: bold; 
-   font-size: large;
+  margin: 0.5em 0;
+  text-align: left;
+  font-weight: bold;
+  font-size: large;
 }
 
 div.text {
-   margin: 1em 0; 
-   text-align: left;
-   font-weight: normal; 
-   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;
+  margin: 1em 0;
+  text-align: left;
+  font-weight: normal;
+  font-size: medium;
 }
 
 /* inline decorations *******************************************************/
 
 img.icon32 {
-   border: 0; 
-   width: 32px; 
-   height: 32px;
+  border: 0;
+  width: 32px;
+  height: 32px;
 }
 
 img.icon37 {
-   border: 0; 
-   width: 37px; 
-   height: 37px;
+  border: 0;
+  width: 37px;
+  height: 37px;
 }
 
 img.rule {
-   border: 0; 
-   height: 4px;
-   width: 100%; 
+  border: 0;
+  height: 4px;
+  width: 100%;
 }
 
 img.w3c {
-   margin: 0 0.5em; 
-   border: 0; 
-   width: 88px; 
-   height: 32px; /* this should be 31px */
+  margin: 0 0.5em;
+  border: 0;
+  width: 88px;
+  height: 32px; /* this should be 31px */
 }
 
-/* foreground colors (life cycle) *******************************************/
+/* foreground colors (life cycle, grammar) **********************************/
 
 .delta {
   color:#500000;
@@ -132,8 +108,30 @@ img.w3c {
   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 */
 }
@@ -159,11 +157,11 @@ img.w3c {
 }
 
 .cyan {
-  background-color:#bfffff; /* + 3/4 */  
+  background-color:#bfffff; /* + 3/4 */
 }
 
 .water {
-  background-color:#ccffe5; /* + 4/5 */ 
+  background-color:#ccffe5; /* + 4/5 */
 }
 
 .green {