Modify css for highlight.js