.Heading {
	font-size: large;
}
body {
	background-color: #0000FF;
	font-family: Verdana, Arial, Helvetica, sans-serif;
	color: #FFFFFF;
}
p {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	color: #FFFFFF;
}
.copyright {
	font-size: x-small;
}
a {
	color: #FFFFFF;
}
td {
	vertical-align: top;
}
.searchbox {
	width: 200px;
}
.tableheadings {
	font-weight: bold;
	text-decoration: underline;
}
pre {
	font-family: Verdana, Arial, Helvetica, sans-serif;
}
.redtext {
	color: #FF0000;
}