updated highlightjs