make highlightjs work on polyfilled browsers