UL.toc {
	LIST-STYLE-TYPE: none
}
OL.toc {
	LIST-STYLE-TYPE: none
}
DIV.toc UL UL {
	MARGIN-LEFT: 0px
}
DIV.toc OL OL {
	MARGIN-LEFT: 0px
}
DIV.toc UL UL UL {
	MARGIN-LEFT: 1em
}
DIV.toc OL OL OL {
	MARGIN-LEFT: 1em
}
DIV.toc UL UL UL UL {
	MARGIN-LEFT: 0px
}
DIV.toc OL OL OL OL {
	MARGIN-LEFT: 0px
}
LI.tocline1 {
	FONT-WEIGHT: bold
}
LI.tocline2 {
	FONT-WEIGHT: normal
}
LI.tocline3 {
	FONT-WEIGHT: normal
}
LI.tocline4 {
	FONT-WEIGHT: normal
}
BODY {
	MARGIN-LEFT: 0.5em; COLOR: black; FONT-FAMILY: sans-serif
}
H4 {
	FONT-WEIGHT: normal; FONT-FAMILY: sans-serif; TEXT-ALIGN: left
}
CODE {
	FONT-FAMILY: monospace
}
TABLE CAPTION {
	FONT-WEIGHT: bold; FONT-STYLE: italic; FONT-FAMILY: sans-serif
}
SPAN.syntax {
	FONT-STYLE: italic; FONT-FAMILY: sans-serif
}
SPAN.nonterminal {
	FONT-WEIGHT: bold; FONT-STYLE: italic; FONT-FAMILY: sans-serif
}
SPAN.comment {
	FONT-STYLE: italic; FONT-FAMILY: sans-serif
}
SPAN.definition {
	FONT-WEIGHT: bold; FONT-STYLE: italic; FONT-FAMILY: sans-serif
}
SPAN.change {
	COLOR: red
}
DIV.change {
	COLOR: red
}
DIV.note {
	MARGIN-LEFT: 2em
}