hr {
	border: thin dotted #FF9900;
}
.style1 {
	font-size: large;
	font-weight: bold;
	color: #0000FF;
}
.style5 {
	font-size: large;
	font-weight: bold;
	color: #FFFFFF;
}
.style7 {font-size: large}
.xs {font-size: x-small}
.xxs {
	font-size: xx-small;
}
.style2 {
	font-size: medium;
	color: #FF0000;
	font-weight: bold;
}
.style3 {
	font-size: medium;
}
.style8 {font-size: medium;}
.style9 {color: #FFFFFF}