body.hl	{
	background-color:#ffffff;
	font-family: sans-serif;
}

div#navbar {
	float: left;
	width: 12em;
}

div#src {
	margin: 0 0 1em 12em;
}

pre.hl	{ color:#000000; background-color:#ffffff; font-size:10pt; font-family:'Courier New',monospace;}
.hl.num { color:#0086b3; }
.hl.esc { color:#183691; }
.hl.str { color:#183691; }
.hl.pps { color:#183691; }
.hl.slc { color:#606060; font-style: oblique; }
.hl.com { color:#606060; font-style: oblique; }
.hl.ppc { color:#a71d5d; }
.hl.opt { color:#000000; }
.hl.ipl { color:#183691; }
.hl.lin { color:#b2b2b2; padding-right: 2em; }
.hl.kwa { color:#a71d5d; }
.hl.kwb { color:#0086b3; }
.hl.kwc { color:#0086b3; }
.hl.kwd { color:#0086b3; }