From 31fc47aa7745940b3e2989c75ce50e43ec8975cf Mon Sep 17 00:00:00 2001
From: Zsailer <zachsailer@gmail.com>
Date: Thu, 27 Aug 2020 16:26:50 -0700
Subject: [PATCH] revert change in page alignment

---
 notebook/static/base/js/page.js | 18 +-----------------
 1 file changed, 1 insertion(+), 17 deletions(-)

diff --git a/notebook/static/base/js/page.js b/notebook/static/base/js/page.js
index 5682124a5..62935e1ab 100644
--- a/notebook/static/base/js/page.js
+++ b/notebook/static/base/js/page.js
@@ -27,7 +27,7 @@ define([
         // - header change
         // - page load
         var _handle_resize = $.proxy(this._resize_site, this);
-        
+
         $(window).resize(_handle_resize);
 
         // On document ready, resize codemirror.
@@ -61,8 +61,6 @@ define([
         this._resize_site();
     };
 
-
-
     Page.prototype._resize_site = function(e) {
         /**
          * Update the site's size.
@@ -74,21 +72,7 @@ define([
         if (!(e && e.target && e.target.tagName)) {
             $('div#site').height($(window).height() - $('#header').height());
         }
-        this._align_header_site();
     };
 
-
-
-    Page.prototype._align_header_site = function(e) {
-        /**
-         * Align the site and header divs
-         */
-        var header_div_element_width = this.header_div_element.outerWidth();
-        var header_container_width = $('div#header-container').outerWidth();
-        var margin_left = (header_div_element_width - header_container_width) / 2;
-
-        this.site_div_element.find('.container').css('margin-left', margin_left);
-    }
-
     return {'Page': Page};
 });