Show More
@@ -1,47 +1,50 | |||||
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; | |||
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 | |
42 | is no content in the output_subarea and the prompt. The main purpose of this is |
|
45 | is no content in the output_subarea and the prompt. The main purpose of this is | |
43 | to make sure that empty JavaScript output_subareas have no height. */ |
|
46 | to make sure that empty JavaScript output_subareas have no height. */ | |
44 | div.prompt:empty { |
|
47 | div.prompt:empty { | |
45 | padding-top: 0; |
|
48 | padding-top: 0; | |
46 | padding-bottom: 0; |
|
49 | padding-bottom: 0; | |
47 | } |
|
50 | } |
General Comments 0
You need to be logged in to leave comments.
Login now