Renamed the pygment css file.