.prettyprint .str {
    color: #800000;
}

.prettyprint .atv {
    color: #080;
}

.prettyprint .kwd, .prettyprint .tag {
    color: #0000FF !important;
}

.prettyprint .com {
    color: #008000;
}

.prettyprint .typ, .prettyprint .atn, .prettyprint .dec {
    color: #000080;
}

.prettyprint .lit {
    color: black;
}

.prettyprint .pun {
    color: black;
}

.prettyprint .pln {
    color: #000;
}

pre.prettyprint {
    border: 1px solid #888;
    padding: 2px;
}

@media print {
    .str {
        color: #060;
    }

    .kwd, .tag {
        color: #006;
        font-weight: bold;
    }

    .com {
        color: #600;
        font-style: italic;
    }

    .typ {
        font-weight: bold;
    }

    .lit {
        color: #044;
    }

    .pun {
        color: #440;
    }

    .atn, .typ {
        color: #404;
    }

    .atv {
        color: #060;
    }
}