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