BODY {
	FONT-SIZE: 10pt; BACKGROUND: white; MARGIN: 0px; COLOR: black; FONT-FAMILY: Arial, Helvetica, sans-serif;
}
BODY.proposed {
	FONT-SIZE: 9pt; BACKGROUND: url(prop.gif) #e0ffff; MARGIN: 0px; COLOR: black; FONT-FAMILY: Times New Roman, Times Roman, Times, sans-serif
}
H1 {
	CLEAR: left; MARGIN-TOP: 0px; FONT-SIZE: 20pt; MARGIN-BOTTOM: 20px; MARGIN-LEFT: 0px; FONT-FAMILY: sans-serif; text-align:left;
}
H2 {
	CLEAR: left; PADDING-RIGHT: 100%; MARGIN-TOP: 0px; FONT-SIZE: large; BACKGROUND: pink; WIDTH: 100%; TEXT-ALIGN: left; FONT-VARIANT: small-caps
}
DIV.screen {
	BORDER-RIGHT: 5px; PADDING-RIGHT: 10px; BORDER-TOP: 5px; MARGIN-TOP: 0px; PADDING-LEFT: 10px; FONT-SIZE: 10pt; MARGIN-BOTTOM: 10px; PADDING-BOTTOM: 10px; MARGIN-LEFT: 20px; BORDER-LEFT: 5px; WIDTH: 100%; COLOR: yellow; PADDING-TOP: 10px; BORDER-BOTTOM: 5px; FONT-FAMILY: Courier; BACKGROUND-COLOR: gray
}
DIV.code {
	BORDER-RIGHT: 5px; PADDING-RIGHT: 10px; BORDER-TOP: 5px; MARGIN-TOP: -15px; PADDING-LEFT: 10px; FONT-SIZE: 10pt; MARGIN-BOTTOM: 10px; PADDING-BOTTOM: 10px; MARGIN-LEFT: 20px; BORDER-LEFT: 5px; WIDTH: 100%; COLOR: rgb(50,50,50); PADDING-TOP: 10px; BORDER-BOTTOM: 5px; FONT-FAMILY: Courier; BACKGROUND-COLOR: white
}
DIV.reghost {
	COLOR: rgb(100,100,100)
}
DIV.usage {
	FONT-WEIGHT: bold; FONT-SIZE: 110pt; BACKGROUND: white; MARGIN: 24px; WIDTH: 100%; COLOR: green; FONT-FAMILY: Courier
}
DIV.example {
	CLEAR: none; FONT-WEIGHT: bolder; FONT-SIZE: 10pt; BACKGROUND: white; MARGIN-LEFT: 20px; COLOR: green; FONT-FAMILY: Courier
}
DIV.sign {
	FONT-SIZE: xx-large; COLOR: blue; FONT-FAMILY: zapfchancery
}
DIV.big {
	FONT-SIZE: small; MARGIN-LEFT: 0px
}
CODE {
	FONT-WEIGHT: bolder; FONT-SIZE: 10pt; COLOR: green; FONT-FAMILY: monospace
}
IMG {
	BORDER-RIGHT: 0px; BORDER-TOP: 0px; BORDER-LEFT: 0px; BORDER-BOTTOM: 0px; TEXT-ALIGN: center
}
PRE {
	MARGIN-TOP: 0px; FONT-SIZE: 10pt; FONT-FAMILY: Courier
}
UNKNOWN {
	BACKGROUND: green; COLOR: green
}
TABLE {
	FONT-SIZE: 10pt;
}
TH {
	FONT-SIZE: 10pt; BACKGROUND: #dddddd;; TEXT-ALIGN: left
}
TR.shade {
	BACKGROUND: #eeeeee
}
TD {
	FONT-SIZE: 10pt;
}
TD.shade {
	FONT-SIZE: 10pt; BACKGROUND: #eeeeee;
}
DT.option {
	FONT-WEIGHT: bold; FONT-SIZE: 14pt; COLOR: green; FONT-FAMILY: Courier
}
A.propdef-title {
	BACKGROUND: yellow
}
A.descdef-title {
	BACKGROUND: green; COLOR: yellow
}