Increase the number of results of the doc search bar

Author: Dedelweiss

_includes/footer.html

@@ -106,7 +106,7 @@
     apiKey: 'fbc439670f5d4e3730cdcb715c359391',
     indexName: 'scala-lang',
     inputSelector: '#doc-search-bar',
-    algoliaOptions: { 'facetFilters': ["language:en"] },
+    algoliaOptions: { 'facetFilters': ["language:en"], 'hitsPerPage': 7 },
     debug: false // Set debug to true if you want to inspect the dropdown
   });
 }

resources/js/functions.js

@@ -338,7 +338,7 @@ $(document).ready(function() {
       resultsContainer: document.getElementById('result-container'),
       json: '/resources/json/search.json',
       searchResultTemplate: '<li><a href="{url}">{title}</a></li>',
-      limit: 7,
+      limit: 5,
     });
 
     $("#blog-search-bar").on("change paste keyup", function() {