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