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