rem: $('span.highlight').each(function() { this.className = ''; }); 
add: $.each(terms, function() { body.highlightText(this.toLowerCase(), 'highlight'); }); 
context:     $('span.highlight').each(function() {      this.className = '';    });
meta: 3749	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/3749/5f340cf0d42a13af02141ec63548235f2b8823c2/doctools.js/buggy/sandbox/py-rest-doc/sphinx/style/doctools.js