/* SPAN elements with the classes below are added by prettyprint. */
.pln { color: #333333; font-weight:bold; }  /* plain text */
@media screen {
    .str {
        color: #dd1144;
    }

    .kwd {
        color: #333333;
    }

    .com {
        color: #999988;
    }

    .typ {
        color: #445588;
    }

    .lit {
        color: #445588;
    }

    .pun {
        color: #333333;
    }

    .opn {
        color: #333333;
    }

    .clo {
        color: #333333;
    }

    .tag {
        color: navy;
    }

    .atn {
        color: teal;
    }

    .atv {
        color: #dd1144;
    }

    .dec {
        color: #333333;
    }

    .var {
        color: teal;
    }

    .fun {
        color: #990000;
    }
}
@media print, projection {
    .str {
        color: #006600;
    }

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

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

    .typ {
        color: #404;
        font-weight: bold;
    }

    .lit {
        color: #004444;
    }

    .pun, .opn, .clo {
        color: #444400;
    }

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

    .atn {
        color: #440044;
    }

    .atv {
        color: #006600;
    }
}
@media print, projection {
    .str {
        color: #006600;
    }

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

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

    .typ {
        color: #404;
        font-weight: bold;
    }

    .lit {
        color: #004444;
    }

    .pun, .opn, .clo {
        color: #444400;
    }

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

    .atn {
        color: #440044;
    }

    .atv {
        color: #006600;
    }
}

/* Use higher contrast and text-weight for printable form. */
@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 }
}

/* Put a border around prettyprinted code snippets. */
pre.prettyprint {

    padding: 0px !important;
    margin:0px !important;
    background: #fff;
    font-family: Consolas, "Liberation Mono", Menlo, Courier, monospace;
    font-size: 12px;
    line-height: 1.5;
    padding: 10px;
    border: none !important;

}

/* Specify class=linenums on a pre to get line numbering */
ol.linenums { margin-top: 0; margin-bottom: 0 } /* IE indents via margin-left */
li.L0,
li.L1,
li.L2,
li.L3,
li.L5,
li.L6,
li.L7,
li.L8 { list-style-type: none }
/* Alternate shading for lines */
li.L1,
li.L3,
li.L5,
li.L7,
li.L9 { background: #f1f1f1 }

.prettyprint ol.linenums > li { list-style-type: decimal; }