/* 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: 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.date {
+span.emph {
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 */
}
-/* alignment ****************************************************************/
+/* foreground colors (life cycle, grammar) **********************************/
-td.top {
- vertical-align: top;
+.delta {
+ color:#500000;
}
-td.middle {
- vertical-align: middle;
+.gamma {
+ color:#006000;
}
-td.bottom {
- vertical-align: bottom;
+.beta {
+ color:#906000;
+}
+
+.alpha {
+ color:#000000;
+}
+
+.ebnf {
+ color:#000080;
+}
+
+/* mark colors **************************************************************/
+
+.red-mark {
+ color:#F00000;
+}
+
+.green-mark {
+ color:#00F000;
+}
+
+.blue-mark {
+ color:#0000F0;
}
/* background colors ********************************************************/
+.white {
+ background-color:#ffffff; /* + 0 */
+}
+
.gray {
background-color:#dfdfdf; /* + 7/8 */
}