X-Git-Url: http://git.efficios.com/?a=blobdiff_plain;f=doc%2Fbindings%2Fpython%2Fsource%2F_themes%2Fsphinx_rtd_theme%2Fstatic%2Fjs%2Ftheme.js;fp=doc%2Fbindings%2Fpython%2Fsource%2F_themes%2Fsphinx_rtd_theme%2Fstatic%2Fjs%2Ftheme.js;h=60520cc3adb2c877fa5dc99de2ba32b9c41daff0;hb=4f5f37d9512a7fa57b5f98a973b009e47e9f4963;hp=0000000000000000000000000000000000000000;hpb=b3df7a8f0a8bc192cb7f35c7bc3434b216d874c8;p=babeltrace.git

diff --git a/doc/bindings/python/source/_themes/sphinx_rtd_theme/static/js/theme.js b/doc/bindings/python/source/_themes/sphinx_rtd_theme/static/js/theme.js
new file mode 100644
index 00000000..60520cc3
--- /dev/null
+++ b/doc/bindings/python/source/_themes/sphinx_rtd_theme/static/js/theme.js
@@ -0,0 +1,47 @@
+$( 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>");
+});
+
+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
+    };
+}($));