Fixed #932 -- Highlighted currently selected search filters.

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