##// END OF EJS Templates
Merge pull request #1856 from mcelrath/master...
Fernando Perez -
r7302:1170c58b merge
parent child Browse files
Show More
@@ -1,322 +1,332 b''
1 /**
1 /**
2 * Primary styles
2 * Primary styles
3 *
3 *
4 * Author: IPython Development Team
4 * Author: IPython Development Team
5 */
5 */
6
6
7
7
8 body {
8 body {
9 overflow: hidden;
9 overflow: hidden;
10 }
10 }
11
11
12 span#save_widget {
12 span#save_widget {
13 padding: 5px;
13 padding: 5px;
14 margin: 0px 0px 0px 300px;
14 margin: 0px 0px 0px 300px;
15 display:inline-block;
15 display:inline-block;
16 }
16 }
17
17
18 span#notebook_name {
18 span#notebook_name {
19 height: 1em;
19 height: 1em;
20 line-height: 1em;
20 line-height: 1em;
21 padding: 3px;
21 padding: 3px;
22 border: none;
22 border: none;
23 font-size: 146.5%;
23 font-size: 146.5%;
24 }
24 }
25
25
26 .ui-menubar-item .ui-button .ui-button-text {
26 .ui-menubar-item .ui-button .ui-button-text {
27 padding: 0.4em 1.0em;
27 padding: 0.4em 1.0em;
28 font-size: 100%;
28 font-size: 100%;
29 }
29 }
30
30
31 .ui-menu {
31 .ui-menu {
32 -moz-box-shadow: 0px 6px 10px -1px #adadad;
32 -moz-box-shadow: 0px 6px 10px -1px #adadad;
33 -webkit-box-shadow: 0px 6px 10px -1px #adadad;
33 -webkit-box-shadow: 0px 6px 10px -1px #adadad;
34 box-shadow: 0px 6px 10px -1px #adadad;
34 box-shadow: 0px 6px 10px -1px #adadad;
35 }
35 }
36
36
37 .ui-menu .ui-menu-item a {
37 .ui-menu .ui-menu-item a {
38 border: 1px solid transparent;
38 padding: 2px 1.6em;
39 padding: 2px 1.6em;
39 }
40 }
40
41
41 .ui-menu hr {
42 .ui-menu hr {
42 margin: 0.3em 0;
43 margin: 0.3em 0;
43 }
44 }
44
45
45 #menubar_container {
46 #menubar_container {
46 position: relative;
47 position: relative;
47 }
48 }
48
49
49 #notification {
50 #notification {
50 position: absolute;
51 position: absolute;
51 right: 3px;
52 right: 3px;
52 top: 3px;
53 top: 3px;
53 height: 25px;
54 height: 25px;
54 padding: 3px 6px;
55 padding: 3px 6px;
55 z-index: 10;
56 z-index: 10;
56 }
57 }
57
58
58 #toolbar {
59 #toolbar {
59 padding: 3px 15px;
60 padding: 3px 15px;
60 }
61 }
61
62
62 #cell_type {
63 #cell_type {
63 font-size: 85%;
64 font-size: 85%;
64 }
65 }
65
66
66
67
67 div#main_app {
68 div#main_app {
68 width: 100%;
69 width: 100%;
69 position: relative;
70 position: relative;
70 }
71 }
71
72
72 span#quick_help_area {
73 span#quick_help_area {
73 position: static;
74 position: static;
74 padding: 5px 0px;
75 padding: 5px 0px;
75 margin: 0px 0px 0px 0px;
76 margin: 0px 0px 0px 0px;
76 }
77 }
77
78
78 .help_string {
79 .help_string {
79 float: right;
80 float: right;
80 width: 170px;
81 width: 170px;
81 padding: 0px 5px;
82 padding: 0px 5px;
82 text-align: left;
83 text-align: left;
83 font-size: 85%;
84 font-size: 85%;
84 }
85 }
85
86
86 .help_string_label {
87 .help_string_label {
87 float: right;
88 float: right;
88 font-size: 85%;
89 font-size: 85%;
89 }
90 }
90
91
91 div#notebook_panel {
92 div#notebook_panel {
92 margin: 0px 0px 0px 0px;
93 margin: 0px 0px 0px 0px;
93 padding: 0px;
94 padding: 0px;
94 }
95 }
95
96
96 div#notebook {
97 div#notebook {
97 overflow-y: scroll;
98 overflow-y: scroll;
98 overflow-x: auto;
99 overflow-x: auto;
99 width: 100%;
100 width: 100%;
100 /* This spaces the cell away from the edge of the notebook area */
101 /* This spaces the cell away from the edge of the notebook area */
101 padding: 5px 5px 15px 5px;
102 padding: 5px 5px 15px 5px;
102 margin: 0px
103 margin: 0px
103 background-color: white;
104 background-color: white;
104 }
105 }
105
106
106 div#pager_splitter {
107 div#pager_splitter {
107 height: 8px;
108 height: 8px;
108 }
109 }
109
110
110 div#pager {
111 div#pager {
111 padding: 15px;
112 padding: 15px;
112 overflow: auto;
113 overflow: auto;
113 display: none;
114 display: none;
114 }
115 }
115
116
117 div.ui-widget-content {
118 border: 1px solid #aaa;
119 outline: none;
120 }
121
122 .cell {
123 border: 1px solid transparent;
124 }
125
116 div.cell {
126 div.cell {
117 width: 100%;
127 width: 100%;
118 padding: 5px 5px 5px 0px;
128 padding: 5px 5px 5px 0px;
119 /* This acts as a spacer between cells, that is outside the border */
129 /* This acts as a spacer between cells, that is outside the border */
120 margin: 2px 0px 2px 0px;
130 margin: 2px 0px 2px 0px;
121 }
131 }
122
132
123 div.code_cell {
133 div.code_cell {
124 background-color: white;
134 background-color: white;
125 }
135 }
126 /* any special styling for code cells that are currently running goes here */
136 /* any special styling for code cells that are currently running goes here */
127 div.code_cell.running {
137 div.code_cell.running {
128 }
138 }
129
139
130 div.prompt {
140 div.prompt {
131 /* This needs to be wide enough for 3 digit prompt numbers: In[100]: */
141 /* This needs to be wide enough for 3 digit prompt numbers: In[100]: */
132 width: 11ex;
142 width: 11ex;
133 /* This 0.4em is tuned to match the padding on the CodeMirror editor. */
143 /* This 0.4em is tuned to match the padding on the CodeMirror editor. */
134 padding: 0.4em;
144 padding: 0.4em;
135 margin: 0px;
145 margin: 0px;
136 font-family: monospace;
146 font-family: monospace;
137 text-align:right;
147 text-align:right;
138 }
148 }
139
149
140 div.input {
150 div.input {
141 page-break-inside: avoid;
151 page-break-inside: avoid;
142 }
152 }
143
153
144 /* input_area and input_prompt must match in top border and margin for alignment */
154 /* input_area and input_prompt must match in top border and margin for alignment */
145 div.input_area {
155 div.input_area {
146 color: black;
156 color: black;
147 border: 1px solid #ddd;
157 border: 1px solid #ddd;
148 border-radius: 3px;
158 border-radius: 3px;
149 background: #f7f7f7;
159 background: #f7f7f7;
150 }
160 }
151
161
152 div.input_prompt {
162 div.input_prompt {
153 color: navy;
163 color: navy;
154 border-top: 1px solid transparent;
164 border-top: 1px solid transparent;
155 }
165 }
156
166
157 div.output {
167 div.output {
158 /* This is a spacer between the input and output of each cell */
168 /* This is a spacer between the input and output of each cell */
159 margin-top: 5px;
169 margin-top: 5px;
160 }
170 }
161
171
162 div.output_prompt {
172 div.output_prompt {
163 color: darkred;
173 color: darkred;
164 }
174 }
165
175
166 /* This class is the outer container of all output sections. */
176 /* This class is the outer container of all output sections. */
167 div.output_area {
177 div.output_area {
168 padding: 0px;
178 padding: 0px;
169 page-break-inside: avoid;
179 page-break-inside: avoid;
170 }
180 }
171
181
172 /* This class is for the output subarea inside the output_area and after
182 /* This class is for the output subarea inside the output_area and after
173 the prompt div. */
183 the prompt div. */
174 div.output_subarea {
184 div.output_subarea {
175 padding: 0.4em 0.4em 0.4em 0.4em;
185 padding: 0.4em 0.4em 0.4em 0.4em;
176 }
186 }
177
187
178 /* The rest of the output_* classes are for special styling of the different
188 /* The rest of the output_* classes are for special styling of the different
179 output types */
189 output types */
180
190
181 /* all text output has this class: */
191 /* all text output has this class: */
182 div.output_text {
192 div.output_text {
183 text-align: left;
193 text-align: left;
184 color: black;
194 color: black;
185 font-family: monospace;
195 font-family: monospace;
186 }
196 }
187
197
188 /* stdout/stderr are 'text' as well as 'stream', but pyout/pyerr are *not* streams */
198 /* stdout/stderr are 'text' as well as 'stream', but pyout/pyerr are *not* streams */
189 div.output_stream {
199 div.output_stream {
190 padding-top: 0.0em;
200 padding-top: 0.0em;
191 padding-bottom: 0.0em;
201 padding-bottom: 0.0em;
192 }
202 }
193 div.output_stdout {
203 div.output_stdout {
194 }
204 }
195 div.output_stderr {
205 div.output_stderr {
196 background: #fdd; /* very light red background for stderr */
206 background: #fdd; /* very light red background for stderr */
197 }
207 }
198
208
199 div.output_latex {
209 div.output_latex {
200 text-align: left;
210 text-align: left;
201 color: black;
211 color: black;
202 }
212 }
203
213
204 div.output_html {
214 div.output_html {
205 }
215 }
206
216
207 div.output_png {
217 div.output_png {
208 }
218 }
209
219
210 div.output_jpeg {
220 div.output_jpeg {
211 }
221 }
212
222
213 div.text_cell {
223 div.text_cell {
214 background-color: white;
224 background-color: white;
215 padding: 5px 5px 5px 5px;
225 padding: 5px 5px 5px 5px;
216 }
226 }
217
227
218 div.text_cell_input {
228 div.text_cell_input {
219 color: black;
229 color: black;
220 border: 1px solid #ddd;
230 border: 1px solid #ddd;
221 border-radius: 3px;
231 border-radius: 3px;
222 background: #f7f7f7;
232 background: #f7f7f7;
223 }
233 }
224
234
225 div.text_cell_render {
235 div.text_cell_render {
226 font-family: "Helvetica Neue", Arial, Helvetica, Geneva, sans-serif;
236 font-family: "Helvetica Neue", Arial, Helvetica, Geneva, sans-serif;
227 outline: none;
237 outline: none;
228 resize: none;
238 resize: none;
229 width: inherit;
239 width: inherit;
230 border-style: none;
240 border-style: none;
231 padding: 5px;
241 padding: 5px;
232 color: black;
242 color: black;
233 }
243 }
234
244
235 .CodeMirror {
245 .CodeMirror {
236 line-height: 1.231; /* Changed from 1em to our global default */
246 line-height: 1.231; /* Changed from 1em to our global default */
237 }
247 }
238
248
239 .CodeMirror-scroll {
249 .CodeMirror-scroll {
240 height: auto; /* Changed to auto to autogrow */
250 height: auto; /* Changed to auto to autogrow */
241 /* The CodeMirror docs are a bit fuzzy on if overflow-y should be hidden or visible.*/
251 /* The CodeMirror docs are a bit fuzzy on if overflow-y should be hidden or visible.*/
242 /* We have found that if it is visible, vertical scrollbars appear with font size changes.*/
252 /* We have found that if it is visible, vertical scrollbars appear with font size changes.*/
243 overflow-y: hidden;
253 overflow-y: hidden;
244 overflow-x: auto; /* Changed from auto to remove scrollbar */
254 overflow-x: auto; /* Changed from auto to remove scrollbar */
245 }
255 }
246
256
247 /* CSS font colors for translated ANSI colors. */
257 /* CSS font colors for translated ANSI colors. */
248
258
249
259
250 .ansiblack {color: black;}
260 .ansiblack {color: black;}
251 .ansired {color: darkred;}
261 .ansired {color: darkred;}
252 .ansigreen {color: darkgreen;}
262 .ansigreen {color: darkgreen;}
253 .ansiyellow {color: brown;}
263 .ansiyellow {color: brown;}
254 .ansiblue {color: darkblue;}
264 .ansiblue {color: darkblue;}
255 .ansipurple {color: darkviolet;}
265 .ansipurple {color: darkviolet;}
256 .ansicyan {color: steelblue;}
266 .ansicyan {color: steelblue;}
257 .ansigrey {color: grey;}
267 .ansigrey {color: grey;}
258 .ansibold {font-weight: bold;}
268 .ansibold {font-weight: bold;}
259
269
260 .completions {
270 .completions {
261 position: absolute;
271 position: absolute;
262 z-index: 10;
272 z-index: 10;
263 overflow: auto;
273 overflow: auto;
264 border: 1px solid grey;
274 border: 1px solid grey;
265 }
275 }
266
276
267 .completions select {
277 .completions select {
268 background: white;
278 background: white;
269 outline: none;
279 outline: none;
270 border: none;
280 border: none;
271 padding: 0px;
281 padding: 0px;
272 margin: 0px;
282 margin: 0px;
273 font-family: monospace;
283 font-family: monospace;
274 }
284 }
275
285
276 option.context {
286 option.context {
277 background-color: #DEF7FF;
287 background-color: #DEF7FF;
278 }
288 }
279 option.introspection {
289 option.introspection {
280 background-color: #EBF4EB;
290 background-color: #EBF4EB;
281 }
291 }
282
292
283 /*fixed part of the completion*/
293 /*fixed part of the completion*/
284 .completions p b {
294 .completions p b {
285 font-weight:bold;
295 font-weight:bold;
286 }
296 }
287
297
288 .completions p {
298 .completions p {
289 background: #DDF;
299 background: #DDF;
290 /*outline: none;
300 /*outline: none;
291 padding: 0px;*/
301 padding: 0px;*/
292 border-bottom: black solid 1px;
302 border-bottom: black solid 1px;
293 padding: 1px;
303 padding: 1px;
294 font-family: monospace;
304 font-family: monospace;
295 }
305 }
296
306
297 pre.dialog {
307 pre.dialog {
298 background-color: #f7f7f7;
308 background-color: #f7f7f7;
299 border: 1px solid #ddd;
309 border: 1px solid #ddd;
300 border-radius: 3px;
310 border-radius: 3px;
301 padding: 0.4em;
311 padding: 0.4em;
302 padding-left: 2em;
312 padding-left: 2em;
303 }
313 }
304
314
305 p.dialog {
315 p.dialog {
306 padding : 0.2em;
316 padding : 0.2em;
307 }
317 }
308
318
309 .shortcut_key {
319 .shortcut_key {
310 display: inline-block;
320 display: inline-block;
311 width: 15ex;
321 width: 15ex;
312 text-align: right;
322 text-align: right;
313 font-family: monospace;
323 font-family: monospace;
314 }
324 }
315
325
316 .shortcut_descr {
326 .shortcut_descr {
317 }
327 }
318
328
319 /* Word-wrap output correctly. This is the CSS3 spelling, though Firefox seems
329 /* Word-wrap output correctly. This is the CSS3 spelling, though Firefox seems
320 to not honor it correctly. Webkit browsers (Chrome, rekonq, Safari) do.
330 to not honor it correctly. Webkit browsers (Chrome, rekonq, Safari) do.
321 */
331 */
322 pre, code, kbd, samp { white-space: pre-wrap; }
332 pre, code, kbd, samp { white-space: pre-wrap; }
General Comments 0
You need to be logged in to leave comments. Login now