.style3 {
	font-size: xx-large;
	font-weight: bold;
}
.style4 {font-size: large}
.style5 {
	color: #FF0000;
	font-weight: bold;
}
.style10 {font-size: 80%}