.style1 {font-family: Times; font-size: 14px}
.style3 {font-family: Times; color: #999999; }
.style4 {font-size: 18px}
.style5 {font-family: Times; font-size: 18px; }
.style6 {
	font-size: 18;
	color: #990000;
	background-color: yellow;
	background-color: white;
	color: #1D1D6D;
}
.style7 {font-size: 18px}
.style8 {color: #990000}
.style9 {
	font-size: 20px;
	font-weight: bold;
	color: #990000;
}
.stylei {font-style: italic;}
.styleblue {color: #1D1D6D;}
.stylehl strong {color: #802A2A;}
.styleblack {color: #000000;}