Making search highlighting bright yellow

I wasn't crazy about that "dirty" yellow color used for search highlighting, so I've changed it to a more "highlighter-yellow" here.