.style2 {	font-size: large;
	font-weight: bold;
}
.style4 {font-size: medium}
.style5 {font-size: small}
.style6 {font-size: x-large}
.style7 {color: #408080}
.style8 {color: #FF0000}
.style9 {color: #004000}
.style10 {
	color: #800040;
	font-size: 16pt;
}
.style12 {color: #800040; font-size: 16pt; font-weight: bold; }

.style15 {
	font-size: medium;
	color: #800040;
	font-weight: bold; }