.titleblue {
	bottom: 12px; color: rgb(0, 0, 102); font-weight: bold;
}
.negindent {
	left: -25px;
}
.emphasize {
	color: rgb(128, 0, 0); font-weight: bold;
}
.HintNote {
	color: rgb(204, 153, 0); font-weight: bold;
}
.ExampleOptional {
	color: rgb(51, 153, 0); font-weight: bold;
}
.SpecialUser {
	color: rgb(213, 0, 142); font-weight: bold;
}
.Warning {
	color: rgb(255, 0, 0); font-weight: bold;
}
.definitions {
	margin: 0px 0px -1px 40px; text-align: left; line-height: normal; white-space: normal;
}
.tableBlueHeader {
	background-color: rgb(0, 0, 102);
}
.tableYellowAltRow {
	background-color: rgb(255, 255, 204);
}
.color {
	color: rgb(255, 255, 255);
}