in src/main/resources/SLING-INF/libs/sling/resource-editor/static/js/MainController.js [154:168]
MainController.prototype.adjust_height = function(objectId){
var login_height = $("#login").outerHeight(true);
var header_height = $("#header").outerHeight(true);
var alert_height = $("#alerts").outerHeight(true);
var content_tab_height = $("#content-tabs").outerHeight(true);
var footer_height = $("#footer").outerHeight(true);
var tree_margin = $("#tree").outerHeight(true)-$("#tree").outerHeight(false);
var mainrow_margin = $("#main-row").outerHeight(true)-$("#main-row").outerHeight(false);
var usable_height = $(window).height() - login_height - header_height - alert_height - tree_margin - mainrow_margin - 15;
// activate again if the footer is needed
// var usable_height = $(window).height() - header_height - footer_height - tree_margin - 1;
$("#tree").height( usable_height );
$("#outer_content").height( usable_height-content_tab_height );
}