Show More
@@ -15,7 +15,7 b' div.cell {' | |||||
15 |
|
15 | |||
16 | div.prompt { |
|
16 | div.prompt { | |
17 | /* This needs to be wide enough for 3 digit prompt numbers: In[100]: */ |
|
17 | /* This needs to be wide enough for 3 digit prompt numbers: In[100]: */ | |
18 | width: 11ex; |
|
18 | min-width: 11ex; | |
19 | /* This 0.4em is tuned to match the padding on the CodeMirror editor. */ |
|
19 | /* This 0.4em is tuned to match the padding on the CodeMirror editor. */ | |
20 | padding: 0.4em; |
|
20 | padding: 0.4em; | |
21 | margin: 0px; |
|
21 | margin: 0px; |
@@ -55,7 +55,7 b' input.engine_num_input{height:20px;margin-bottom:2px;padding-top:0;padding-botto' | |||||
55 | .ansibgcyan{background-color:cyan;} |
|
55 | .ansibgcyan{background-color:cyan;} | |
56 | .ansibggray{background-color:gray;} |
|
56 | .ansibggray{background-color:gray;} | |
57 | div.cell{border:1px solid transparent;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%;padding:5px 5px 5px 0px;margin:2px 0px 2px 7px;outline:none;}div.cell.selected{border-radius:4px;border:thin #ababab solid;} |
|
57 | div.cell{border:1px solid transparent;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%;padding:5px 5px 5px 0px;margin:2px 0px 2px 7px;outline:none;}div.cell.selected{border-radius:4px;border:thin #ababab solid;} | |
58 | div.prompt{width:11ex;padding:0.4em;margin:0px;font-family:monospace;text-align:right;line-height:1.231em;} |
|
58 | div.prompt{min-width:11ex;padding:0.4em;margin:0px;font-family:monospace;text-align:right;line-height:1.231em;} | |
59 | 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;} |
|
59 | 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;} | |
60 | div.input_area{border:1px solid #cfcfcf;border-radius:4px;background:#f7f7f7;} |
|
60 | div.input_area{border:1px solid #cfcfcf;border-radius:4px;background:#f7f7f7;} | |
61 | div.input_prompt{color:navy;border-top:1px solid transparent;} |
|
61 | div.input_prompt{color:navy;border-top:1px solid transparent;} |
@@ -1436,7 +1436,7 b' input.engine_num_input{height:20px;margin-bottom:2px;padding-top:0;padding-botto' | |||||
1436 | .ansibgcyan{background-color:cyan;} |
|
1436 | .ansibgcyan{background-color:cyan;} | |
1437 | .ansibggray{background-color:gray;} |
|
1437 | .ansibggray{background-color:gray;} | |
1438 | div.cell{border:1px solid transparent;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%;padding:5px 5px 5px 0px;margin:2px 0px 2px 7px;outline:none;}div.cell.selected{border-radius:4px;border:thin #ababab solid;} |
|
1438 | div.cell{border:1px solid transparent;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%;padding:5px 5px 5px 0px;margin:2px 0px 2px 7px;outline:none;}div.cell.selected{border-radius:4px;border:thin #ababab solid;} | |
1439 | div.prompt{width:11ex;padding:0.4em;margin:0px;font-family:monospace;text-align:right;line-height:1.231em;} |
|
1439 | div.prompt{min-width:11ex;padding:0.4em;margin:0px;font-family:monospace;text-align:right;line-height:1.231em;} | |
1440 | 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;} |
|
1440 | 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;} | |
1441 | div.input_area{border:1px solid #cfcfcf;border-radius:4px;background:#f7f7f7;} |
|
1441 | div.input_area{border:1px solid #cfcfcf;border-radius:4px;background:#f7f7f7;} | |
1442 | div.input_prompt{color:navy;border-top:1px solid transparent;} |
|
1442 | div.input_prompt{color:navy;border-top:1px solid transparent;} |
General Comments 0
You need to be logged in to leave comments.
Login now