##// END OF EJS Templates
Check for pids when listing nbserver processes
Check for pids when listing nbserver processes

File last commit:

r16912:30744239
r17181:c8507215
Show More
codemirror.less
57 lines | 2.0 KiB | text/x-less | LessCssLexer
Brian E. Granger
Splitting notebook.less into separate files.
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
overriding baseLineHeight is not a good idea
r10886 line-height: @code_line_height; /* Changed from 1em to our global default */
Brian E. Granger
Cleaning up indentation and spacing of less files touched.
r13778 height: auto; /* Changed to auto to autogrow */
background: none; /* Changed from white to allow our bg to show through */
Brian E. Granger
Splitting notebook.less into separate files.
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
rollback #3358...
r10860 overflow-y: hidden;
overflow-x: auto;
Brian E. Granger
Splitting notebook.less into separate files.
r10730 }
.CodeMirror-lines {
Brian E. Granger
Cleaning up indentation and spacing of less files touched.
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
Splitting notebook.less into separate files.
r10730 }
Brian E. Granger
Fixing CM3 line numbers for cells.
r10735 .CodeMirror-linenumber {
Brian E. Granger
Cleaning up indentation and spacing of less files touched.
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
Fixing CM3 line numbers for cells.
r10735 }
.CodeMirror-gutters {
Brian E. Granger
Cleaning up indentation and spacing of less files touched.
r13778 // This is needed because our cell has rounded corners, otherwise the gutter area square
// corner cuts into the rounded cell border.
Jonathan Frederic
Get notebook running with Bootstrap3
r16912 border-bottom-left-radius: @border-radius-base;
border-top-left-radius: @border-radius-base;
Brian E. Granger
Fixing CM3 line numbers for cells.
r10735 }
Brian E. Granger
Splitting notebook.less into separate files.
r10730 .CodeMirror pre {
Brian E. Granger
Cleaning up indentation and spacing of less files touched.
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
Splitting notebook.less into separate files.
r10730 }
MinRK
forcefully hide CodeMirror scrollbars...
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;
}