body {
	background-color: #cccccc;
}
.style3 {font-size: small; }
.style7 {font-size: medium}
.style9 {font-size: small; font-weight: bold; color: #006699; }
.style12 {font-size: 125%}