post fixes for highlight.js