Improve the display of search results
Instead of hardcoding some (ugly imho) colors and making the search result indication look like it's from 1995 (a good year, though), use theme colors, some shading and borders to show both which line and which parts of the line matched the search.
REVIEW: 128394
Differential Revision: https://phabricator.kde.org/D17744