Update docs.js

website/js/docs.js

@@ -87,7 +87,8 @@ $(document).ready(function () {
                 hitsPerPage: 25,
                 'facetFilters': [
                     'lang:' + $('html').attr('lang'),
-                    'version:' + $('html').attr('data-version')
+                    'version:' + $('html').attr('data-version'),
+                    'single-page:' + $('html').attr('data-single-page')
                 ]
             },
             debug: false