optimize styling of search result highlighting
(cherry picked from commit 5eaaf79)
fix installation documentation
(cherry picked from commit 96b566f)