/* 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: #080 }  /* string content */
  .kwd { color: #008 }  /* a keyword */
  .com { color: #800 }  /* a comment */
  .typ { color: #606 }  /* a type name */
  .lit { color: #066 }  /* a literal value */
  /* punctuation, lisp open bracket, lisp close bracket */
  .pun, .opn, .clo { color: #660 }
  .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 { 
	padding: 10px 3px 10px 10px; 
	margin: 0; 
	border: 1px dashed #c9c9c9; 
	width : 99%;
	width: 725px;
	max-width: 725px; 
	background-color: #fdfdfd; 
	overflow: auto; 
	max-height: 400px; 
	font-family: "Bitstream Vera Sans Mono" , "DejaVu Sans Mono", "Andale Mono" , Consolas, "Courier New" , Monaco, "Lucida Console" , "Liberation Mono", Fixedsys , monospace, serif !important; 
	font-size: 14px;
}

pre.prettyprint ol.linenums li { 
	line-height: 16px; 
	margin-left: 30px; 
}	
pre.prettyprint ol.linenums li span { 
	font-family: "Bitstream Vera Sans Mono" , "DejaVu Sans Mono", "Andale Mono" , Consolas, "Courier New" , Monaco, "Lucida Console" , "Liberation Mono", Fixedsys , monospace, serif !important; 
	font-size: 14px;
}

/* Specify class=linenums on a pre to get line numbering */
ol.linenums { margin-top: 0; margin-bottom: 0 ; } /* IE indents via margin-left */
li.L0,
li.L1,
li.L2,
li.L3,
li.L5,
li.L6,
li.L7,
li.L8 { 
	background-color: #fdfdfd; 
	color: #e7e7e7; 
	padding-left: 10px; 
	font-size: 10px; 
	font-family: "Bitstream Vera Sans Mono" , "Andale Mono" , "Lucida Sans Typewriter" , Consolas, "Courier New" , Monaco, "Lucida Console" , "Liberation Mono", "DejaVu Sans Mono", Fixedsys , monospace, serif; 
}
/* Alternate shading for lines */
li.L1,
li.L3,
li.L5,
li.L7,
li.L9 { background-color: #fafafa; }

ol.linenums li:nth-child(5n) { 
	color :#b9b9b9; 
	padding-left: 10px; 
	font-size: 10px; 
	font-family: "Bitstream Vera Sans Mono" , "Andale Mono" , "Lucida Sans Typewriter" , Consolas, "Courier New" , Monaco, "Lucida Console" , "Liberation Mono", "DejaVu Sans Mono", Fixedsys , monospace, serif;
}