body {
	color: #008080;
	margin-left: 0px;
	margin-top: 0px;
	font-family: Arial;
}
.style4 {
	font-size: large;
	font-weight: bold;
}
.no_text_decor {
text-decoration: none;
}
.style6 {text-decoration: none; font-size: small; }
.style7 {
	font-size: small;
	font-style: italic;
}
.style9 {font-size: small}
.style10 {
	font-size: medium;
	font-weight: bold;
}

.title
{
font-size:medium;
font-weight: bold;
}

.text
{
font-size:small;
}
.grouptitle {
	font-size: x-large;
	font-weight: bold;
}
.green_bdr {
	border: thick solid #008080;
}