Fixed #932 -- Highlighted currently selected search filters.

Highlighted filters have css style font-weight: bolder, because "bolder" is a slightly more apparent than "bold".