Implementation of filters in custom search modal.

[vivekjain23]

Description of change

• Added facet filter on search bar.

Links to any relevant issues

fixes #1531

Type of change

• Enhancement (a non-breaking change which adds functionality)

Change checklist

Tick the boxes that are relevant to your changes, and delete any items that are not.

• I have followed the contribution guidelines for this project
• I have performed a self-review of my own changes
• I have made sure that added/changed links still work
• I have commented my code, particularly in hard-to-understand areas

[Dr-Electron]

This seems horrible to maintain. Can't we import this from configs or something similar?

[vivekjain23]

I think while updating the filter with instantSearch we can get rid of this.

[Dr-Electron]

Do we need to touch this file?
And please don't remove the commend at the top. It helps us keep track of swizzled versions of Docusaurus components

[vivekjain23]

It was needed to add few styles in the footer since while styling and alinging the filter, footer's position was getting disturbed.

[Dr-Electron]

Why did this get removed?

[jlvandenhout]

Just as a consideration, since we already have to change the search component provided by @docusaurus/theme-search-algolia anyway to support dynamic selection of facets to filter. We could also use the UI components provided by instantsearch, which supports facet filters out of the box. Basically the steps would be to swizzle the SearchBar component, like we already have to do anyway, like described here, build the UI using the Instantsearch components and style it so it matches the rest of the Wiki (which we also need to look at anyway for the rebrand).