.com { color: #93a1a1; }
.lit { color: #195f91; }
.pun { color: #faa732; }
.pun, .opn, .clo { color: #93a1a1; }
.fun { color: #dc322f; }
.str, .atv { color: #D14; }
.kwd, .linenums .tag { color: #1e347b; }
.typ, .atn, .dec, .var { color: teal; }
.pln { color: #48484c; }
.sc_code .pln { color: #0b55cc; }
.prettyprint {
padding: 8px;
} #page ol.linenums {
list-style:decimal;
margin: 0 0 0 33px; } 
ol.linenums li {
padding-left: 12px;
line-height: 18px;
}