From: Vladimír Vondruš <mosra@centrum.cz>
Date: Wed, 5 Jan 2022 14:45:47 +0000 (+0100)
Subject: documentation: minor cleanup.
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~cjwatson/git?a=commitdiff_plain;h=9d8c6a5ee0bbc3f1a86db080af7c83ab257fad6c;p=blog.git

documentation: minor cleanup.
---

diff --git a/documentation/search.js b/documentation/search.js
index 5346fa63..0faf0ec1 100644
--- 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 */