pre
{
	padding:5pt; WIDTH: 100%; WHITE-SPACE: pre; BACKGROUND-COLOR: #C0C0C0; font-style:normal; font-variant:normal; font-weight:normal; font-size:9pt; font-family:Courier New, Courier, mono
}
CODE 
{
	COLOR: #990000; FONT-FAMILY: "Courier New", Courier, mono
}
COMMENT 
{
	COLOR: green; FONT-STYLE: italic; FONT-FAMILY: "Courier New", Courier, mono
}
KEYWORD 
{
	COLOR: blue; FONT-FAMILY: "Courier New", Courier, mono
}
PRE 
{
	COLOR: navy; FONT-FAMILY: "Courier New", Courier, mono
}
STRING 
{
	COLOR: purple; FONT-FAMILY: "Courier New", Courier, mono
}
LIT 
{
	COLOR: midnightblue; FONT-FAMILY: "Courier New", Courier, mono
}