Index: doc/_build/html/_static/js/theme.js
===================================================================
diff -u -r3f791662c5264350e98c7431818c4554a9e82d06 -rbc30262fb086de2a3a72c5094a2c8d4017cd7e3b
--- doc/_build/html/_static/js/theme.js	(.../theme.js)	(revision 3f791662c5264350e98c7431818c4554a9e82d06)
+++ doc/_build/html/_static/js/theme.js	(.../theme.js)	(revision bc30262fb086de2a3a72c5094a2c8d4017cd7e3b)
@@ -1,47 +1,16 @@
 $( document ).ready(function() {
-    // Shift nav in mobile when clicking the menu.
-    $(document).on('click', "[data-toggle='wy-nav-top']", function() {
-      $("[data-toggle='wy-nav-shift']").toggleClass("shift");
-      $("[data-toggle='rst-versions']").toggleClass("shift");
-    });
-    // Close menu when you click a link.
-    $(document).on('click', ".wy-menu-vertical .current ul li a", function() {
-      $("[data-toggle='wy-nav-shift']").removeClass("shift");
-      $("[data-toggle='rst-versions']").toggleClass("shift");
-    });
-    $(document).on('click', "[data-toggle='rst-current-version']", function() {
-      $("[data-toggle='rst-versions']").toggleClass("shift-up");
-    });  
-    // Make tables responsive
-    $("table.docutils:not(.field-list)").wrap("<div class='wy-table-responsive'></div>");
+  // Shift nav in mobile when clicking the menu.
+  $("[data-toggle='wy-nav-top']").click(function() {
+    $("[data-toggle='wy-nav-shift']").toggleClass("shift");
+    $("[data-toggle='rst-versions']").toggleClass("shift");
+  });
+  // Close menu when you click a link.
+  $(".wy-menu-vertical .current ul li a").click(function() {
+    $("[data-toggle='wy-nav-shift']").removeClass("shift");
+    $("[data-toggle='rst-versions']").toggleClass("shift");
+  });
+  $("[data-toggle='rst-current-version']").click(function() {
+    $("[data-toggle='rst-versions']").toggleClass("shift-up");
+  });
+  $("table.docutils:not(.field-list").wrap("<div class='wy-table-responsive'></div>");
 });
-
-window.SphinxRtdTheme = (function (jquery) {
-    var stickyNav = (function () {
-        var navBar,
-            win,
-            stickyNavCssClass = 'stickynav',
-            applyStickNav = function () {
-                if (navBar.height() <= win.height()) {
-                    navBar.addClass(stickyNavCssClass);
-                } else {
-                    navBar.removeClass(stickyNavCssClass);
-                }
-            },
-            enable = function () {
-                applyStickNav();
-                win.on('resize', applyStickNav);
-            },
-            init = function () {
-                navBar = jquery('nav.wy-nav-side:first');
-                win    = jquery(window);
-            };
-        jquery(init);
-        return {
-            enable : enable
-        };
-    }());
-    return {
-        StickyNav : stickyNav
-    };
-}($));