update pygment highlight