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

.source  {
	font-family : monospace;
	background-color : #000000;
	color : #ffffff;
	font-size : 9pt;
}

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

.s  {
	/* string */
	color : #ffdab9;
}

.c  {
	/* comment */
	color : #98fb98;
}

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

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

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

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

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