/* CSS definition file generated by highlight 2.2-6, http://www.andre-simon.de/ */

/* Highlighting theme definition: */

	body	{ background-color:#ffffff; }
	/*pre	{ color:#000000; background-color:#eeeeee; font-size:10pt; font-family:Courier;} */
	pre { border: 1px dashed #888888; background: #EEEEEE; margin: 4px; padding: 6px; font-size: 9pt; font-family: "Courier New", Courier, monospace; }
	.num	{ color:#0000ff; }
	.esc	{ color:#ff0000; }
	.str	{ color:#ff0000; }
	.dstr	{ color:#ff0000; }
	.slc	{ color:#000080; }
	.com	{ color:#000080; }
	.dir	{ color:#008000; }
	.sym	{ color:#000000; }
	.line	{ color:#660066; }
	.kwa	{ color:#000000; font-weight:bold; }
	.kwb	{ color:#000000; }
	.kwc	{ color:#000000; font-weight:bold; }