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

.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; }

/* Specify class=linenums on a pre to get line numbering */
ol.linenums { margin-top: 0; margin-bottom: 0; margin-left: 12px; } /* IE indents via margin-left */
/* Alternate shading for lines */
li.L1,
li.L3,
li.L5,
li.L7,
li.L9 { background: #eee; width:2000px; }


.prettyprint { 
	position: relative; 
	background: #F7F7F7; 
	color: #333; 
	font-family: Courier, MonoSpace; 
	line-height: 1.2 !important;
	-moz-border-radius: 8px; -webkit-border-radius: 8px; border-radius: 8px; 	
	-moz-box-shadow: 0px 2px 4px #999;
	-webkit-box-shadow: 0px 2px 4px #999;
	box-shadow: 0px 2px 4px #999;
	border: solid 1px #999;
	font-size: 14px !important; 
	padding: 10px; 
	margin: 0 0 20px 0; 
	overflow: auto; 
	}
.prettyprint code { padding: 0; /* white-space: pre; */ color: #333; background: #F7F7F7; }
pre:after { content: attr(rel); position: absolute; font-size: 24px; top: 15px; line-height: 0; right: 12px; color: #999; font-family: Georgia;  }
.str { color: #080; }
.kwd { color: #008; }   /* Some CSS Values */
.com { color: #800; }       /* CSS Selector, CSS Comments */
.typ { color: #606; } /* e.g. Math.whatever */
.lit { color: #066; }    /* Some CSS Values */
.pun { color: #660; }      /* Separators, e.g. =, : */
.pln { color: #008; }   /* CSS Property */
.tag { color: #008; }    /* HTML Tag */
.atn { color: #606; }      /* HTML Attribute */
.atv { color: #080; }     /* String (quotes) */
.dec { color: #606; }       /* Sometimes DOCTYPE */
.explanation { background-color: #fefcaf; background-image: -moz-linear-gradient(top, #fefcaf, #fffeda); background-image: -webkit-gradient(linear,left top,left bottom,color-stop(0, #fefcaf),color-stop(1, #fffeda)); padding: 15px; margin: 0 0 20px 0; -webkit-box-shadow: 1px 1px 3px rgba(0,0,0,0.25); -moz-box-shadow: 1px 1px 3px rgba(0,0,0,0.25); box-shadow: 1px 1px 3px rgba(0,0,0,0.25); }
.explanation p { margin: 0; font-size: 16px; font-weight: bold; }


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