Minor refactoring of jQuery.highlight
Replace $('body') with $(document.documentElement) pervasively