updating pygments css