bootstrap-select/docs/custom_theme/js/base.js

Bootstrap-select is a jQuery plugin that utilizes Bootstrap's dropdown.js to style and bring additional functionality to standard select elements.

/* Highlight */
$( document ).ready(function() {
    hljs.initHighlightingOnLoad();
    $('table').addClass('table table-striped table-hover');
    $('pre').addClass('highlight');
});

$('body').scrollspy({
    target: '.bs-sidebar',
});

$('.bs-sidebar').affix({
  offset: {
    top: 210
  }
});

/* Prevent disabled links from causing a page reload */
$("li.disabled a").click(function() {
    event.preventDefault();
});