diff --git a/docs/source/_assets/js/app.js b/docs/source/_assets/js/app.js index 479579949..18383d100 100644 --- a/docs/source/_assets/js/app.js +++ b/docs/source/_assets/js/app.js @@ -14,8 +14,9 @@ Prism.highlightAll() anchors.options = { placement: 'left', class: 'text-slate-light' }; anchors.add(); +// Add shortcut to search input when pressing the "/" key document.onkeyup = function (e) { if (e.which == 191) { document.getElementById('docsearch').focus(); } -}; \ No newline at end of file +};