##// END OF EJS Templates
Cleaning up indentation and spacing of less files touched.
Brian E. Granger -
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 height: auto; /* Changed to auto to autogrow */
14 height: auto; /* Changed to auto to autogrow */
15 background: none; /* Changed from white to allow our bg to show through */
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 // This is needed to fine tune the position of the line numbers because we use the 0.4em in @code_padding
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.
41 // spacing in various places. Fine tuned to look right.
42 padding: 0 8px 0 4px;
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 /* In CM3 this went to 4px from 0 in CM2. We need the 0 value because of how we size */
53 /* In CM3 this went to 4px from 0 in CM2. We need the 0 value because of how we size */
54 /* .CodeMirror-lines */
54 /* .CodeMirror-lines */
55 padding: 0;
55 padding: 0;
56 border: 0;
56 border: 0;
57 .border-radius(0)
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