.monospace-listing {
	font-family: "Courier New", Courier, mono;
	font-size: x-small;
	color: #000000;
	background-color: #FFFFCC;
}
.monospace-input {
	font-weight: bold;
	color: #CC0033;
	font-family: "Courier New", Courier, mono;

}
.file-contents {
	font-family: "Courier New", Courier, mono;
	font-size: x-small;
	background-color: #CCFFFF;
}
.file-or-command {
	font-family: "Courier New", Courier, mono;
	font-weight: bold;
}
.monospace-input-comment {
	font-weight: normal;
	color: #CC0033;
	font-family: "Times New Roman", Times, serif;
	font-style: italic;

}
.monospace-listing-comment {

	font-weight: normal;
	font-family: "Times New Roman", Times, serif;
	font-style: italic;
}