dont use google highlighting, instead use highlight.js