Updated: Search Facet UI and + button

One can now search for a facet in a long, long list of facets.

The little green buttons have been resized slightly.