span.rn, span.ri { color: #FF0000; }
span.gn, span.gi { color: #00FF00; }
span.bn, span.bi { color: #0000FF; }
span.cn, span.ci { color: #00FFFF; }
span.mn, span.mi { color: #FF00FF; }
span.yn, span.yi { color: #FFFF00; }

span.ri, span.gi, span.bi, span.ci, span.mi, span.yi { font-style: italic; }

span.tln, span.tli { font-size: larger; }
span.tli, span.tsi { font-style: italic; }
span.tsn, span.tsi { font-size: smaller; }