]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/css/ld_web.css
- milestone update in basic_2 (basic_2a released)
[helm.git] / helm / www / lambdadelta / css / ld_web.css
index de85f44d0ddfba88cac5fe2841261cf14ea3ebd7..2b299cf3070244b269a417f00273ec9d11312814 100644 (file)
@@ -60,6 +60,11 @@ div.text {
    font-size: medium;
 }
 
+span.emph {
+   font-weight: bold;
+   font-size: medium;
+}
+
 span.date {
    font-weight: bold;
    font-size: medium;
@@ -106,6 +111,24 @@ img.w3c {
    height: 32px; /* this should be 31px */
 }
 
+/* foreground colors (life cycle) *******************************************/
+
+.delta {
+  color:#500000;
+}
+
+.gamma {
+  color:#006000;
+}
+
+.beta {
+  color:#906000;
+}
+
+.alpha {
+  color:#000000;
+}
+
 /* background colors ********************************************************/
 
 .gray {