update pygment css