code {
	color: #C00000;
	font-size: 10pt;
	font-family: Consolas, "Courier New", Monospace;
}
.code {
	font-family: Consolas, "Courier New", Monospace;
	font-size: 9pt;
	padding: 9pt;
	background-color: #FFFFC0;
	overflow: auto;
}
code.keyword {
	color: blue;
	font-size: 9pt;
}
code.preproc {
	color: blue;
	font-size: 9pt;
}
code.comment {
	background-color: transparent;
	color: green;
	font-size: 9pt;
	margin: 0pt;
	padding: 0pt;
}
code.string {
	color: #C00000;
	font-size: 9pt;
}
code.localizable {
	background-color: #00ffff;
	font-size: 9pt;
}