Replacing external prettify with internal highlight.js