table {
	font-size: 0.9em;
	font-family: Verdana, Geneva, Arial, Helvetica, sans-serif;
	margin: 0px;
}

code {
	font: 0.9em 'Lucida Console', monospace;
	color: #000080;
}

pre.code {
	font: 0.9em 'Lucida Console', monospace;
	padding-left: 2em;
}

/* keyword */	pre.code span.k { color: rgb(0,0,255); }
/* user type */	pre.code span.u { color: rgb(0,128,128); }
/* comment */ pre.code span.c { color: rgb(0,128,0); }
/* string */ pre.code span.s { color: rgb(128,0,0); }
/* xml attribute */ pre.code span.a { color: rgb(255,0,0); }