Adapt a few hardcoded background colors in search results

Make the background of the files and line numbers adapt to the
background color. Making it darker only works nicely for non-dark
backgrounds, but it's better than hardcoding a light background.

The highlight of the search results still has to be fixed.