##// END OF EJS Templates
Removed #4986
Jonathan Frederic -
Show More
@@ -1,50 +1,47 b''
1 div.cell {
1 div.cell {
2 border: 1px solid transparent;
2 border: 1px solid transparent;
3 .vbox();
3 .vbox();
4
4
5 &.selected {
5 &.selected {
6 .corner-all;
6 .corner-all;
7 border : thin @border_color solid;
7 border : thin @border_color solid;
8 }
8 }
9
9
10 &.edit_mode {
10 &.edit_mode {
11 .corner-all;
11 .corner-all;
12 border : thin green solid;
12 border : thin green solid;
13 }
13 }
14 }
14 }
15
15
16 div.cell {
16 div.cell {
17 width: 100%;
17 width: 100%;
18 padding: 5px 5px 5px 0px;
18 padding: 5px 5px 5px 0px;
19 /* This acts as a spacer between cells, that is outside the border */
19 /* This acts as a spacer between cells, that is outside the border */
20 margin: 0px;
20 margin: 0px;
21 outline: none;
21 outline: none;
22 }
22 }
23
23
24 div.prompt {
24 div.prompt {
25 /* This needs to be wide enough for 3 digit prompt numbers: In[100]: */
25 /* This needs to be wide enough for 3 digit prompt numbers: In[100]: */
26 min-width: 11ex;
26 min-width: 11ex;
27 /* This padding is tuned to match the padding on the CodeMirror editor. */
27 /* This padding is tuned to match the padding on the CodeMirror editor. */
28 padding: @code_padding;
28 padding: @code_padding;
29 margin: 0px;
29 margin: 0px;
30 font-family: @monoFontFamily;
30 font-family: @monoFontFamily;
31 text-align: right;
31 text-align: right;
32 /* This has to match that of the the CodeMirror class line-height below */
32 /* This has to match that of the the CodeMirror class line-height below */
33 line-height: @code_line_height;
33 line-height: @code_line_height;
34 }
34 }
35
35
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;
42 }
39 }
43
40
44 /* This is needed so that empty prompt areas can collapse to zero height when there
41 /* This is needed so that empty prompt areas can collapse to zero height when there
45 is no content in the output_subarea and the prompt. The main purpose of this is
42 is no content in the output_subarea and the prompt. The main purpose of this is
46 to make sure that empty JavaScript output_subareas have no height. */
43 to make sure that empty JavaScript output_subareas have no height. */
47 div.prompt:empty {
44 div.prompt:empty {
48 padding-top: 0;
45 padding-top: 0;
49 padding-bottom: 0;
46 padding-bottom: 0;
50 }
47 }
General Comments 0
You need to be logged in to leave comments. Login now