in _static/js/theme.js [635:646]
handleLeftMenu: function () {
var windowHeight = utilities.windowHeight();
var topOfFooterRelativeToWindow = document.getElementById("docs-tutorials-resources").getBoundingClientRect().top;
if (topOfFooterRelativeToWindow >= windowHeight) {
document.getElementById("pytorch-left-menu").style.height = "100%";
} else {
var howManyPixelsOfTheFooterAreInTheWindow = windowHeight - topOfFooterRelativeToWindow;
var leftMenuDifference = howManyPixelsOfTheFooterAreInTheWindow;
document.getElementById("pytorch-left-menu").style.height = (windowHeight - leftMenuDifference) + "px";
}
},