diff --git a/lib/std/special/docs/main.js b/lib/std/special/docs/main.js index 67ab1de005f781f518cdfc367655c95155144479..d40c7187b05756d2d673241610797c8b4a5d19d7 100644 --- a/lib/std/special/docs/main.js +++ b/lib/std/special/docs/main.js @@ -633,6 +633,10 @@ if (matchedItems.length !== 0) { resizeDomList(domListSearchResults, matchedItems.length, '