update css for pygment version