##// END OF EJS Templates
Cleaning up indentation and spacing of less files touched.
Brian E. Granger -
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 height: auto; /* Changed to auto to autogrow */
15 background: none; /* Changed from white to allow our bg to show through */
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 // 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;
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 /* 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)
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