margin: 2.5%;
}
-a:link, a:visited {
+a:link, a:visited, a:hover, a:active, a:focus {
text-decoration: underline;
+ color: rgb(0, 0, 0);
}
-a:active, a:hover, a:focus {
+a:hover {
background: rgb(192, 192, 192);
}
div.spacer {
text-align: center;
+ font-weight: normal;
+ font-size: medium;
}
div.head1 {
font-size: xx-large;
}
-div.head2 {
+div.head2sn {
margin: 0.5em 0;
text-align: left;
font-weight: bold;
font-size: x-large;
}
+div.head2dx {
+ margin: 0.5em 0;
+ text-align: right;
+ font-weight: bold;
+ 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-weight: normal;
+ 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 *******************************************************/
height: 32px;
}
+img.icon37 {
+ border: 0;
+ width: 37px;
+ height: 37px;
+}
+
img.rule {
border: 0;
height: 4px;
height: 32px; /* this should be 31px */
}
+/* foreground colors (life cycle) *******************************************/
+
+.delta {
+ color:#500000;
+}
+
+.gamma {
+ color:#006000;
+}
+
+.beta {
+ color:#906000;
+}
+
+.alpha {
+ color:#000000;
+}
+
/* background colors ********************************************************/
-.grey {
+.gray {
background-color:#dfdfdf; /* + 7/8 */
}