/* 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 *******************************************************************/
font-size: medium;
}
+span.emph {
+ font-weight: bold;
+ font-size: medium;
+}
+
span.date {
font-weight: bold;
font-size: medium;
height: 32px; /* this should be 31px */
}
+/* foreground colors (life cycle) *******************************************/
+
+.delta {
+ color:#500000;
+}
+
+.gamma {
+ color:#006000;
+}
+
+.beta {
+ color:#906000;
+}
+
+.alpha {
+ color:#000000;
+}
+
/* background colors ********************************************************/
+.white {
+ background-color:#ffffff; /* + 0 */
+}
+
.gray {
background-color:#dfdfdf; /* + 7/8 */
}