PRE {
	FONT-SIZE: 9pt; COLOR: #000000; FONT-FAMILY: Courier; BACKGROUND-COLOR: #ffffff
}
.key {
	FONT-WEIGHT: bold; COLOR: #000080
}
.num {
	COLOR: #000000
}
.typ {
	COLOR: #000080
}
.esc {
	COLOR: #700090
}
.str {
	COLOR: #700090
}
.dstr {
	COLOR: #700090
}
.com {
	COLOR: #008000
}
.dir {
	COLOR: #008060
}
.sym {
	COLOR: #000000
}
.line {
	COLOR: #008000
}