@ -15,7 +15,7 @@
}
#texteditor-container {
.CodeMirror-gutter {
.CodeMirror-gutter, .CodeMirror-gutters {
@media print {
background-color: @body-bg;
@ -11,6 +11,7 @@
.CodeMirror {
line-height: @code_line_height; /* Changed from 1em to our global default */
font-size: @notebook_font_size;
height: auto; /* Changed to auto to autogrow */
background: none; /* Changed from white to allow our bg to show through */