codemirror.less
50 lines
| 1.7 KiB
| text/x-less
|
LessCssLexer
|
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 { | ||||
|
r10886 | line-height: @code_line_height; /* Changed from 1em to our global default */ | ||
|
r10730 | height: auto; /* Changed to auto to autogrow */ | ||
background: none; /* Changed from white to allow our bg to show through */ | ||||
} | ||||
.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.*/ | ||||
|
r10860 | overflow-y: hidden; | ||
overflow-x: auto; | ||||
|
r10730 | } | ||
.CodeMirror-lines { | ||||
|
r10750 | /* 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: 0.4em; | ||||
|
r10730 | } | ||
|
r10735 | .CodeMirror-linenumber { | ||
// This is needed to fine tune the position of the line numbers because we use the 0.4em | ||||
// spacing in various places. Fine tuned to look right. | ||||
padding: 0 8px 0 4px; | ||||
} | ||||
.CodeMirror-gutters { | ||||
|
r10744 | // This is needed because our cell has rounded corners, otherwise the gutter area square | ||
// corner cuts into the rounded cell border. | ||||
border-bottom-left-radius: @corner_radius; | ||||
border-top-left-radius: @corner_radius; | ||||
|
r10735 | } | ||
|
r10730 | .CodeMirror pre { | ||
/* 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) | ||||
} | ||||