Changed both examples to use JS highlighting