Show More
@@ -367,6 +367,12 b' div.cell.selected {' | |||||
367 | div.cell.edit_mode { |
|
367 | div.cell.edit_mode { | |
368 | border-color: green; |
|
368 | border-color: green; | |
369 | } |
|
369 | } | |
|
370 | /* Don't border the cells when printing */ | |||
|
371 | @media print { | |||
|
372 | div.cell { | |||
|
373 | border-color: transparent !important; | |||
|
374 | } | |||
|
375 | } | |||
370 | div.prompt { |
|
376 | div.prompt { | |
371 | /* This needs to be wide enough for 3 digit prompt numbers: In[100]: */ |
|
377 | /* This needs to be wide enough for 3 digit prompt numbers: In[100]: */ | |
372 | min-width: 15ex; |
|
378 | min-width: 15ex; | |
@@ -457,6 +463,12 b' div.unrecognized_cell .inner_cell a:hover {' | |||||
457 | display: none; |
|
463 | display: none; | |
458 | } |
|
464 | } | |
459 | } |
|
465 | } | |
|
466 | /* avoid page breaking on code cells when printing */ | |||
|
467 | @media print { | |||
|
468 | div.code_cell { | |||
|
469 | page-break-inside: avoid; | |||
|
470 | } | |||
|
471 | } | |||
460 | /* any special styling for code cells that are currently running goes here */ |
|
472 | /* any special styling for code cells that are currently running goes here */ | |
461 | div.input { |
|
473 | div.input { | |
462 | page-break-inside: avoid; |
|
474 | page-break-inside: avoid; |
@@ -7752,9 +7752,6 b' div#header {' | |||||
7752 | /* Initially hidden to prevent FLOUC */ |
|
7752 | /* Initially hidden to prevent FLOUC */ | |
7753 | display: none; |
|
7753 | display: none; | |
7754 | background-color: #ffffff; |
|
7754 | background-color: #ffffff; | |
7755 | box-sizing: border-box; |
|
|||
7756 | -moz-box-sizing: border-box; |
|
|||
7757 | -webkit-box-sizing: border-box; |
|
|||
7758 | /* Display over codemirror */ |
|
7755 | /* Display over codemirror */ | |
7759 | z-index: 100; |
|
7756 | z-index: 100; | |
7760 | } |
|
7757 | } | |
@@ -8210,6 +8207,12 b' div.cell.selected {' | |||||
8210 | div.cell.edit_mode { |
|
8207 | div.cell.edit_mode { | |
8211 | border-color: green; |
|
8208 | border-color: green; | |
8212 | } |
|
8209 | } | |
|
8210 | /* Don't border the cells when printing */ | |||
|
8211 | @media print { | |||
|
8212 | div.cell { | |||
|
8213 | border-color: transparent !important; | |||
|
8214 | } | |||
|
8215 | } | |||
8213 | div.prompt { |
|
8216 | div.prompt { | |
8214 | /* This needs to be wide enough for 3 digit prompt numbers: In[100]: */ |
|
8217 | /* This needs to be wide enough for 3 digit prompt numbers: In[100]: */ | |
8215 | min-width: 15ex; |
|
8218 | min-width: 15ex; | |
@@ -8300,6 +8303,12 b' div.unrecognized_cell .inner_cell a:hover {' | |||||
8300 | display: none; |
|
8303 | display: none; | |
8301 | } |
|
8304 | } | |
8302 | } |
|
8305 | } | |
|
8306 | /* avoid page breaking on code cells when printing */ | |||
|
8307 | @media print { | |||
|
8308 | div.code_cell { | |||
|
8309 | page-break-inside: avoid; | |||
|
8310 | } | |||
|
8311 | } | |||
8303 | /* any special styling for code cells that are currently running goes here */ |
|
8312 | /* any special styling for code cells that are currently running goes here */ | |
8304 | div.input { |
|
8313 | div.input { | |
8305 | page-break-inside: avoid; |
|
8314 | page-break-inside: avoid; | |
@@ -9495,6 +9504,13 b' p {' | |||||
9495 | -webkit-box-shadow: 1px 4px 9px -6px rgba(0, 0, 0, 0.25); |
|
9504 | -webkit-box-shadow: 1px 4px 9px -6px rgba(0, 0, 0, 0.25); | |
9496 | box-shadow: 1px 4px 9px -6px rgba(0, 0, 0, 0.25); |
|
9505 | box-shadow: 1px 4px 9px -6px rgba(0, 0, 0, 0.25); | |
9497 | } |
|
9506 | } | |
|
9507 | /* Hide the header when printing */ | |||
|
9508 | @media print { | |||
|
9509 | #header, | |||
|
9510 | #header-spacer { | |||
|
9511 | display: none !important; | |||
|
9512 | } | |||
|
9513 | } | |||
9498 | /* CSS for the cell toolbar */ |
|
9514 | /* CSS for the cell toolbar */ | |
9499 | .celltoolbar { |
|
9515 | .celltoolbar { | |
9500 | border: thin solid #CFCFCF; |
|
9516 | border: thin solid #CFCFCF; | |
@@ -9681,7 +9697,6 b' fieldset[disabled] #kernel_selector_widget > button.active {' | |||||
9681 | margin-top: 0px; |
|
9697 | margin-top: 0px; | |
9682 | } |
|
9698 | } | |
9683 | #menubar { |
|
9699 | #menubar { | |
9684 | margin-top: 0px; |
|
|||
9685 | box-sizing: border-box; |
|
9700 | box-sizing: border-box; | |
9686 | -moz-box-sizing: border-box; |
|
9701 | -moz-box-sizing: border-box; | |
9687 | -webkit-box-sizing: border-box; |
|
9702 | -webkit-box-sizing: border-box; |
General Comments 0
You need to be logged in to leave comments.
Login now