Implement new shortcuts:

- "s" and "/" for Focus search bar
- "h" - clear highlighted text

Fixes #691.

Author: marxin

doc/usage/theming.rst

@@ -155,8 +155,9 @@ These themes are:
     want a width limit. Defaults may depend on the theme (often 800px).
 
   - **navigation_with_keys** (true or false): Allow navigating to the
-    previous/next page using the keyboard's left and right arrows.  Defaults to
-    ``False``.
+    previous/next page using the keyboard's left and right arrows.
+    Apart from that, 's' and '/' jumps to Quick search and 'c'
+    hides search matches. Defaults to ``False``.
 
   - **globaltoc_collapse** (true or false): Only expand subsections
     of the current document in ``globaltoc.html``

sphinx/themes/basic/static/doctools.js

@@ -294,21 +294,28 @@ var Documentation = {
       if (activeElementType !== 'TEXTAREA' && activeElementType !== 'INPUT' && activeElementType !== 'SELECT'
           && activeElementType !== 'BUTTON' && !event.altKey && !event.ctrlKey && !event.metaKey
           && !event.shiftKey) {
-        switch (event.keyCode) {
-          case 37: // left
+        switch (event.key) {
+          case 'ArrowLeft':
             var prevHref = $('link[rel="prev"]').prop('href');
             if (prevHref) {
               window.location.href = prevHref;
               return false;
             }
-            break;
-          case 39: // right
+          case 'ArrowRight':
             var nextHref = $('link[rel="next"]').prop('href');
             if (nextHref) {
               window.location.href = nextHref;
               return false;
             }
-            break;
+          case '/':
+          case 's':
+            $('input[name=q]').focus();
+            return false;
+          case 'h':
+            newurl = window.location.href.replace(new RegExp('\\?highlight=[^#]*'), '');
+            history.pushState({}, null, newurl);
+            Documentation.hideSearchWords();
+            return false;
         }
       }
     });