Show More
@@ -202,7 +202,7 div.prompt { | |||
|
202 | 202 | font-family: monospace; |
|
203 | 203 | text-align: right; |
|
204 | 204 | /* This has to match that of the the CodeMirror class line-height below */ |
|
205 |
line-height: |
|
|
205 | line-height: @baseLineHeight; | |
|
206 | 206 | } |
|
207 | 207 | |
|
208 | 208 | div.input { |
@@ -308,7 +308,7 div.output_text { | |||
|
308 | 308 | color: @base_font_color; |
|
309 | 309 | font-family: monospace; |
|
310 | 310 | /* This has to match that of the the CodeMirror class line-height below */ |
|
311 |
line-height: |
|
|
311 | line-height: @baseLineHeight; | |
|
312 | 312 | } |
|
313 | 313 | |
|
314 | 314 | /* stdout/stderr are 'text' as well as 'stream', but pyout/pyerr are *not* streams */ |
@@ -368,7 +368,7 div.text_cell_render { | |||
|
368 | 368 | */ |
|
369 | 369 | |
|
370 | 370 | .CodeMirror { |
|
371 |
line-height: |
|
|
371 | line-height: @baseLineHeight; /* Changed from 1em to our global default */ | |
|
372 | 372 | height: auto; /* Changed to auto to autogrow */ |
|
373 | 373 | background: none; /* Changed from white to allow our bg to show through */ |
|
374 | 374 | } |
General Comments 0
You need to be logged in to leave comments.
Login now