code {
	font-family:"Courier New", Courier, monospace;
}

#left code {
	font-family:"Courier New", Courier, monospace;
}

pre {
	font-family:"Courier New", Courier, monospace;
}

#left pre {
	font-family:"Courier New", Courier, monospace;
}