pre {
	font-family: courier;
}
pre.mono {
	font-family: courier;
}
span.mono {
	font-family: courier;
}