/* Pretty printing styles. Used with prettify.js. */
.str {
	color: #080;
}

.kwd {
	color: #008;
}

.com {
	color: #800;
}

.typ {
	color: #606;
}

.lit {
	color: #066;
}

.pun {
	color: #660;
}

.pln {
	color: #000;
}

.tag {
	color: #008;
}

.atn {
	color: #606;
}

.atv {
	color: #080;
}

.dec {
	color: #606;
}

pre.prettyprint {
	padding: 5px;
	border: 1px solid #d2d2d2;
	background: #f5f5f5
}

@media print {
	.str {
		color: #060;
	}
	.kwd {
		color: #006;
		font-weight: bold;
	}
	.com {
		color: #600;
		font-style: italic;
	}
	.typ {
		color: #404;
		font-weight: bold;
	}
	.lit {
		color: #044;
	}
	.pun {
		color: #440;
	}
	.pln {
		color: #000;
	}
	.tag {
		color: #006;
		font-weight: bold;
	}
	.atn {
		color: #404;
	}
	.atv {
		color: #060;
	}
}