Skip to content

Commit b79150d

Browse files
Updating docs
1 parent 9789f39 commit b79150d

22 files changed

Lines changed: 73 additions & 71 deletions

docs/_build/.buildinfo

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
11
# Sphinx build info version 1
22
# This file hashes the configuration used when building these files. When it is not found, a full rebuild will be done.
3-
config: 99ebc53a558f7db984f4096823bed80a
3+
config: bccdc9a187675bfcb7d70717ac25d551
44
tags: 645f666f9bcd5a90fca523b33c5a78b7
-479 Bytes
Binary file not shown.
-30 Bytes
Binary file not shown.
-15 Bytes
Binary file not shown.
-15 Bytes
Binary file not shown.
-30 Bytes
Binary file not shown.
3 Bytes
Binary file not shown.
-15 Bytes
Binary file not shown.

docs/_build/_static/basic.css

Lines changed: 1 addition & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@
44
*
55
* Sphinx stylesheet -- basic theme.
66
*
7-
* :copyright: Copyright 2007-2020 by the Sphinx team, see AUTHORS.
7+
* :copyright: Copyright 2007-2019 by the Sphinx team, see AUTHORS.
88
* :license: BSD, see LICENSE for details.
99
*
1010
*/
@@ -672,10 +672,6 @@ div.code-block-caption + div > div.highlight > pre {
672672
margin-top: 0;
673673
}
674674

675-
div.doctest > div.highlight span.gp { /* gp: Generic.Prompt */
676-
user-select: none;
677-
}
678-
679675
div.code-block-caption span.caption-number {
680676
padding: 0.1em 0.3em;
681677
font-style: italic;

docs/_build/_static/doctools.js

Lines changed: 3 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@
44
*
55
* Sphinx JavaScript utilities for all documentation.
66
*
7-
* :copyright: Copyright 2007-2020 by the Sphinx team, see AUTHORS.
7+
* :copyright: Copyright 2007-2019 by the Sphinx team, see AUTHORS.
88
* :license: BSD, see LICENSE for details.
99
*
1010
*/
@@ -283,11 +283,10 @@ var Documentation = {
283283
},
284284

285285
initOnKeyListeners: function() {
286-
$(document).keydown(function(event) {
286+
$(document).keyup(function(event) {
287287
var activeElementType = document.activeElement.tagName;
288288
// don't navigate when in search box or textarea
289-
if (activeElementType !== 'TEXTAREA' && activeElementType !== 'INPUT' && activeElementType !== 'SELECT'
290-
&& !event.altKey && !event.ctrlKey && !event.metaKey && !event.shiftKey) {
289+
if (activeElementType !== 'TEXTAREA' && activeElementType !== 'INPUT' && activeElementType !== 'SELECT') {
291290
switch (event.keyCode) {
292291
case 37: // left
293292
var prevHref = $('link[rel="prev"]').prop('href');

0 commit comments

Comments
 (0)