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

.prettyprint .str {
    color: #8F9D6A;
}

.prettyprint .kwd {
    color: #CDA869;
}

.prettyprint .com {
    color: #5F5A60;
}

.prettyprint .typ {
    color: #9B703F;
}

.prettyprint .lit {
    color: #7587A6;
}

.prettyprint .pun {
    color: #F8F8F8;
}

.prettyprint .pln {
    color: #7587A6;
}

.prettyprint .tag {
    color: #9B703F;
}

.prettyprint .atn {
    color: #7587A6;
}

.prettyprint .atv {
    color: #8F9D6A;
}

.prettyprint .dec {
    color: #CDA869;
}

.prettyprint {
    border-left: 3px solid #CCCCCC;
    margin-left: 1.5em;
    padding-left: 1.5em;
}