in versions/master/versions/master/versions/master/versions/master/versions/master/versions/v1_2_0/custom-theme/js/base.js [13:38]
function manageDocSidebar() {
if (window.matchMedia("(max-width: 992px)").matches) {
// menu above content
$("#docSidebar").css("height", 'initial');
$("#docSidebar").css("overflow-y", "initial");
}
else {
// side by side - menu + content
var sidebarHeight = $("#docSidebar").height();
console.log('sidebar at ' + sidebarHeight);
var visibleHeight = $( window ).height() - $('#navbar').height();
console.log('visible at ' + visibleHeight);
// Fix the sidebar height to the visible window
$("#docSidebar").css("height", visibleHeight);
// If the sidebar content is larger than visible height give it scrollability.
if (sidebarHeight <= visibleHeight) {
$("#docSidebar").css("overflow-y", "hidden");
}
else {
$("#docSidebar").css("overflow-y", "scroll");
}
}
}