.com { color: rgb(147, 161, 161); }
.lit { color: rgb(25, 95, 145); }
.pun, .opn, .clo { color: rgb(147, 161, 161); }
.fun { color: rgb(220, 50, 47); }
.str, .atv { color: rgb(221, 17, 68); }
.kwd, .prettyprint .tag { color: rgb(30, 52, 123); }
.typ, .atn, .dec, .var { color: teal; }
.pln { color: rgb(72, 72, 76); }
.prettyprint { padding: 8px; background-color: rgb(247, 247, 249); border: 1px solid rgb(225, 225, 232); }
.prettyprint.linenums { box-shadow: 40px 0px 0px rgb(251, 251, 252) inset, 41px 0px 0px rgb(236, 236, 240) inset; }
ol.linenums { margin: 35px; }
ol.linenums li { padding-left: 12px; color: rgb(190, 190, 197); line-height: 20px; text-shadow: 0px 1px 0px rgb(255, 255, 255); }