.foxcolor {
	color: #DD8800;
}
.monostyle {
	font-family: "Courier New", Courier, monospace;
	font-size: large;
}