add a missing css for pygment