function AdjustMargin() {
    var navHeight = document.getElementById('NavigationSection').offsetHeight;
    //var leftContentHeight = document.getElementById('NavigationSection').offsetHeight;
    //var contentMinHeight = parseInt(document.getElementById('InteriorContentRight').style.minHeight);
    //var newHeight = contentMinHeight + parseInt(navHeight);
    
    document.getElementById('InteriorContentRight').style.marginTop = '-' + navHeight + 'px';
    //document.getElementById('InteriorContentRight').style.minHeight = newHeight.toString() + 'px';
    //document.getElementById('InteriorContentRight').style.height = newHeight.toString() + 'px';
}