pre.prettyprint {
    border: 0 solid #888;
    font-family: Consolas, "Courier New", Courier, monospace;
    font-size: 13px;
    margin: 5px 0;
    padding: 0;
    line-height: 12pt;
}

.code {
    width: 90%;
    border: 1px solid #888;
}

.pln {
    color: #48494a;
}
.str {
    color: #080
}

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

.com {
    color: #800
}

.typ {
    color: #a9b7c6;
}

.lit {
    color: #6897bb
}

.pun, .opn, .clo {
    color: #a9b7c6
}

.tag {
    color: #008
}

.atn {
    color: #606
}

.atv {
    color: #080
}

.dec, .var {
    color: #606
}

.fun {
    color: red
}

ol.linenums {
    border-radius: 4px;
    padding: 15px 10px 15px;
    position: relative;
    border: 1px solid #ccc;
    background: #f9f9f9;
    margin: 2em 0;
}

/* IE indents via margin-left */
ol.linenums li {
    color: #eee;
    padding-left: 10px;
    list-style: none;
}

/*ol.linenums li:nth-of-type(2n-1) { list-style-type: decimal;background: #eee; }*/