documentation: minor cleanup.

diff --git a/documentation/search.js b/documentation/search.js
index 5346fa632922fb3933d022f62540e0ebcd366f4a..0faf0ec1a0ae8eae132d3d0cc3e3d96639918949 100644 (file)
--- a/documentation/search.js
+++ b/documentation/search.js
@@ -708,7 +708,6 @@ if(typeof document !== 'undefined') {
                     document.body.style.overflow = 'auto';
                     document.body.style.paddingRight = '0';
                 }
-
                 return false; /* so the form doesn't get sent */
 
             /* Copy (Markdown) link to keyboard */