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

.prettyprint { tab-size: 4; }
.prettyprint .pln { color: #000 }  /* plain text */
.prettyprint ol.linenums { margin: 0 } /* IE indents via margin-left */
.prettyprint ol { list-style-image: none; list-style-position:outside;
	color: #cecdc9; }
.prettyprint li { font-style: italic; }
.prettyprint li span { font-style: normal; }
.prettyprint .str { color: #107BA7; }  /* string content */
.prettyprint .kwd { color: #90865B }  /* a keyword */
.prettyprint .com { color: #666; font-style: italic;
	font-weight: normal; }  /* a comment */
.prettyprint .typ { color: #044C6A }  /* a type name */
.prettyprint .lit { color: #044C6A }  /* a literal value */
/* punctuation, lisp open bracket, lisp close bracket */
.prettyprint .pun, 
.prettyprint .opn, 
.prettyprint .clo { color: #600; }
.prettyprint .tag { color: #008 }  /* a markup tag name */
.prettyprint .atn { color: #606 }  /* a markup attribute name */
.prettyprint .atv { color: #080 }  /* a markup attribute value */
.prettyprint .dec, 
.prettyprint .var { color: #606 }  /* a declaration; a variable name */
.prettyprint .fun { color: red }  /* a function name */
.prettyprint {
  background-color: #F3F7F8;
  padding: 1em;
  margin-top: 1em;
  margin-bottom: 1em;
}
pre.linenums { 
  background-color: transparent;
  padding: 0;
  margin: 0;
  padding-left: 3px; 
  border-left: 1px solid #cecdc9 
}