font-size: x-large;
}
+div.head3sn {
+ margin: 0.5em 0;
+ text-align: left;
+ font-weight: bold;
+ font-size: large;
+}
+
div.text {
margin: 1em 0;
text-align: left;
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;
+}
+
/* inline decorations *******************************************************/
img.icon32 {
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 {