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