.text  { color: #0e4a58; font-size: 15px; line-height: 25px; font-family: Times, "Times New Roman", serif }
.text2 { color: #0e4a58; font-size: 15px; line-height: 15px; font-family: Times, "Times New Roman", serif }
.text3 { color: #0e4a58; font-size: 15px; line-height: 25px; font-family: Times, "Times New Roman", serif; margin-left: 15px }
a:link { color: #0e4a58; text-decoration: none }
a:visited { color: #0e4a58; text-decoration: none }
a:hover { color: #0e4a58; text-decoration: underline }
div#TopButton
{
	position: fixed;
	top: 290px;
	left: 150px;
	font-size: smaller;
}