.quote {
	font-style: italic;
	color: #FF8200;
}

.highlight {
	background-color: #FF8200;
	color: #000000;
}

.deprecated {
	text-decoration: line-through;
	color: #FF8200;
}

.textindent207 {
	display: block;
	margin-left: 207px;
}

img.float-right {
	float: right;
}