Update docs.js

website/js/docs.js

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