Updated pygments css style sheet