##// END OF EJS Templates
upstream » ipython
RSS

Clone from https://github.com/ipython/ipython.git

Cleaning up indentation and spacing of less files touched.
Brian E. Granger -
Show More
Show file before | Show file after | Hide comments
@@ -1,105 +1,103 b''
1
1
2 /* Flexible box model classes */
2 /* Flexible box model classes */
3 /* Taken from Alex Russell http://infrequently.org/2009/08/css-3-progress/ */
3 /* Taken from Alex Russell http://infrequently.org/2009/08/css-3-progress/ */
4
4
5 .hbox {
5 .hbox {
6 display: -webkit-box;
6 display: -webkit-box;
7 -webkit-box-orient: horizontal;
7 -webkit-box-orient: horizontal;
8 -webkit-box-align: stretch;
8 -webkit-box-align: stretch;
9
9
10 display: -moz-box;
10 display: -moz-box;
11 -moz-box-orient: horizontal;
11 -moz-box-orient: horizontal;
12 -moz-box-align: stretch;
12 -moz-box-align: stretch;
13
13
14 display: box;
14 display: box;
15 box-orient: horizontal;
15 box-orient: horizontal;
16 box-align: stretch;
16 box-align: stretch;
17 }
17 }
18
18
19 .hbox > * {
19 .hbox > * {
20 -webkit-box-flex: 0;
20 -webkit-box-flex: 0;
21 -moz-box-flex: 0;
21 -moz-box-flex: 0;
22 box-flex: 0;
22 box-flex: 0;
23 }
23 }
24
24
25 .vbox {
25 .vbox {
26 display: -webkit-box;
26 display: -webkit-box;
27 -webkit-box-orient: vertical;
27 -webkit-box-orient: vertical;
28 -webkit-box-align: stretch;
28 -webkit-box-align: stretch;
29
29
30 display: -moz-box;
30 display: -moz-box;
31 -moz-box-orient: vertical;
31 -moz-box-orient: vertical;
32 -moz-box-align: stretch;
32 -moz-box-align: stretch;
33
33
34 display: box;
34 display: box;
35 box-orient: vertical;
35 box-orient: vertical;
36 box-align: stretch;
36 box-align: stretch;
37 /* width must be 100% to force FF to behave like webkit */
37 /* width must be 100% to force FF to behave like webkit */
38 width: 100%;
38 width: 100%;
39 }
39 }
40
40
41 .vbox > * {
41 .vbox > * {
42 -webkit-box-flex: 0;
42 -webkit-box-flex: 0;
43 -moz-box-flex: 0;
43 -moz-box-flex: 0;
44 box-flex: 0;
44 box-flex: 0;
45 }
45 }
46
46
47 .reverse {
47 .reverse {
48 -webkit-box-direction: reverse;
48 -webkit-box-direction: reverse;
49 -moz-box-direction: reverse;
49 -moz-box-direction: reverse;
50 box-direction: reverse;
50 box-direction: reverse;
51 }
51 }
52
52
53 .box-flex0 {
53 .box-flex0 {
54 -webkit-box-flex: 0;
54 -webkit-box-flex: 0;
55 -moz-box-flex: 0;
55 -moz-box-flex: 0;
56 box-flex: 0;
56 box-flex: 0;
57 }
57 }
58
58
59 .box-flex1 {
59 .box-flex1 {
60 -webkit-box-flex: 1;
60 -webkit-box-flex: 1;
61 -moz-box-flex: 1;
61 -moz-box-flex: 1;
62 box-flex: 1;
62 box-flex: 1;
63 }
63 }
64
64
65 .box-flex {
65 .box-flex {
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;
74 box-flex: 2;
72 box-flex: 2;
75 }
73 }
76
74
77 .box-group1 {
75 .box-group1 {
78 -webkit-box-flex-group: 1;
76 -webkit-box-flex-group: 1;
79 -moz-box-flex-group: 1;
77 -moz-box-flex-group: 1;
80 box-flex-group: 1;
78 box-flex-group: 1;
81 }
79 }
82
80
83 .box-group2 {
81 .box-group2 {
84 -webkit-box-flex-group: 2;
82 -webkit-box-flex-group: 2;
85 -moz-box-flex-group: 2;
83 -moz-box-flex-group: 2;
86 box-flex-group: 2;
84 box-flex-group: 2;
87 }
85 }
88
86
89 .start {
87 .start {
90 -webkit-box-pack: start;
88 -webkit-box-pack: start;
91 -moz-box-pack: start;
89 -moz-box-pack: start;
92 box-pack: start;
90 box-pack: start;
93 }
91 }
94
92
95 .end {
93 .end {
96 -webkit-box-pack: end;
94 -webkit-box-pack: end;
97 -moz-box-pack: end;
95 -moz-box-pack: end;
98 box-pack: end;
96 box-pack: end;
99 }
97 }
100
98
101 .center {
99 .center {
102 -webkit-box-pack: center;
100 -webkit-box-pack: center;
103 -moz-box-pack: center;
101 -moz-box-pack: center;
104 box-pack: center;
102 box-pack: center;
105 }
103 }
Show file before | Show file after | Hide comments
@@ -1,58 +1,58 b''
1 /* The following gets added to the <head> if it is detected that the user has a
1 /* The following gets added to the <head> if it is detected that the user has a
2 * monospace font with inconsistent normal/bold/italic height. See
2 * monospace font with inconsistent normal/bold/italic height. See
3 * notebookmain.js. Such fonts will have keywords vertically offset with
3 * notebookmain.js. Such fonts will have keywords vertically offset with
4 * respect to the rest of the text. The user should select a better font.
4 * respect to the rest of the text. The user should select a better font.
5 * See: https://github.com/ipython/ipython/issues/1503
5 * See: https://github.com/ipython/ipython/issues/1503
6 *
6 *
7 * .CodeMirror span {
7 * .CodeMirror span {
8 * vertical-align: bottom;
8 * vertical-align: bottom;
9 * }
9 * }
10 */
10 */
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 {
19 /* The CodeMirror docs are a bit fuzzy on if overflow-y should be hidden or visible.*/
19 /* The CodeMirror docs are a bit fuzzy on if overflow-y should be hidden or visible.*/
20 /* We have found that if it is visible, vertical scrollbars appear with font size changes.*/
20 /* We have found that if it is visible, vertical scrollbars appear with font size changes.*/
21 overflow-y: hidden;
21 overflow-y: hidden;
22 overflow-x: auto;
22 overflow-x: auto;
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 }
Show file before | Show file after | Hide comments
@@ -1,24 +1,24 b''
1 .completions {
1 .completions {
2 position: absolute;
2 position: absolute;
3 z-index: 10;
3 z-index: 10;
4 overflow: hidden;
4 overflow: hidden;
5 border: 1px solid @border_color;
5 border: 1px solid @border_color;
6 .corner-all;
6 .corner-all;
7 .box-shadow(0px 6px 10px -1px #adadad);
7 .box-shadow(0px 6px 10px -1px #adadad);
8 }
8 }
9
9
10 .completions select {
10 .completions select {
11 background: white;
11 background: white;
12 outline: none;
12 outline: none;
13 border: none;
13 border: none;
14 padding: 0px;
14 padding: 0px;
15 margin: 0px;
15 margin: 0px;
16 overflow: auto;
16 overflow: auto;
17 font-family: @monoFontFamily;
17 font-family: @monoFontFamily;
18 font-size: 110%;
18 font-size: 110%;
19 color: @textColor;
19 color: @textColor;
20 }
20 }
21
21
22 .completions select option.context {
22 .completions select option.context {
23 color: @blueDark;
23 color: @blueDark;
24 }
24 }
Show file before | Show file after | Hide comments
@@ -1,65 +1,65 b''
1
1
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 }
9
9
10 span#notebook_name {
10 span#notebook_name {
11 height: 1em;
11 height: 1em;
12 line-height: 1em;
12 line-height: 1em;
13 padding: 3px;
13 padding: 3px;
14 border: none;
14 border: none;
15 font-size: 146.5%;
15 font-size: 146.5%;
16 }
16 }
17
17
18 div#notebook_panel {
18 div#notebook_panel {
19 margin: 0px 0px 0px 0px;
19 margin: 0px 0px 0px 0px;
20 padding: 0px;
20 padding: 0px;
21 .box-shadow(0 -1px 10px rgba(0,0,0,.1));
21 .box-shadow(0 -1px 10px rgba(0,0,0,.1));
22 }
22 }
23 div#notebook {
23 div#notebook {
24 overflow-y: scroll;
24 overflow-y: scroll;
25 overflow-x: auto;
25 overflow-x: auto;
26 width: 100%;
26 width: 100%;
27 /* This spaces the cell away from the edge of the notebook area */
27 /* This spaces the cell away from the edge of the notebook area */
28 padding: 5px 5px 15px 5px;
28 padding: 5px 5px 15px 5px;
29 margin: 0px;
29 margin: 0px;
30 border-top: 1px solid @border_color;
30 border-top: 1px solid @border_color;
31 }
31 }
32
32
33 div.ui-widget-content {
33 div.ui-widget-content {
34 border: 1px solid @border_color;
34 border: 1px solid @border_color;
35 outline: none;
35 outline: none;
36 }
36 }
37
37
38 pre.dialog {
38 pre.dialog {
39 background-color: @cell_background;
39 background-color: @cell_background;
40 border: 1px solid #ddd;
40 border: 1px solid #ddd;
41 .corner-all;
41 .corner-all;
42 padding: 0.4em;
42 padding: 0.4em;
43 padding-left: 2em;
43 padding-left: 2em;
44 }
44 }
45
45
46 p.dialog {
46 p.dialog {
47 padding : 0.2em;
47 padding : 0.2em;
48 }
48 }
49
49
50 /* Word-wrap output correctly. This is the CSS3 spelling, though Firefox seems
50 /* Word-wrap output correctly. This is the CSS3 spelling, though Firefox seems
51 to not honor it correctly. Webkit browsers (Chrome, rekonq, Safari) do.
51 to not honor it correctly. Webkit browsers (Chrome, rekonq, Safari) do.
52 */
52 */
53 pre, code, kbd, samp { white-space: pre-wrap; }
53 pre, code, kbd, samp { white-space: pre-wrap; }
54
54
55 #fonttest {
55 #fonttest {
56 font-family: @monoFontFamily;
56 font-family: @monoFontFamily;
57 }
57 }
58
58
59 p {
59 p {
60 margin-bottom:0;
60 margin-bottom:0;
61 }
61 }
62
62
63 .end_space {
63 .end_space {
64 height: 200px;
64 height: 200px;
65 }
65 }
Show file before | Show file after | Hide comments
@@ -1,159 +1,161 b''
1 div.output_wrapper {
1 div.output_wrapper {
2 /* this position must be relative to enable descendents to be absolute within it */
2 /* this position must be relative to enable descendents to be absolute within it */
3 position: relative;
3 position: relative;
4 .vbox()
4 .vbox()
5 }
5 }
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 {
40 color: darkred;
40 color: darkred;
41 }
41 }
42
42
43 /* This class is the outer container of all output sections. */
43 /* This class is the outer container of all output sections. */
44 div.output_area {
44 div.output_area {
45 padding: 0px;
45 padding: 0px;
46 page-break-inside: avoid;
46 page-break-inside: avoid;
47 .hbox();
47 .hbox();
48
48
49 .MathJax_Display {
49 .MathJax_Display {
50 // Inside a CodeCell, elements are left justified
50 // Inside a CodeCell, elements are left justified
51 text-align: left !important;
51 text-align: left !important;
52 }
52 }
53
53
54 .rendered_html {
54 .rendered_html {
55 // Inside a CodeCell, elements are left justified
55 // Inside a CodeCell, elements are left justified
56 table {
56 table {
57 margin-left: 0;
57 margin-left: 0;
58 margin-right: 0;
58 margin-right: 0;
59 }
59 }
60
60
61 img {
61 img {
62 margin-left: 0;
62 margin-left: 0;
63 margin-right: 0;
63 margin-right: 0;
64 }
64 }
65 }
65 }
66 }
66 }
67
67
68 /* This is needed to protect the pre formating from global settings such
68 /* This is needed to protect the pre formating from global settings such
69 as that of bootstrap */
69 as that of bootstrap */
70 .output {
70 .output {
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;
79 font-size: 100%;
79 font-size: 100%;
80 vertical-align: baseline;
80 vertical-align: baseline;
81 color: black;
81 color: black;
82 background-color: transparent;
82 background-color: transparent;
83 .border-radius(0);
83 .border-radius(0);
84 line-height: inherit;
84 line-height: inherit;
85 }
85 }
86
86
87 /* This class is for the output subarea inside the output_area and after
87 /* This class is for the output subarea inside the output_area and after
88 the prompt div. */
88 the prompt div. */
89 div.output_subarea {
89 div.output_subarea {
90 padding: @code_padding @code_padding 0.0em @code_padding;
90 padding: @code_padding @code_padding 0.0em @code_padding;
91 .box-flex1();
91 .box-flex1();
92 }
92 }
93
93
94 /* The rest of the output_* classes are for special styling of the different
94 /* The rest of the output_* classes are for special styling of the different
95 output types */
95 output types */
96
96
97 /* all text output has this class: */
97 /* all text output has this class: */
98 div.output_text {
98 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
106 /* stdout/stderr are 'text' as well as 'stream', but pyout/pyerr are *not* streams */
106 /* stdout/stderr are 'text' as well as 'stream', but pyout/pyerr are *not* streams */
107 div.output_stream {
107 div.output_stream {
108 }
108 }
109
109
110 div.output_stdout {
110 div.output_stdout {
111 }
111 }
112
112
113 div.output_stderr {
113 div.output_stderr {
114 background: #fdd; /* very light red background for stderr */
114 background: #fdd; /* very light red background for stderr */
115 }
115 }
116
116
117 div.output_latex {
117 div.output_latex {
118 text-align: left;
118 text-align: left;
119 }
119 }
120
120
121 div.output_html {
121 div.output_html {
122 }
122 }
123
123
124 div.output_png {
124 div.output_png {
125 }
125 }
126
126
127 div.output_jpeg {
127 div.output_jpeg {
128 }
128 }
129
129
130 .js-error {
130 .js-error {
131 color: darkred;
131 color: darkred;
132 }
132 }
133
133
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