input.blue {
	background-color: #66ccff;
	font-family: Verdana, Arial, Helvetica, sans-serif;
}
input.red {
	background-color: #ff9999;
	font-size: x-small;
	font-family: Georgia, "Times New Roman", Times, serif;
}
input.button {
	background-color: #ff9999;
	font-size: x-small;
	font-family: Georgia, "Times New Roman", Times, serif;
	border: double #993300;
}
input.button2 {
	background-color: #6cf;
	font-size: x-small;
	font-family: Verdana, Arial, Helvetica, sans-serif;
	border: solid 1px #000;
}
input.computer {
	background-color: #6cf;
	font-size: x-small;
	font-family: Verdana, Arial, Helvetica, sans-serif;
}
span.strong {
	font-weight: bold;
}
span.pre, p.pre {
	font-family: "Courier New", Courier, mono;
	font-size: x-small;
}
.blueBorder {
	background-color: #66ccff;
	font-family: Verdana, Arial, Helvetica, sans-serif;
	border: 1px solid;
}
.redBorder {
	background-color: #ff9999;
	font-size: 10px;
	font-family: Georgia, "Times New Roman", Times, serif;
	border: double #993300;
}
p {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: x-small;
}