|
|
/* 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 {
|
|
|
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 */
|
|
|
}
|
|
|
|
|
|
.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.*/
|
|
|
overflow-y: hidden;
|
|
|
overflow-x: auto;
|
|
|
}
|
|
|
|
|
|
.CodeMirror-lines {
|
|
|
/* 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;
|
|
|
}
|
|
|
|
|
|
.CodeMirror-linenumber {
|
|
|
// 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;
|
|
|
}
|
|
|
|
|
|
.CodeMirror-gutters {
|
|
|
// 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;
|
|
|
}
|
|
|
|
|
|
.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)
|
|
|
}
|
|
|
|
|
|
// 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;
|
|
|
}
|
|
|
|
