.title1 {font-family: "Times New Roman", Times, serif; font-size: 36pt; font-weight: bold; color: #000000; white-space: nowrap}
.title2 {font-family: "Times New Roman", Times, serif; font-size: 18pt; font-weight: bold; color: #000000; white-space: nowrap}
.top-title {color: #009900}
.draft-title {color: #FF0000}
.mod-date {font-size: smaller; font-style: italic; text-align: right}
.sub {font-size: 50%}
.sub-num {font-size: smaller; font-style: normal}
.syntax {margin-left: 0.5in}
.indent {margin-left: 0.5in}
.issue {color: #FF0000}

DL {margin-left: 18pt}
DD {margin-bottom: 6pt}
DT {font-style: italic; margin-top: 3pt}

.grammar-rule {margin-left: 18pt; margin-top: 6pt; margin-bottom: 6pt}
.grammar-lhs {}
.grammar-rhs {margin-left: 9pt;}
.grammar-argument {margin-left: 18pt; margin-top: 6pt; margin-bottom: 6pt}
.semantics {margin-left: 9pt; margin-top: 3pt; margin-bottom: 3pt}
.semantics-next {margin-left: 27pt; margin-bottom: 3pt}

.symbol {font-family: "Symbol"}
VAR, VAR A {font-family: Georgia, Palatino, "Times New Roman", Times, serif; font-weight: normal; font-style: italic; color: #336600}
A:hover VAR, VAR A:hover {color: #003300}
A:active VAR, VAR A:active {color: #00FF00}
CODE, PRE {font-family: "Courier New", Courier, mono; color: #0000FF}
PRE {margin-left: 0.5in}
A:hover CODE {color: #3333CC}
A:active CODE {color: #6666FF}
.control {font-family: "Times New Roman", Times, serif; font-weight: normal; color: #000099}
A:hover .control {color: #333366}
A:active .control {color: #3333FF}
.terminal {font-family: Georgia, Palatino, "Times New Roman", Times, serif; font-weight: bold; color: #009999}
A:hover .terminal {color: #336666}
A:active .terminal {color: #00FFFF}
.terminal-keyword {font-weight: bold}
.nonterminal, .nonterminal A {color: #009900}
A:hover .nonterminal, .nonterminal A:hover {color: #336633}
A:active .nonterminal, .nonterminal A:active {color: #00FF00}
.nonterminal-attribute, .nonterminal-argument {font-style: normal}
.semantic-keyword {font-family: "Times New Roman", Times, serif; font-weight: bold}
.type-expression, .type-name {font-family: "Times New Roman", Times, serif; color: #CC0000}
A:hover .type-expression, A:hover .type-name {color: #990000}
A:active .type-expression, A:active .type-name {color: #FF6666}
.type-name {font-variant: small-caps}
.field-name {font-family: Arial, Helvetica, sans-serif; color: #FF0000}
A:hover .field-name {color: #CC3333}
A:active .field-name {color: #FF6666}
.global-variable {font-family: "Times New Roman", Times, serif; color: #006600}
.local-variable {font-family: "Times New Roman", Times, serif; color: #009900}
A:hover .global-variable, A:hover .local-variable {color: #336633}
A:active .global-variable, A:active .local-variable {color: #00FF00}
.action-name {font-family: "Zapf Chancery", "Comic Sans MS", Script, serif; color: #660066}
A:hover .action-name {color: #663366}
A:active .action-name {color: #FF00FF}

A * {text-decoration: inherit}