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

.str { color: #B00; }  /* Strings */
.kwd { color: #00B; font-weight: bold; }  /* Keywords */
.com { color: #0A5; }  /* Comments */
.typ { color: #C60; }  /* Data types */
.lit { color: #B00; }  /* Literals */
.pun { color: #606; }  /* Punctuation (operators) */
.pln { color: #000; }  /* Plain text */
.tag { color: #008; }  /* ??? (tags in html?) */
.atn { color: #606; }  /* ??? (attr names?) */
.atv { color: #080; }  /* ??? (attr values?) */
.dec { color: #606; }  /* ??? */

/* 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 { list-style-type: none }
/* Alternate shading for lines */
li.L1,
li.L3,
li.L5,
li.L7,
li.L9 { background: #eee }

.source {
  color: black;
  background-color: white;
  font-style: normal;
  font-weight: bold;
  margin-bottom: 1.25em;
  border: 1px solid #888;
  padding: 2px;
  max-height: 500px;
  overflow: auto;
  font-size: 15px;
  line-height: 15px;
}
.source pre {
  /* Font list from StackOverflow.com ... */
  font-family: Consolas,Menlo,Monaco,Lucida Console,Liberation Mono,DejaVu Sans Mono,Bitstream Vera Sans Mono,Courier New,monospace,serif;
}
.line_nums {
  float: left;
  background-color: #CCC;
  padding: 0 0.25em;
  margin-right: 0.5em;
  text-align: right;
  border-right: 1px solid #888;
}

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