.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: 2px;
	border: 1px solid #888;
}

@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
	}
}