/* Pretty printing styles. Used with prettify.js.
 *
 * This version is slight modified based on the original version.
 *
 * Name:	Stanley Ng
 * Email: 	stanleyhlng@googlegroups.com
 *
 * Reference:
 * http://code.google.com/p/google-code-prettify/source/browse/trunk/src/prettify.css
 */
.pln {
	color: #48484C; }

.str {
	color: #DD1144; }

.kwd {
	color: #1E347B; }

.com {
	color: #93A1A1; }

.typ {
	color: teal; }

.lit {
	color: #195F91; }

.pun {
	color: #93A1A1; }

.opn {
	color: #93A1A1; }

.clo {
	color: #93A1A1; }

.tag {
	color: #008; }

.atn {
	color: teal; }

.atv {
	color: #DD1144; }

.dec {
	color: teal; }

.var {
	color: teal; }

.fun {
	color: #DC322F; }

/* Put a border around prettyprinted code snippets. */
pre.prettyprint {
	background-color: #F7F7F9;
	padding: 10px;
	border: 1px solid #E1E1E8; }

pre.prettyprint.linenums {
	box-shadow: 40px 0 0 #FBFBFC inset, 41px 0 0 #ECECF0 inset; }

/* Specify class=linenums on a pre to get line numbering */
ol.linenums {
	color: #1E347B;
	margin: 0 0 0 40px; }

ol.linenums li {
	color: #BEBEC5;
	line-height: 18px;
	padding-left: 12px;
	text-shadow: 0 1px 0 #FFFFFF; }

li.L0,
li.L1,
li.L2,
li.L3,
li.L5,
li.L6,
li.L7,
li.L8 {
	list-style-type: normal; }

/* Alternate shading for lines */
li.L1,
li.L3,
li.L5,
li.L7,
li.L9 {
	background: #eee; }