font-size: medium;
}
-span.date {
- font-weight: bold;
- font-size: medium;
-}
-
/* tables *******************************************************************/
table {
height: 32px; /* this should be 31px */
}
-/* foreground colors (life cycle) *******************************************/
+/* foreground colors (life cycle, grammar) **********************************/
.delta {
color:#500000;
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 */
}