/* Pretty printing styles. Used with prettify.js. */
/* SPAN elements with the classes below are added by prettyprint. */
.pln{color:#000}  /* plain text */
@media screen{
	.str{color:#600030}  /* string content */
	.kwd{color:#0000B0}  /* a keyword */
	.com{color:#007000}  /* a comment */
	.typ{color:#000}  /* a type name */
	.lit{color:#000}  /* a literal value */
	/* punctuation, lisp open bracket, lisp close bracket */
	.pun,.opn,.clo{color:#000}
	.tag{color:#008}  /* a markup tag name */
	.atn{color:#606}  /* a markup attribute name */
	.atv{color:#080}  /* a markup attribute value */
	.dec,.var{color:#606}  /* a declaration; a variable name */
	.fun{color:red}  /* a function name */
}
/* Use higher contrast and text-weight for printable form. */
@media print,projection{
	.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,.opn,.clo{color:#440}
	.tag{color:#006;font-weight:bold}
	.atn{color:#404}
	.atv{color:#060}
}
/* Put a border around prettyprinted code snippets. */
pre.prettyprint{
	background-position: 34px;
	padding: 2px;
	border: 0px solid #888;
	float: left;
}
/* Specify class=linenums on a pre to get line numbering */
ol.linenums{ /* IE indents via margin-left */
	margin: 0px;
	list-style-type: decimal;
}
li.L0,li.L1,li.L2,li.L3,li.L5,li.L6,li.L7,li.L8{
	background: #F8F8F8;
}
/* Alternate shading for lines */
li.L1,li.L3,li.L5,li.L7,li.L9{
	background: #F8F8F8;
}
/* The 5th one */
li.L4{
	background: #F8F8F8;
}