1 .com { color: #93a1a1; }
2 .lit { color: #195f91; }
3 .pun, .opn, .clo { color: #93a1a1; }
4 .fun { color: #dc322f; }
5 .str, .atv { color: #D14; }
6 .kwd, .prettyprint .tag { color: #1e347b; }
7 .typ, .atn, .dec, .var { color: teal; }
8 .pln { color: #48484c; }
12 background-color: #000;
13 color: #fff !important;
16 .prettyprint.linenums {
17 -webkit-box-shadow: inset 40px 0 0 #fbfbfc, inset 41px 0 0 #ececf0;
18 -moz-box-shadow: inset 40px 0 0 #fbfbfc, inset 41px 0 0 #ececf0;
19 box-shadow: inset 40px 0 0 #fbfbfc, inset 41px 0 0 #ececf0;
22 /* Specify class=linenums on a pre to get line numbering */
24 margin: 0 0 0 32px; /* IE indents via margin-left */
30 text-shadow: 0 1px 0 #fff;