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