Made font of search results match text editor font

Before it would use Courier on all platforms, which didn't always look
nice. Now it uses the configured text editor font.

The file paths are now also normal size, at least personally I don't see
why they should use a larger font.