.code {
	font-family: Consolas, "Courier New", Courier, monospace;
	font-size: small;
	color: #000000;
	margin: 4px;
	padding: 4px;
	border: 1px dotted #ddd;
	background-color: #FFFFFF;
}
.keyword {
	color: #0000FF;
}
.comment {
	color: #008000;
}
.string {
	color: #800000;
}
.greyedout {
	color: #808080;
}
.newCode {
	background-color: #DFFFDF;
}
.typeName {
	color: #0099CC;
}
.console {
	font-family: Consolas, "Courier New", Courier, monospace;
	font-size: small;
	color: #FFFFFF;
	margin: 4px;
	padding: 4px;
	border: 1px dotted #ddd;
	background-color: #333333;
}
.fixed {
	font-family: Consolas, "Courier New", Courier, monospace;
}