codemirror.less
52 lines
| 1.8 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 | |||