From 05e5f948284ab5558ef0767093b09c37919a431f 2015-01-22 17:51:49
From: Jonathan Frederic <jon.freder@gmail.com>
Date: 2015-01-22 17:51:49
Subject: [PATCH] Be a little more clear about sizing logic.

---

diff --git a/IPython/html/static/edit/js/main.js b/IPython/html/static/edit/js/main.js
index 2dfc0c4..cb5f194 100644
--- a/IPython/html/static/edit/js/main.js
+++ b/IPython/html/static/edit/js/main.js
@@ -80,8 +80,15 @@ require([
     // Make sure the codemirror editor is sized appropriatley.
     var _handle_resize = function() {
         var header = $('#header');
-        var padding = header.outerHeight(true) - header.innerHeight();
-        $('div.CodeMirror').height(window.innerHeight - header.height() - 2*padding);
+
+        // The header doesn't have a margin or padding above it.  Calculate
+        // the lower margin&padding by subtracting the innerHeight from the
+        // outerHeight.
+        var header_margin_bottom = header.outerHeight(true) - header.innerHeight();
+
+        // When scaling CodeMirror, subtract the header lower margin from the
+        // height twice.  Once for top padding and once for bottom padding.
+        $('div.CodeMirror').height(window.innerHeight - header.height() - 2*header_margin_bottom);
     };
     window.onresize = _handle_resize;