Show More
@@ -66,8 +66,6 b'' | |||||
66 | .box-flex1(); |
|
66 | .box-flex1(); | |
67 | } |
|
67 | } | |
68 |
|
68 | |||
69 |
|
||||
70 |
|
||||
71 | .box-flex2 { |
|
69 | .box-flex2 { | |
72 | -webkit-box-flex: 2; |
|
70 | -webkit-box-flex: 2; | |
73 | -moz-box-flex: 2; |
|
71 | -moz-box-flex: 2; |
@@ -11,8 +11,8 b'' | |||||
11 |
|
11 | |||
12 | .CodeMirror { |
|
12 | .CodeMirror { | |
13 | line-height: @code_line_height; /* Changed from 1em to our global default */ |
|
13 | line-height: @code_line_height; /* Changed from 1em to our global default */ | |
14 |
|
|
14 | height: auto; /* Changed to auto to autogrow */ | |
15 |
|
|
15 | background: none; /* Changed from white to allow our bg to show through */ | |
16 | } |
|
16 | } | |
17 |
|
17 | |||
18 | .CodeMirror-scroll { |
|
18 | .CodeMirror-scroll { | |
@@ -23,36 +23,36 b'' | |||||
23 | } |
|
23 | } | |
24 |
|
24 | |||
25 | @-moz-document url-prefix() { |
|
25 | @-moz-document url-prefix() { | |
26 | /* Firefox does weird and terrible things (#3549) when overflow-x is auto */ |
|
26 | /* Firefox does weird and terrible things (#3549) when overflow-x is auto */ | |
27 | /* It doesn't respect the overflow setting anyway, so we can workaround it with this */ |
|
27 | /* It doesn't respect the overflow setting anyway, so we can workaround it with this */ | |
28 | .CodeMirror-scroll { |
|
28 | .CodeMirror-scroll { | |
29 | overflow-x: hidden; |
|
29 | overflow-x: hidden; | |
30 | } |
|
30 | } | |
31 | } |
|
31 | } | |
32 |
|
32 | |||
33 | .CodeMirror-lines { |
|
33 | .CodeMirror-lines { | |
34 | /* In CM2, this used to be 0.4em, but in CM3 it went to 4px. We need the em value because */ |
|
34 | /* In CM2, this used to be 0.4em, but in CM3 it went to 4px. We need the em value because */ | |
35 | /* we have set a different line-height and want this to scale with that. */ |
|
35 | /* we have set a different line-height and want this to scale with that. */ | |
36 | padding: @code_padding; |
|
36 | padding: @code_padding; | |
37 | } |
|
37 | } | |
38 |
|
38 | |||
39 | .CodeMirror-linenumber { |
|
39 | .CodeMirror-linenumber { | |
40 |
|
|
40 | // This is needed to fine tune the position of the line numbers because we use the 0.4em in @code_padding | |
41 |
|
|
41 | // spacing in various places. Fine tuned to look right. | |
42 |
|
|
42 | padding: 0 8px 0 4px; | |
43 | } |
|
43 | } | |
44 |
|
44 | |||
45 | .CodeMirror-gutters { |
|
45 | .CodeMirror-gutters { | |
46 | // This is needed because our cell has rounded corners, otherwise the gutter area square |
|
46 | // This is needed because our cell has rounded corners, otherwise the gutter area square | |
47 | // corner cuts into the rounded cell border. |
|
47 | // corner cuts into the rounded cell border. | |
48 | border-bottom-left-radius: @baseBorderRadius; |
|
48 | border-bottom-left-radius: @baseBorderRadius; | |
49 | border-top-left-radius: @baseBorderRadius; |
|
49 | border-top-left-radius: @baseBorderRadius; | |
50 | } |
|
50 | } | |
51 |
|
51 | |||
52 | .CodeMirror pre { |
|
52 | .CodeMirror pre { | |
53 |
|
|
53 | /* In CM3 this went to 4px from 0 in CM2. We need the 0 value because of how we size */ | |
54 |
|
|
54 | /* .CodeMirror-lines */ | |
55 |
|
|
55 | padding: 0; | |
56 |
|
|
56 | border: 0; | |
57 |
|
|
57 | .border-radius(0) | |
58 | } |
|
58 | } |
@@ -20,5 +20,5 b'' | |||||
20 | } |
|
20 | } | |
21 |
|
21 | |||
22 | .completions select option.context { |
|
22 | .completions select option.context { | |
23 | color: @blueDark; |
|
23 | color: @blueDark; | |
24 | } |
|
24 | } |
@@ -2,7 +2,7 b'' | |||||
2 | body { |
|
2 | body { | |
3 | background-color: @bodyBackground; |
|
3 | background-color: @bodyBackground; | |
4 | } |
|
4 | } | |
5 |
|
5 | |||
6 | body.notebook_app { |
|
6 | body.notebook_app { | |
7 | overflow: hidden; |
|
7 | overflow: hidden; | |
8 | } |
|
8 | } | |
@@ -61,5 +61,5 b' p {' | |||||
61 | } |
|
61 | } | |
62 |
|
62 | |||
63 | .end_space { |
|
63 | .end_space { | |
64 | height: 200px; |
|
64 | height: 200px; | |
65 | } |
|
65 | } |
@@ -6,34 +6,34 b' div.output_wrapper {' | |||||
6 |
|
6 | |||
7 | /* class for the output area when it should be height-limited */ |
|
7 | /* class for the output area when it should be height-limited */ | |
8 | div.output_scroll { |
|
8 | div.output_scroll { | |
9 | /* ideally, this would be max-height, but FF barfs all over that */ |
|
9 | /* ideally, this would be max-height, but FF barfs all over that */ | |
10 | height: 24em; |
|
10 | height: 24em; | |
11 | /* FF needs this *and the wrapper* to specify full width, or it will shrinkwrap */ |
|
11 | /* FF needs this *and the wrapper* to specify full width, or it will shrinkwrap */ | |
12 | width: 100%; |
|
12 | width: 100%; | |
13 |
|
13 | |||
14 | overflow: auto; |
|
14 | overflow: auto; | |
15 | .corner-all; |
|
15 | .corner-all; | |
16 | .box-shadow(inset 0 2px 8px rgba(0, 0, 0, .8)); |
|
16 | .box-shadow(inset 0 2px 8px rgba(0, 0, 0, .8)); | |
17 | } |
|
17 | } | |
18 |
|
18 | |||
19 | /* output div while it is collapsed */ |
|
19 | /* output div while it is collapsed */ | |
20 | div.output_collapsed { |
|
20 | div.output_collapsed { | |
21 | margin: 0px; |
|
21 | margin: 0px; | |
22 | padding: 0px; |
|
22 | padding: 0px; | |
23 | .vbox(); |
|
23 | .vbox(); | |
24 | } |
|
24 | } | |
25 |
|
25 | |||
26 | div.out_prompt_overlay { |
|
26 | div.out_prompt_overlay { | |
27 | height: 100%; |
|
27 | height: 100%; | |
28 | padding: 0px @code_padding; |
|
28 | padding: 0px @code_padding; | |
29 | position: absolute; |
|
29 | position: absolute; | |
30 | .corner-all; |
|
30 | .corner-all; | |
31 | } |
|
31 | } | |
32 |
|
32 | |||
33 | div.out_prompt_overlay:hover { |
|
33 | div.out_prompt_overlay:hover { | |
34 | /* use inner shadow to get border that is computed the same on WebKit/FF */ |
|
34 | /* use inner shadow to get border that is computed the same on WebKit/FF */ | |
35 | .box-shadow(inset 0 0 1px #000); |
|
35 | .box-shadow(inset 0 0 1px #000); | |
36 | background: rgba(240, 240, 240, 0.5); |
|
36 | background: rgba(240, 240, 240, 0.5); | |
37 | } |
|
37 | } | |
38 |
|
38 | |||
39 | div.output_prompt { |
|
39 | div.output_prompt { | |
@@ -71,8 +71,8 b' div.output_area {' | |||||
71 | .vbox(); |
|
71 | .vbox(); | |
72 | } |
|
72 | } | |
73 |
|
73 | |||
74 |
div.output_area pre { |
|
74 | div.output_area pre { | |
75 |
font-family: @monoFontFamily; |
|
75 | font-family: @monoFontFamily; | |
76 | margin: 0; |
|
76 | margin: 0; | |
77 | padding: 0; |
|
77 | padding: 0; | |
78 | border: 0; |
|
78 | border: 0; | |
@@ -99,7 +99,7 b' div.output_text {' | |||||
99 | text-align: left; |
|
99 | text-align: left; | |
100 | color: @textColor; |
|
100 | color: @textColor; | |
101 | font-family: @monoFontFamily; |
|
101 | font-family: @monoFontFamily; | |
102 |
/* This has to match that of the the CodeMirror class line-height below */ |
|
102 | /* This has to match that of the the CodeMirror class line-height below */ | |
103 | line-height: @code_line_height; |
|
103 | line-height: @code_line_height; | |
104 | } |
|
104 | } | |
105 |
|
105 | |||
@@ -134,26 +134,28 b' div.output_jpeg {' | |||||
134 | /* raw_input styles */ |
|
134 | /* raw_input styles */ | |
135 |
|
135 | |||
136 | div.raw_input { |
|
136 | div.raw_input { | |
137 | padding-top: 0px; |
|
137 | padding-top: 0px; | |
138 | padding-bottom: 0px; |
|
138 | padding-bottom: 0px; | |
139 | height: 1em; |
|
139 | height: 1em; | |
140 | line-height: 1em; |
|
140 | line-height: 1em; | |
141 | font-family: @monoFontFamily; |
|
141 | font-family: @monoFontFamily; | |
142 | } |
|
142 | } | |
|
143 | ||||
143 | span.input_prompt { |
|
144 | span.input_prompt { | |
144 | font-family: inherit; |
|
145 | font-family: inherit; | |
145 | } |
|
146 | } | |
|
147 | ||||
146 | input.raw_input { |
|
148 | input.raw_input { | |
147 | font-family: inherit; |
|
149 | font-family: inherit; | |
148 | font-size: inherit; |
|
150 | font-size: inherit; | |
149 | color: inherit; |
|
151 | color: inherit; | |
150 | width: auto; |
|
152 | width: auto; | |
151 | margin: -2px 0px 0px 1px; |
|
153 | margin: -2px 0px 0px 1px; | |
152 | padding-left: 1px; |
|
154 | padding-left: 1px; | |
153 | padding-top: 2px; |
|
155 | padding-top: 2px; | |
154 | height: 1em; |
|
156 | height: 1em; | |
155 | } |
|
157 | } | |
156 |
|
158 | |||
157 | p.p-space { |
|
159 | p.p-space { | |
158 | margin-bottom: 10px; |
|
160 | margin-bottom: 10px; | |
159 | } |
|
161 | } |
General Comments 0
You need to be logged in to leave comments.
Login now