.pln {
    color: #000000 /* #000 */
}

@media screen {
    .str {
        color: #993300 /* #080 */
    }

    .kwd {
        color: #0000FF /* #008 */
    }

    .com {
        color: #008000 /* #800 */
    }

    .typ {
        color: #1f4d7a /*#003322*/ /* #606 */
    }

    .lit {
        color: #000 /*#FF0000*/ /* #066 */
    }

    .pun {
        color: #000000 /* #660 */
    }

    .opn, .clo {
        color: #660
    }

    .tag {
        color: #A31515 /* #008 */
    }

    .atn {
        color: #FF0000 /* #606 */
    }

    .atv {
        color: #0000FF /* #080 */
    }

    .dec {
        color: #800080 /* #606 */
    }

    .var {
        color: #606
    }

    .fun {
        color: red
    }

    /* use standard colors for links in 'nocode': */
    a.nocode:link {
        color: #0000EE;
    }
    a.nocode:visited {
        color: #551A8B;
    }
    a.nocode:hover {
        color: #0000FF;
    }
    a.nocode:active {
        color: #FF0000;
    }
    .nocode {
        color: inherit;
        background-color: lemonchiffon;
    }
}

@media print,projection {
    .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, .opn, .clo {
        color: #440
    }

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

    .atn {
        color: #404
    }

    .atv {
        color: #060
    }
}

pre.prettyprint {
    color: #000;
    background: white;/*white*/
    font-family: Consolas, Monaco, "Courier New", monospace; /**/
    font-size: 9pt; /**/
    padding: 2px;
    border: 1px solid #888;
}

ol.linenums {
    margin-top: 0;
    margin-bottom: 0;
    color: #707070;
}

li.L1, li.L3, li.L5, li.L7, li.L9 {
    background: #fafafa; /* #eee; */
}

li.L0, li.L1, li.L2, li.L3, li.L5, li.L6, li.L7, li.L8 {
    list-style-type: decimal;
}