diff --git a/docs/en/search.html b/docs/en/search.html
index 909c2dd230..d43d81d675 100644
--- a/docs/en/search.html
+++ b/docs/en/search.html
@@ -15,7 +15,10 @@
...
algolia: {
...
- algoliaOptions: '{ facetFilters: [ "tags:VERSION" ], hitsPerPage: 5 }'
+ algoliaOptions: {
+ facetFilters: [ "tags:VERSION" ],
+ hitsPerPage: 5
+ }
},
}Controlling the Location of the Search Bar #
By default, the search bar will be the rightmost element in the top navigation bar.
If you want to change the default location, add the searchBar flag in the headerLinks field of siteConfig.js in your desired location. For example, you may want the search bar in between your internal and external links.
const siteConfig = {
...