/* @override 
	http://shiftcontrol.dk/prettify.css
*/

/* Pretty printing styles. Used with prettify.js. */

.str { color: #00a5ff; }
.kwd { color: #bfbfbf; }
.com { color: #7f7f7f; }
.typ { color: #fff; }
.lit { color: #00a5ff; }
.pun { color: #f5f5f5; }
.pln { color: #ffcd00; }
.tag { color: #17ff00; }
.atn { color: #606; }
.atv { color: #080; }
.dec { color: #606; }

code.prettyprint {
	font: 9px/11px Monaco, 'Courier New', Courier, Fixed;
	background-color: #1a1a1a;
	color: #fff;
	clear: both;
	display: block;
	width: 590px;
	padding: 0 0 10px 10px;
	margin-top: 0;
}