Show More
@@ -36,6 +36,9 b' div.prompt {' | |||||
36 | div.inner_cell { |
|
36 | div.inner_cell { | |
37 | .vbox(); |
|
37 | .vbox(); | |
38 | .box-flex1(); |
|
38 | .box-flex1(); | |
|
39 | ||||
|
40 | /* This is required for FF to add scrollbars when code cells overflow. */ | |||
|
41 | overflow: auto; | |||
39 | } |
|
42 | } | |
40 |
|
43 | |||
41 | /* This is needed so that empty prompt areas can collapse to zero height when there |
|
44 | /* This is needed so that empty prompt areas can collapse to zero height when there |
@@ -72,7 +72,7 b' div.cell{border:1px solid transparent;display:-webkit-box;-webkit-box-orient:ver' | |||||
72 | div.cell.edit_mode{border-radius:4px;border:thin #008000 solid} |
|
72 | div.cell.edit_mode{border-radius:4px;border:thin #008000 solid} | |
73 | div.cell{width:100%;padding:5px 5px 5px 0;margin:0;outline:none} |
|
73 | div.cell{width:100%;padding:5px 5px 5px 0;margin:0;outline:none} | |
74 | div.prompt{min-width:11ex;padding:.4em;margin:0;font-family:monospace;text-align:right;line-height:1.231em} |
|
74 | div.prompt{min-width:11ex;padding:.4em;margin:0;font-family:monospace;text-align:right;line-height:1.231em} | |
75 | div.inner_cell{display:-webkit-box;-webkit-box-orient:vertical;-webkit-box-align:stretch;display:-moz-box;-moz-box-orient:vertical;-moz-box-align:stretch;display:box;box-orient:vertical;box-align:stretch;width:100%;-webkit-box-flex:1;-moz-box-flex:1;box-flex:1} |
|
75 | div.inner_cell{display:-webkit-box;-webkit-box-orient:vertical;-webkit-box-align:stretch;display:-moz-box;-moz-box-orient:vertical;-moz-box-align:stretch;display:box;box-orient:vertical;box-align:stretch;width:100%;-webkit-box-flex:1;-moz-box-flex:1;box-flex:1;overflow:auto} | |
76 | div.prompt:empty{padding-top:0;padding-bottom:0} |
|
76 | div.prompt:empty{padding-top:0;padding-bottom:0} | |
77 | div.input{page-break-inside:avoid;display:-webkit-box;-webkit-box-orient:horizontal;-webkit-box-align:stretch;display:-moz-box;-moz-box-orient:horizontal;-moz-box-align:stretch;display:box;box-orient:horizontal;box-align:stretch} |
|
77 | div.input{page-break-inside:avoid;display:-webkit-box;-webkit-box-orient:horizontal;-webkit-box-align:stretch;display:-moz-box;-moz-box-orient:horizontal;-moz-box-align:stretch;display:box;box-orient:horizontal;box-align:stretch} | |
78 | div.input_area{border:1px solid #cfcfcf;border-radius:4px;background:#f7f7f7} |
|
78 | div.input_area{border:1px solid #cfcfcf;border-radius:4px;background:#f7f7f7} |
@@ -1349,7 +1349,7 b' div.cell{border:1px solid transparent;display:-webkit-box;-webkit-box-orient:ver' | |||||
1349 | div.cell.edit_mode{border-radius:4px;border:thin #008000 solid} |
|
1349 | div.cell.edit_mode{border-radius:4px;border:thin #008000 solid} | |
1350 | div.cell{width:100%;padding:5px 5px 5px 0;margin:0;outline:none} |
|
1350 | div.cell{width:100%;padding:5px 5px 5px 0;margin:0;outline:none} | |
1351 | div.prompt{min-width:11ex;padding:.4em;margin:0;font-family:monospace;text-align:right;line-height:1.231em} |
|
1351 | div.prompt{min-width:11ex;padding:.4em;margin:0;font-family:monospace;text-align:right;line-height:1.231em} | |
1352 | div.inner_cell{display:-webkit-box;-webkit-box-orient:vertical;-webkit-box-align:stretch;display:-moz-box;-moz-box-orient:vertical;-moz-box-align:stretch;display:box;box-orient:vertical;box-align:stretch;width:100%;-webkit-box-flex:1;-moz-box-flex:1;box-flex:1} |
|
1352 | div.inner_cell{display:-webkit-box;-webkit-box-orient:vertical;-webkit-box-align:stretch;display:-moz-box;-moz-box-orient:vertical;-moz-box-align:stretch;display:box;box-orient:vertical;box-align:stretch;width:100%;-webkit-box-flex:1;-moz-box-flex:1;box-flex:1;overflow:auto} | |
1353 | div.prompt:empty{padding-top:0;padding-bottom:0} |
|
1353 | div.prompt:empty{padding-top:0;padding-bottom:0} | |
1354 | div.input{page-break-inside:avoid;display:-webkit-box;-webkit-box-orient:horizontal;-webkit-box-align:stretch;display:-moz-box;-moz-box-orient:horizontal;-moz-box-align:stretch;display:box;box-orient:horizontal;box-align:stretch} |
|
1354 | div.input{page-break-inside:avoid;display:-webkit-box;-webkit-box-orient:horizontal;-webkit-box-align:stretch;display:-moz-box;-moz-box-orient:horizontal;-moz-box-align:stretch;display:box;box-orient:horizontal;box-align:stretch} | |
1355 | div.input_area{border:1px solid #cfcfcf;border-radius:4px;background:#f7f7f7} |
|
1355 | div.input_area{border:1px solid #cfcfcf;border-radius:4px;background:#f7f7f7} |
General Comments 0
You need to be logged in to leave comments.
Login now