/*
pre code[class]:after {
  content: 'highlight: ' attr(class);
  display: block; text-align: right;
  font-size: smaller;
  color: #CCC; background: white;
  border-top: solid 1px;
  padding-top: 0.5em;
}
*/

pre code {
  display: block;
  background: #FFFFEA;
  border:1px solid #B0B0B0;
  margin:0em 1em 0em 1em;
  padding:1em;
  font:100 0.85em verdana, arial, sans serif;
  /font:100 0.7em verdana, arial, sans serif;
  white-space: pre;
  -moz-border-radius:7px;
  width:auto;
  overflow-x: auto; /* Use horizontal scroller if needed; for Firefox 2, not needed in Firefox 3 */
  white-space: pre-wrap; /* css-3 */
  white-space: -moz-pre-wrap !important; /* Mozilla, since 1999 */
  white-space: -pre-wrap; /* Opera 4-6 */
  white-space: -o-pre-wrap; /* Opera 7 */
  /* width: 99%; */
  word-wrap: break-word; /* Internet Explorer 5.5+ */
}


.comment, .template_comment, .javadoc {
    color: #009900;
    font-style: italic;
}

.keyword, .ruby .function .keyword {
    color: #FF3300;
}

.function .keyword, .sub .keyword, .method {
    color: #663399;
}

.string, .attribute .value, .cdata, .filter .argument, .attr_selector {
    color: #FF0099;
}

.subst {
    color: #DAEFA3;
}

.regexp {
    color: #E9C062;
}

.function .title, .sub .identifier, .pi, .tag, .tag .keyword, .decorator, .ini .title, .shebang {
    color: #6666FF;
}

.class .title, .smalltalk .class, .javadoctag, .phpdoc {
    text-decoration: underline;
}

.symbol, .number {
    color: #CC00FF;
}

.params, .variable {
    color: #3E87E3;
}

.css .keyword {
    color: #CDA869;
}

.rules .keyword {
    color: #C5AF75;
}

.rules .value {
    color: #CF6A4C;
}

.css .id {
    color: #8B98AB;
}

.annotation {
    color: #9B859D;
}

.preprocessor {
    color: #8996A8;
}

.hexcolor, .css .number {
    color: #DD7B3B;
}

.css .function {
    color: #DAD085;
}

.diff .header, .chunk {
    background-color: #0E2231;
    color: #F8F8F8;
    font-style: italic;
}

.diff .change {
    background-color: #4A410D;
    color: #F8F8F8;
}

.addition {
    background-color: #253B22;
    color: #F8F8F8;
}

.deletion {
    background-color: #420E09;
    color: #F8F8F8;
}