Very lightweight (vanilla) Javascript that wraps search terms in an HTML5 mark tag within WordPress search results.

This plugin uses pygments to highlight code on the server, with a simple shortcode. For example, [pyg]print "Hi"[/pyg]).