.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;
}

/* Specify class=linenums on a pre to get line numbering */
#page ol.linenums {
	list-style:decimal;
  	margin: 0 0 0 33px; /* IE indents via margin-left */
} 
ol.linenums li {
	padding-left: 12px;
	line-height: 18px;
}