mirror/notebook
2
0
Fork 0
mirror of https://github.com/jupyter/notebook.git synced 2025-03-13 13:17:50 +08:00
Code Issues Packages Projects Releases Wiki Activity

overriding baseLineHeight is not a good idea

Browse Source
This commit is contained in:
MinRK 2013-05-30 17:01:58 -07:00
parent 1ee1ce3b3c
commit b8bf0831f2
4 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
IPython/frontend/html/notebook/static/base/less/variables.less
View File

@ -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;
@corner_radius: 4px;
@code_line_height: 1.231em;

2
IPython/frontend/html/notebook/static/notebook/less/codemirror.less
View File

@ -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 */
}

2
IPython/frontend/html/notebook/static/notebook/less/outputarea.less
View File

@ -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 */

2
IPython/frontend/html/notebook/static/notebook/less/pager.less
View File

@ -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;