]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/css/ld_web.css
- advances in the site generation architecture
[helm.git] / helm / www / lambdadelta / css / ld_web.css
index e5df659b0162bf765d4814afaa21c61b905aa02c..9f2e42d5908d2eb251bcc1d2c14d6a66aa7d74f9 100644 (file)
@@ -3,7 +3,7 @@
 /* general ******************************************************************/
 
 body {
-   background: rgb(255, 255, 255); 
+   background-color: rgb(255, 255, 255); 
    color: rgb(0, 0, 0);
    margin: 2.5%;
 }
@@ -11,13 +11,13 @@ body {
 a:link, a:visited, a:hover, a:active, a:focus {
    text-decoration: underline;
    color: inherit;
-   backgroud: inherit;
+   background-color: inherit;
 }
 
 a:hover {
    text-decoration: underline;
    color: inherit;
-   background: rgb(192, 192, 192);
+   background-color: rgb(192, 192, 192);
 }
 
 /* blocks *******************************************************************/
@@ -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,8 +127,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 */
 }