doc/nlopt-mkdocs-theme/js/theme.js

   1 $( document ).ready(function() {
   2
   3     // Shift nav in mobile when clicking the menu.
   4     $(document).on('click', "[data-toggle='wy-nav-top']", function() {
   5       $("[data-toggle='wy-nav-shift']").toggleClass("shift");
   6       $("[data-toggle='rst-versions']").toggleClass("shift");
   7     });
   8
   9     // Close menu when you click a link.
  10     $(document).on('click', ".wy-menu-vertical .current ul li a", function() {
  11       $("[data-toggle='wy-nav-shift']").removeClass("shift");
  12       $("[data-toggle='rst-versions']").toggleClass("shift");
  13     });
  14
  15     $(document).on('click', "[data-toggle='rst-current-version']", function() {
  16       $("[data-toggle='rst-versions']").toggleClass("shift-up");
  17     });
  18
  19     // Make tables responsive
  20     $("table.docutils:not(.field-list)").wrap("<div class='wy-table-responsive'></div>");
  21
  22     hljs.initHighlightingOnLoad();
  23
  24     $('table').addClass('docutils');
  25 });
  26
  27 window.SphinxRtdTheme = (function (jquery) {
  28     var stickyNav = (function () {
  29         var navBar,
  30             win,
  31             stickyNavCssClass = 'stickynav',
  32             applyStickNav = function () {
  33                 if (navBar.height() <= win.height()) {
  34                     navBar.addClass(stickyNavCssClass);
  35                 } else {
  36                     navBar.removeClass(stickyNavCssClass);
  37                 }
  38             },
  39             enable = function () {
  40                 applyStickNav();
  41                 win.on('resize', applyStickNav);
  42             },
  43             init = function () {
  44                 navBar = jquery('nav.wy-nav-side:first');
  45                 win    = jquery(window);
  46             };
  47         jquery(init);
  48         return {
  49             enable : enable
  50         };
  51     }());
  52     return {
  53         StickyNav : stickyNav
  54     };
  55 }($));