.TableHeader {
	font-size: x-large;
	font-weight: bold;
	color: #000000;
	font-family: Arial, Helvetica, sans-serif;
}
.KeywordHeader {
	font-family: "Courier New", Courier, mono;
	color: #000000;
	font-size: large;
	font-style: normal;
	font-weight: normal;
	line-height: normal;
	font-variant: normal;
	text-transform: none;
}
.NormalText {
	font-size: small;
	font-weight: normal;
	font-family: Verdana, Arial, Helvetica, sans-serif;
	color: #000000;
	font-style: normal;
	line-height: normal;
	font-variant: normal;
	text-transform: none;
}
.Keyword {
	font-family: "Courier New", Courier, mono;
	font-weight: bold;
	color: #0033CC;
}
.PageTitle {font-size: xx-large; font-weight: bold; font-family: Arial, Helvetica, sans-serif; color: #000000; }
.TreeText {font-family: Verdana, Arial, Helvetica, sans-serif}
.txcode {
	font-family: "Courier New", Courier, mono;
	font-weight: normal;
	font-size: small;
	font-style: normal;
	color: #000000;
}
.txcodeprep {
	font-family: "Courier New", Courier, mono;
	font-weight: bold;
	font-size: small;
	font-style: normal;
	color: #006600;
}
.txcodenum {
	font-family: "Courier New", Courier, mono;
	font-weight: normal;
	font-size: small;
	font-style: normal;
	color: #0000CC;
}
.txcodestr {
	font-family: "Courier New", Courier, mono;
	font-weight: normal;
	font-size: small;
	font-style: normal;
	color: #990000;
}
.txcodecmt {
	font-family: "Courier New", Courier, mono;
	font-weight: normal;
	font-size: small;
	font-style: italic;
	color: #6699CC;
}
.style7 {font-family: "Courier New", Courier, mono; color: #000000; font-size: large; font-style: italic; font-weight: normal; line-height: normal; font-variant: normal; text-transform: none; }
.style8 {color: #000000; font-size: large; font-style: normal; line-height: normal; font-variant: normal; text-transform: none; font-family: "Courier New", Courier, mono;}
.txcodekwd {
	font-family: "Courier New", Courier, mono;
	font-weight: bold;
	font-size: small;
	font-style: normal;
	color: #0000CC;
}