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 */ | ||
|
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 | } | ||
juhasch
|
r15694 | @-moz-document url-prefix() { | ||
|
MinRK
|
r15171 | /* Firefox does weird and terrible things (#3549) when overflow-x is auto */ | ||
| /* It doesn't respect the overflow setting anyway, so we can workaround it with this */ | ||||
| .CodeMirror-scroll { | ||||
| overflow-x: hidden; | ||||
| } | ||||
| } | ||||
|
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. | ||||
| border-bottom-left-radius: @baseBorderRadius; | ||||
| border-top-left-radius: @baseBorderRadius; | ||||
|
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 | } | ||