/* Pretty printing styles. Used with prettify.js. */
/* Solarized Light theme by Bart Bakker */

pre.prettyprint, code.prettyprint {
  font-family: "MyDejaVu";
  background-color: #fdf6e3;
  -moz-border-radius: 6px;
  -webkit-border-radius: 6px;
  -o-border-radius: 6px;
  -ms-border-radius: 6px;
  -khtml-border-radius: 6px;
  border-radius: 6px;
}

pre.prettyprint {
  width: 95%;
  margin: 1em auto;
  padding: 1em;
  white-space: pre-wrap;
  border: 1px solid #eee8d5;
/*  font-family: */
}

.kwd { color: #268bd2; } /* keyword */
.pln { color: #657b83; } /* plaintext */
.pun { color: #b58900; } /* punctuation */
.typ { color: #b58900; } /* type */
.com { color: #dc322f; font-style: italic; } /* comment */
.lit { color: #2aa198; } /* literal */
.str { color: #2aa198; } /* string */
.tag { color: #268bd2; } /* tag */
.atn { color: #657b83; } /* attribute name */
.atv { color: #2aa198; } /* attribute value */
.opn { color: #dc322f; } /* Lisp open bracket */
.clo { color: #dc322f; } /* Lisp close bracket */
.dec { color: #839496; font-style: italic; } /* declaration */

pre.prettyprint ol.linenums { color: #93a1a1; }
pre.prettyprint { line-height: 16px; padding-left: 12px; }