##// END OF EJS Templates
Adjusting width of prompt area.
Brian E. Granger -
Show More
@@ -1,312 +1,312 b''
1
1
2 /**
2 /**
3 * Primary styles
3 * Primary styles
4 *
4 *
5 * Author: IPython Development Team
5 * Author: IPython Development Team
6 */
6 */
7
7
8
8
9 body {
9 body {
10 background-color: white;
10 background-color: white;
11 /* This makes sure that the body covers the entire window and needs to
11 /* This makes sure that the body covers the entire window and needs to
12 be in a different element than the display: box in wrapper below */
12 be in a different element than the display: box in wrapper below */
13 position: absolute;
13 position: absolute;
14 left: 0px;
14 left: 0px;
15 right: 0px;
15 right: 0px;
16 top: 0px;
16 top: 0px;
17 bottom: 0px;
17 bottom: 0px;
18 overflow: hidden;
18 overflow: hidden;
19 }
19 }
20
20
21 span#save_widget {
21 span#save_widget {
22 position: absolute;
22 position: absolute;
23 left: 0px;
23 left: 0px;
24 padding: 5px 0px;
24 padding: 5px 0px;
25 margin: 0px 0px 0px 0px;
25 margin: 0px 0px 0px 0px;
26 }
26 }
27
27
28 input#notebook_name {
28 input#notebook_name {
29 height: 1em;
29 height: 1em;
30 line-height: 1em;
30 line-height: 1em;
31 padding: 5px;
31 padding: 5px;
32 }
32 }
33
33
34 span#kernel_status {
34 span#kernel_status {
35 position: absolute;
35 position: absolute;
36 padding: 8px 5px 5px 5px;
36 padding: 8px 5px 5px 5px;
37 right: 10px;
37 right: 10px;
38 font-weight: bold;
38 font-weight: bold;
39 }
39 }
40
40
41 .status_idle {
41 .status_idle {
42 color: gray;
42 color: gray;
43 }
43 }
44
44
45 .status_busy {
45 .status_busy {
46 color: red;
46 color: red;
47 }
47 }
48
48
49 .status_restarting {
49 .status_restarting {
50 color: black;
50 color: black;
51 }
51 }
52
52
53 div#left_panel {
53 div#left_panel {
54 overflow-y: auto;
54 overflow-y: auto;
55 top: 0px;
55 top: 0px;
56 left: 0px;
56 left: 0px;
57 margin: 0px;
57 margin: 0px;
58 padding: 0px;
58 padding: 0px;
59 position: absolute;
59 position: absolute;
60 }
60 }
61
61
62 h3.section_header {
62 h3.section_header {
63 padding: 5px;
63 padding: 5px;
64 }
64 }
65
65
66 div.section_content {
66 div.section_content {
67 padding: 5px;
67 padding: 5px;
68 }
68 }
69
69
70 span.section_row_buttons button {
70 span.section_row_buttons button {
71 width: 70px;
71 width: 70px;
72 }
72 }
73
73
74 span.section_row_buttons a {
74 span.section_row_buttons a {
75 width: 70px;
75 width: 70px;
76 }
76 }
77
77
78 .section_row {
78 .section_row {
79 margin: 5px 0px;
79 margin: 5px 0px;
80 }
80 }
81
81
82 .section_row_buttons {
82 .section_row_buttons {
83 float: right;
83 float: right;
84 }
84 }
85
85
86 #kernel_persist {
86 #kernel_persist {
87 float: right;
87 float: right;
88 }
88 }
89
89
90 .help_string {
90 .help_string {
91 float: right;
91 float: right;
92 width: 170px;
92 width: 170px;
93 padding: 0px 5px;
93 padding: 0px 5px;
94 text-align: center;
94 text-align: center;
95 font-size: 85%;
95 font-size: 85%;
96 }
96 }
97
97
98 .help_string_label {
98 .help_string_label {
99 float: right;
99 float: right;
100 font-size: 85%;
100 font-size: 85%;
101 }
101 }
102
102
103 #autoindent_span {
103 #autoindent_span {
104 float: right;
104 float: right;
105 }
105 }
106
106
107 .checkbox_label {
107 .checkbox_label {
108 font-size: 85%;
108 font-size: 85%;
109 float: right;
109 float: right;
110 padding: 0.3em;
110 padding: 0.3em;
111 }
111 }
112
112
113 .section_row_header {
113 .section_row_header {
114 float: left;
114 float: left;
115 font-size: 85%;
115 font-size: 85%;
116 padding: 0.4em 0em;
116 padding: 0.4em 0em;
117 font-weight: bold;
117 font-weight: bold;
118 }
118 }
119
119
120 span.button_label {
120 span.button_label {
121 padding: 0.2em 1em;
121 padding: 0.2em 1em;
122 font-size: 77%;
122 font-size: 77%;
123 float: right;
123 float: right;
124 }
124 }
125
125
126 /* This is needed because FF was adding a 2px margin top and bottom. */
126 /* This is needed because FF was adding a 2px margin top and bottom. */
127 .section_row .ui-button {
127 .section_row .ui-button {
128 margin-top: 0px;
128 margin-top: 0px;
129 margin-bottom: 0px;
129 margin-bottom: 0px;
130 }
130 }
131
131
132 #download_format {
132 #download_format {
133 float: right;
133 float: right;
134 font-size: 85%;
134 font-size: 85%;
135 width: 62px;
135 width: 62px;
136 margin: 1px 5px;
136 margin: 1px 5px;
137 }
137 }
138
138
139 div#left_panel_splitter {
139 div#left_panel_splitter {
140 width: 8px;
140 width: 8px;
141 top: 0px;
141 top: 0px;
142 left: 202px;
142 left: 202px;
143 margin: 0px;
143 margin: 0px;
144 padding: 0px;
144 padding: 0px;
145 position: absolute;
145 position: absolute;
146 }
146 }
147
147
148 div#notebook_panel {
148 div#notebook_panel {
149 /* The L margin will be set in the Javascript code*/
149 /* The L margin will be set in the Javascript code*/
150 margin: 0px 0px 0px 0px;
150 margin: 0px 0px 0px 0px;
151 padding: 0px;
151 padding: 0px;
152 }
152 }
153
153
154 div#notebook {
154 div#notebook {
155 overflow-y: scroll;
155 overflow-y: scroll;
156 overflow-x: auto;
156 overflow-x: auto;
157 width: 100%;
157 width: 100%;
158 /* This spaces the cell away from the edge of the notebook area */
158 /* This spaces the cell away from the edge of the notebook area */
159 padding: 15px 15px 15px 15px;
159 padding: 15px 15px 15px 15px;
160 margin: 0px
160 margin: 0px
161 background-color: white;
161 background-color: white;
162 }
162 }
163
163
164 div#pager_splitter {
164 div#pager_splitter {
165 height: 8px;
165 height: 8px;
166 }
166 }
167
167
168 div#pager {
168 div#pager {
169 padding: 15px;
169 padding: 15px;
170 overflow: auto;
170 overflow: auto;
171 }
171 }
172
172
173 div.cell {
173 div.cell {
174 width: 100%;
174 width: 100%;
175 padding: 5px;
175 padding: 5px;
176 /* This acts as a spacer between cells, that is outside the border */
176 /* This acts as a spacer between cells, that is outside the border */
177 margin: 5px 0px 5px 0px;
177 margin: 5px 0px 5px 0px;
178 }
178 }
179
179
180 div.code_cell {
180 div.code_cell {
181 background-color: white;
181 background-color: white;
182 }
182 }
183
183
184 div.prompt {
184 div.prompt {
185 /* This needs to be wide enough for 3 digit prompt numbers: In[100]: */
185 /* This needs to be wide enough for 3 digit prompt numbers: In[100]: */
186 width: 80px;
186 width: 11ex;
187 /* This 0.4em is tuned to match the padding on the CodeMirror editor. */
187 /* This 0.4em is tuned to match the padding on the CodeMirror editor. */
188 padding: 0.4em;
188 padding: 0.4em;
189 margin: 0px;
189 margin: 0px;
190 font-family: monospace;
190 font-family: monospace;
191 }
191 }
192
192
193 div.input {
193 div.input {
194 page-break-inside: avoid;
194 page-break-inside: avoid;
195 }
195 }
196
196
197 div.input_area {
197 div.input_area {
198 color: black;
198 color: black;
199 }
199 }
200
200
201 div.input_prompt {
201 div.input_prompt {
202 color: navy;
202 color: navy;
203 }
203 }
204
204
205 div.output {
205 div.output {
206 /* This is a spacer between the input and output of each cell */
206 /* This is a spacer between the input and output of each cell */
207 margin-top: 5px;
207 margin-top: 5px;
208 }
208 }
209
209
210 div.output_prompt {
210 div.output_prompt {
211 color: darkred;
211 color: darkred;
212 }
212 }
213
213
214 /* This class is the outer container of all output sections. */
214 /* This class is the outer container of all output sections. */
215 div.output_area {
215 div.output_area {
216 padding: 0px;
216 padding: 0px;
217 page-break-inside: avoid;
217 page-break-inside: avoid;
218 }
218 }
219
219
220 /* This class is for the output subarea inside the output_area and after
220 /* This class is for the output subarea inside the output_area and after
221 the prompt div. */
221 the prompt div. */
222 div.output_subarea {
222 div.output_subarea {
223 padding: 0.4em;
223 padding: 0.4em;
224 }
224 }
225
225
226 /* The rest of the output_* classes are for special styling of the different
226 /* The rest of the output_* classes are for special styling of the different
227 output types */
227 output types */
228
228
229 div.output_stream {
229 div.output_stream {
230 text-align: left;
230 text-align: left;
231 color: black;
231 color: black;
232 font-family: monospace;
232 font-family: monospace;
233 }
233 }
234
234
235 div.output_latex {
235 div.output_latex {
236 text-align: left;
236 text-align: left;
237 color: black;
237 color: black;
238 }
238 }
239
239
240 div.output_html {
240 div.output_html {
241 }
241 }
242
242
243 div.output_png {
243 div.output_png {
244 }
244 }
245
245
246 div.output_jpeg {
246 div.output_jpeg {
247 }
247 }
248
248
249 div.text_cell {
249 div.text_cell {
250 background-color: white;
250 background-color: white;
251 }
251 }
252
252
253 div.text_cell_input {
253 div.text_cell_input {
254 color: black;
254 color: black;
255 }
255 }
256
256
257 div.text_cell_render {
257 div.text_cell_render {
258 font-family: "Helvetica Neue", Arial, Helvetica, Geneva, sans-serif;
258 font-family: "Helvetica Neue", Arial, Helvetica, Geneva, sans-serif;
259 outline: none;
259 outline: none;
260 resize: none;
260 resize: none;
261 width: inherit;
261 width: inherit;
262 border-style: none;
262 border-style: none;
263 padding: 5px;
263 padding: 5px;
264 color: black;
264 color: black;
265 }
265 }
266
266
267 .CodeMirror {
267 .CodeMirror {
268 line-height: 1.231; /* Changed from 1em to our global default */
268 line-height: 1.231; /* Changed from 1em to our global default */
269 }
269 }
270
270
271 .CodeMirror-scroll {
271 .CodeMirror-scroll {
272 height: auto; /* Changed to auto to autogrow */
272 height: auto; /* Changed to auto to autogrow */
273 /* The CodeMirror docs are a bit fuzzy on if overflow-y should be hidden or visible.*/
273 /* The CodeMirror docs are a bit fuzzy on if overflow-y should be hidden or visible.*/
274 /* We have found that if it is visible, vertical scrollbars appear with font size changes.*/
274 /* We have found that if it is visible, vertical scrollbars appear with font size changes.*/
275 overflow-y: hidden;
275 overflow-y: hidden;
276 overflow-x: auto; /* Changed from auto to remove scrollbar */
276 overflow-x: auto; /* Changed from auto to remove scrollbar */
277 }
277 }
278
278
279 /* CSS font colors for translated ANSI colors. */
279 /* CSS font colors for translated ANSI colors. */
280
280
281
281
282 .ansiblack {color: black;}
282 .ansiblack {color: black;}
283 .ansired {color: darkred;}
283 .ansired {color: darkred;}
284 .ansigreen {color: darkgreen;}
284 .ansigreen {color: darkgreen;}
285 .ansiyellow {color: brown;}
285 .ansiyellow {color: brown;}
286 .ansiblue {color: darkblue;}
286 .ansiblue {color: darkblue;}
287 .ansipurple {color: darkviolet;}
287 .ansipurple {color: darkviolet;}
288 .ansicyan {color: steelblue;}
288 .ansicyan {color: steelblue;}
289 .ansigrey {color: grey;}
289 .ansigrey {color: grey;}
290 .ansibold {font-weight: bold;}
290 .ansibold {font-weight: bold;}
291
291
292 .completions {
292 .completions {
293 position: absolute;
293 position: absolute;
294 z-index: 10;
294 z-index: 10;
295 overflow: auto;
295 overflow: auto;
296 border: 1px solid black;
296 border: 1px solid black;
297 }
297 }
298
298
299 .completions select {
299 .completions select {
300 background: white;
300 background: white;
301 outline: none;
301 outline: none;
302 border: none;
302 border: none;
303 padding: 0px;
303 padding: 0px;
304 margin: 0px;
304 margin: 0px;
305 font-family: monospace;
305 font-family: monospace;
306 }
306 }
307
307
308 @media print {
308 @media print {
309 body { overflow: visible !important; }
309 body { overflow: visible !important; }
310 .ui-widget-content { border: 0px; }
310 .ui-widget-content { border: 0px; }
311 }
311 }
312
312
General Comments 0
You need to be logged in to leave comments. Login now