Fix: Increase the number of results of the doc search bar#2719

julienrf merged 2 commits intoscala:mainscala/docs.scala-lang:mainfrom

Dedelweiss:searchDedelweiss/docs.scala-lang:searchCopy head branch name to clipboard