.prettyprint .str
{
    color: #800000;
}
.prettyprint .atv
{
    color: #080;
}
.prettyprint .kwd, .prettyprint .tag
{
    color: #0000FF !important;
}
.prettyprint .com
{
    color: #008000;
}
.prettyprint .typ, .prettyprint .atn, .prettyprint .dec
{
    color: #000080;
}
.prettyprint .lit
{
	color: black;
}
.prettyprint .pun
{
	color: black;
}
.prettyprint .pln
{
	color: #000;
}
pre.prettyprint
{
	border: 1px solid #888;
	padding: 2px;
}
@media print
{
	.str
	{
		color: #060;
	}
	.kwd,.tag
	{
		color: #006;
		font-weight: bold;
	}
	.com
	{
		color: #600;
		font-style: italic;
	}
	.typ
	{
		font-weight: bold;
	}
	.lit
	{
		color: #044;
	}
	.pun
	{
		color: #440;
	}
	.atn,.typ
	{
		color: #404;
	}
	.atv
	{
		color: #060;
	}
}