diff --git a/doc/source/changelog/803.fixed.md b/doc/source/changelog/803.fixed.md new file mode 100644 index 0000000000..98126cba03 --- /dev/null +++ b/doc/source/changelog/803.fixed.md @@ -0,0 +1 @@ +Advanced search bar diff --git a/doc/source/conf.py b/doc/source/conf.py index a863a3b340..056d044875 100755 --- a/doc/source/conf.py +++ b/doc/source/conf.py @@ -74,6 +74,27 @@ "static_search": { "limit": 10, "minMatchCharLength": 2, + "search_filters": { + "Getting started": [ + "getting-started", + "getting-started/", + ], + "User guide": [ + "user-guide", + "user-guide/", + ], + "API reference": [ + "api/", + ], + "Examples": [ + "examples" + "examples/" + ], + "Contributing": [ + "contributing", + "contributing/", + ], + } }, } html_static_path = ["_static"]