/* general ******************************************************************/
body {
- background: rgb(255, 255, 255);
- color: rgb(0, 0, 0);
- margin: 2.5%;
+ 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);
+ text-decoration: underline;
+ color: inherit;
+ background-color: inherit;
}
a:hover {
- background: rgb(192, 192, 192);
+ text-decoration: underline;
+ color: inherit;
+ background-color: rgb(192, 192, 192);
}
/* blocks *******************************************************************/
div.spacer {
- text-align: center;
- font-weight: normal;
- font-size: medium;
+ text-align: center;
+ font-weight: normal;
+ font-size: medium;
}
div.head1 {
- margin: 0.5em 0;
- text-align: center;
- font-weight: bold;
- font-size: xx-large;
+ margin: 0.5em 0;
+ text-align: center;
+ font-weight: bold;
+ font-size: xx-large;
}
div.head2sn {
- margin: 0.5em 0;
- text-align: left;
- font-weight: bold;
- font-size: x-large;
+ 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;
+ 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;
+ 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;
+ margin: 1em 0;
+ text-align: left;
+ font-weight: normal;
+ font-size: medium;
}
-span.date {
- font-weight: bold;
- font-size: medium;
+/* inline decorations *******************************************************/
+
+img.icon32 {
+ border: 0;
+ width: 32px;
+ height: 32px;
}
-/* tables *******************************************************************/
+img.icon37 {
+ border: 0;
+ width: 37px;
+ height: 37px;
+}
-table {
- margin-left: auto;
- margin-right: auto;
+img.rule {
+ border: 0;
+ height: 4px;
width: 100%;
}
-td {
- border-color:#000000;
- border-width:1px;
- color:#000000;
+img.w3c {
+ margin: 0 0.5em;
+ border: 0;
+ width: 88px;
+ height: 32px; /* this should be 31px */
}
-/* inline decorations *******************************************************/
+/* foreground colors (life cycle, grammar) **********************************/
-img.icon32 {
- border: 0;
- width: 32px;
- height: 32px;
+.delta {
+ color:#500000;
}
-img.icon37 {
- border: 0;
- width: 37px;
- height: 37px;
+.gamma {
+ color:#006000;
}
-img.rule {
- border: 0;
- height: 4px;
- width: 100%;
+.beta {
+ color:#906000;
}
-img.w3c {
- margin: 0 0.5em;
- border: 0;
- width: 88px;
- height: 32px; /* this should be 31px */
+.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 */
}
}
.cyan {
- background-color:#bfffff; /* + 3/4 */
+ background-color:#bfffff; /* + 3/4 */
}
.water {
- background-color:#ccffe5; /* + 4/5 */
+ background-color:#ccffe5; /* + 4/5 */
}
.green {