added highlighter and prettify plugins