diff --git a/docs/source/_assets/js/app.js b/docs/source/_assets/js/app.js
index fb0940128..d2adbcc46 100644
--- a/docs/source/_assets/js/app.js
+++ b/docs/source/_assets/js/app.js
@@ -17,5 +17,6 @@ anchors.add()
 
 // Add shortcut to search input when pressing the "/" key
 Mousetrap.bind('/', function (e) {
+  e.preventDefault()
   document.getElementById('docsearch').focus()
-}, 'keyup')
+})