.article {
	font-family: "Times New Roman", Times, serif;
	font-size: 12px;
	color: #000000;
}
.highlight {
	font-family: "Times New Roman", Times, serif;
	font-size: 12px;
	color: 0B7BC2;
}
.highlight2 {
	font-family: "Times New Roman", Times, serif;
	font-size: 16px;
	color: #FF0000;
}