.maintext {
	font-family: "Times New Roman", Times, serif;
	font-size: 12px;
	margin-top: 3px;
	margin-right: 5px;
	margin-bottom: 3px;
	margin-left: 5px;
}
.main-title {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 12px;
	font-weight: bold;
	text-transform: capitalize;
	color: #666666;
}
.formula {
	font-family: Georgia, "Times New Roman", Times, serif;
	font-size: 12px;
	font-style: italic;
	color: #000066;
}
.categoryname {
	font-family: Georgia, "Times New Roman", Times, serif;
	font-size: 14px;
	font-style: italic;
	font-weight: bolder;
	line-height: normal;
	color: #000066;
}
.examples {
	padding: 7px;
	font-family: "Times New Roman", Times, serif;
	font-size: 12px;
}
.formulaSymbol {

	font-family: Georgia, "Times New Roman", Times, serif;
	font-size: 12px;
	font-style: normal;
	white-space: pre;
	color: #000066;
}
.navigation {
	font-family: "Times New Roman", Times, serif;
	font-size: 12px;
	font-weight: bold;
	color: #666666;
}