Updated doc examples to use elisp highlighting