codemirror.less
58 lines
| 2.0 KiB
| text/x-less
|
LessCssLexer
Brian E. Granger
|
r10730 | /* The following gets added to the <head> if it is detected that the user has a | ||
* monospace font with inconsistent normal/bold/italic height. See | ||||
* notebookmain.js. Such fonts will have keywords vertically offset with | ||||
* respect to the rest of the text. The user should select a better font. | ||||
* See: https://github.com/ipython/ipython/issues/1503 | ||||
* | ||||
* .CodeMirror span { | ||||
* vertical-align: bottom; | ||||
* } | ||||
*/ | ||||
.CodeMirror { | ||||
MinRK
|
r10886 | line-height: @code_line_height; /* Changed from 1em to our global default */ | ||
Jonathan Frederic
|
r19664 | font-size: @notebook_font_size; | ||
Brian E. Granger
|
r13778 | height: auto; /* Changed to auto to autogrow */ | ||
background: none; /* Changed from white to allow our bg to show through */ | ||||
Brian E. Granger
|
r10730 | } | ||
.CodeMirror-scroll { | ||||
/* The CodeMirror docs are a bit fuzzy on if overflow-y should be hidden or visible.*/ | ||||
/* We have found that if it is visible, vertical scrollbars appear with font size changes.*/ | ||||
MinRK
|
r10860 | overflow-y: hidden; | ||
overflow-x: auto; | ||||
Brian E. Granger
|
r10730 | } | ||
.CodeMirror-lines { | ||||
Brian E. Granger
|
r13778 | /* In CM2, this used to be 0.4em, but in CM3 it went to 4px. We need the em value because */ | ||
/* we have set a different line-height and want this to scale with that. */ | ||||
padding: @code_padding; | ||||
Brian E. Granger
|
r10730 | } | ||
Brian E. Granger
|
r10735 | .CodeMirror-linenumber { | ||
Brian E. Granger
|
r13778 | // This is needed to fine tune the position of the line numbers because we use the 0.4em in @code_padding | ||
// spacing in various places. Fine tuned to look right. | ||||
padding: 0 8px 0 4px; | ||||
Brian E. Granger
|
r10735 | } | ||
.CodeMirror-gutters { | ||||
Brian E. Granger
|
r13778 | // This is needed because our cell has rounded corners, otherwise the gutter area square | ||
// corner cuts into the rounded cell border. | ||||
Jonathan Frederic
|
r16912 | border-bottom-left-radius: @border-radius-base; | ||
border-top-left-radius: @border-radius-base; | ||||
Brian E. Granger
|
r10735 | } | ||
Brian E. Granger
|
r10730 | .CodeMirror pre { | ||
Brian E. Granger
|
r13778 | /* In CM3 this went to 4px from 0 in CM2. We need the 0 value because of how we size */ | ||
/* .CodeMirror-lines */ | ||||
padding: 0; | ||||
border: 0; | ||||
.border-radius(0) | ||||
Brian E. Granger
|
r10730 | } | ||
MinRK
|
r16797 | |||
// FIXME: This is a horrible workaround for CodeMirror bug #2562. | ||||
// Let's try not to release 3.0 with this. | ||||
.CodeMirror-vscrollbar, .CodeMirror-hscrollbar { | ||||
display: none !important; | ||||
} | ||||