Update javascripts/highlight.js

Better selection