EBNF definition of OSN begins ...

[helm.git] / helm / www / lambdadelta / css / ld_web.css

diff --git a/helm/www/lambdadelta/css/ld_web.css b/helm/www/lambdadelta/css/ld_web.css
index de85f44d0ddfba88cac5fe2841261cf14ea3ebd7..a735efdac8b4962fb18103acea43419b2a4c7023 100644 (file)
--- a/helm/www/lambdadelta/css/ld_web.css
+++ b/helm/www/lambdadelta/css/ld_web.css
@@ -3,18 +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);
+   text-decoration: underline;
+   color: inherit;
+   background-color: rgb(192, 192, 192);
 }
 
 /* blocks *******************************************************************/
@@ -60,7 +63,7 @@ div.text {
    font-size: medium;
 }
 
-span.date {
+span.emph {
    font-weight: bold;
    font-size: medium;
 }
@@ -106,8 +109,34 @@ 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;
+}
+
 /* background colors ********************************************************/
 
+.white {
+  background-color:#ffffff; /* + 0 */
+}
+
 .gray {
   background-color:#dfdfdf; /* + 7/8 */
 }