Search UI

[ubmarco]

The filter tree and deep search UI needs improvements. Problems:

• Page numbers are missing for deep search
• Green background colors is too disturbing, too many colors are used
• Alternating background color for fragment groups disturbs more than it is useful

Solutions

• add page numbers to deep search
• highlight matches in bold primary color (no background)
• remove background color, the search score on the first group item indicates a block already