Add facet filters

JoelMarcey · JoelMarcey · commit 117d0d61ff27 · 2018-11-14T10:51:42.000-08:00
diff --git a/_includes/nav.html b/_includes/nav.html
@@ -13,6 +13,7 @@
 apiKey: 'e3b73ac141dff0b0fd27bdae9055bc73',
 indexName: 'pytorch',
 inputSelector: '#search_input_react',
+algoliaOptions: { 'facetFilters': ["tags:$TAGS"] },
 debug: false // Set debug to true if you want to inspect the dropdown
 });
 </script>
