diff --git a/IPython/frontend/html/notebook/static/base/less/variables.less b/IPython/frontend/html/notebook/static/base/less/variables.less
index 2f356a6..5f7cdfb 100644
--- a/IPython/frontend/html/notebook/static/base/less/variables.less
+++ b/IPython/frontend/html/notebook/static/base/less/variables.less
@@ -2,9 +2,9 @@
@textColor: @black;
@baseFontSize: 13px;
-@baseLineHeight: 1.231;
-@monoFontFamily: monospace; // to allow user to customize their fonts
+@monoFontFamily: monospace; // to allow user to customize their fonts
// Our own global variables for all pages go here
-@corner_radius: 4px;
\ No newline at end of file
+@corner_radius: 4px;
+@code_line_height: 1.231em;
diff --git a/IPython/frontend/html/notebook/static/notebook/less/codemirror.less b/IPython/frontend/html/notebook/static/notebook/less/codemirror.less
index ee355b8..d7dcc4b 100644
--- a/IPython/frontend/html/notebook/static/notebook/less/codemirror.less
+++ b/IPython/frontend/html/notebook/static/notebook/less/codemirror.less
@@ -10,7 +10,7 @@
*/
.CodeMirror {
- line-height: @baseLineHeight; /* Changed from 1em to our global default */
+ line-height: @code_line_height; /* Changed from 1em to our global default */
height: auto; /* Changed to auto to autogrow */
background: none; /* Changed from white to allow our bg to show through */
}
diff --git a/IPython/frontend/html/notebook/static/notebook/less/outputarea.less b/IPython/frontend/html/notebook/static/notebook/less/outputarea.less
index a69c3f6..fc6de48 100644
--- a/IPython/frontend/html/notebook/static/notebook/less/outputarea.less
+++ b/IPython/frontend/html/notebook/static/notebook/less/outputarea.less
@@ -37,7 +37,7 @@ div.output_text {
color: @textColor;
font-family: @monoFontFamily;
/* This has to match that of the the CodeMirror class line-height below */
- line-height: @baseLineHeight;
+ line-height: @code_line_height;
}
/* stdout/stderr are 'text' as well as 'stream', but pyout/pyerr are *not* streams */
diff --git a/IPython/frontend/html/notebook/static/notebook/less/pager.less b/IPython/frontend/html/notebook/static/notebook/less/pager.less
index 03c6a60..ba9d9ed 100644
--- a/IPython/frontend/html/notebook/static/notebook/less/pager.less
+++ b/IPython/frontend/html/notebook/static/notebook/less/pager.less
@@ -13,7 +13,7 @@ div#pager {
pre {
font-size: @baseFontSize;
- line-height: @baseLineHeight;
+ line-height: @code_line_height;
color: @textColor;
background-color: @cell_background;
padding: 0.4em;