.text {
	font-family : verdana;
	font-size : 7pt;
}

.source {
	font-family : monospace;
	font-size : 9pt;
}

.d {
	/* delimiter */
	color : #000000;
	background-color : #ffff00;
}

.s {
	/* string */
	color : #0000ff;
}

.c {
	/* comment */
	color : #008000;
}

.f {
	/* function */
	color : #000080;
	font-weight : bold;
}

.p {
	/* property */
	color : #000080;
}

.k {
	/* keyword */
	color : #000080;
	font-weight : bold;
}

.op {
	/* operator */
	color : #000080;
}

.ob{
	/* object */
	color : #800080;
	font-weight : bold;
}