##// END OF EJS Templates
Fixing global less vars to use bootstrap.
Brian E. Granger -
Show More
@@ -1,519 +1,518 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 @import "variables.less";
7 @import "variables.less";
8 @import "highlight.less";
8 @import "highlight.less";
9
9
10 body {
10 body {
11 background-color:@notebook_background;
11 background-color: @bodyBackground;
12 }
12 }
13
13
14 body.notebook_app {
14 body.notebook_app {
15 overflow: hidden;
15 overflow: hidden;
16 }
16 }
17
17
18 blockquote {
18 blockquote {
19 border-left: 4px solid #DDD;
19 border-left: 4px solid #DDD;
20 padding: 0 15px;
20 padding: 0 15px;
21 color: #777;
21 color: #777;
22 }
22 }
23
23
24 span#save_widget {
24 span#save_widget {
25 padding: 5px;
25 padding: 5px;
26 margin: 0px 0px 0px 300px;
26 margin: 0px 0px 0px 300px;
27 display:inline-block;
27 display:inline-block;
28 }
28 }
29
29
30 span#checkpoint_status span#autosave_status {
30 span#checkpoint_status span#autosave_status {
31 font-size: small;
31 font-size: small;
32 }
32 }
33
33
34 /*span#save_widget > span#autosave_status {
34 /*span#save_widget > span#autosave_status {
35 font-size: x-small;
35 font-size: x-small;
36 }
36 }
37 */
37 */
38 span#notebook_name {
38 span#notebook_name {
39 height: 1em;
39 height: 1em;
40 line-height: 1em;
40 line-height: 1em;
41 padding: 3px;
41 padding: 3px;
42 border: none;
42 border: none;
43 font-size: 146.5%;
43 font-size: 146.5%;
44 }
44 }
45
45
46
46
47 .ui-menubar-item .ui-button .ui-button-text {
47 .ui-menubar-item .ui-button .ui-button-text {
48 padding: 0.4em 1.0em;
48 padding: 0.4em 1.0em;
49 font-size: 100%;
49 font-size: 100%;
50 }
50 }
51
51
52 .ui-menu {
52 .ui-menu {
53 .box-shadow(0px 6px 10px -1px #adadad);
53 .box-shadow(0px 6px 10px -1px #adadad);
54 }
54 }
55
55
56 .ui-menu .ui-menu-item a {
56 .ui-menu .ui-menu-item a {
57 border: 1px solid transparent;
57 border: 1px solid transparent;
58 padding: 2px 1.6em;
58 padding: 2px 1.6em;
59 }
59 }
60
60
61 .ui-menu .ui-menu-item a.ui-state-focus {
61 .ui-menu .ui-menu-item a.ui-state-focus {
62 margin: 0;
62 margin: 0;
63 }
63 }
64
64
65 .ui-menu hr {
65 .ui-menu hr {
66 margin: 0.3em 0;
66 margin: 0.3em 0;
67 }
67 }
68
68
69 #menubar_container {
69 #menubar_container {
70 position: relative;
70 position: relative;
71 }
71 }
72
72
73 #notification_area {
73 #notification_area {
74 position: absolute;
74 position: absolute;
75 right: 0px;
75 right: 0px;
76 top: 0px;
76 top: 0px;
77 height: 25px;
77 height: 25px;
78 padding: 3px 0px;
78 padding: 3px 0px;
79 padding-right: 3px;
79 padding-right: 3px;
80 z-index: 10;
80 z-index: 10;
81 }
81 }
82
82
83 .notification_widget{
83 .notification_widget{
84 float : right;
84 float : right;
85 right: 0px;
85 right: 0px;
86 top: 1px;
86 top: 1px;
87 height: 25px;
87 height: 25px;
88 padding: 3px 6px;
88 padding: 3px 6px;
89 z-index: 10;
89 z-index: 10;
90 }
90 }
91
91
92 .toolbar {
92 .toolbar {
93 padding: 3px 15px;
93 padding: 3px 15px;
94 border-bottom: @border_width @border_color solid;
94 border-bottom: @border_width @border_color solid;
95
95
96 button {
96 button {
97 margin-top:2px;
97 margin-top:2px;
98 margin-bottom:2px;
98 margin-bottom:2px;
99 }
99 }
100
100
101
101
102 select, label {
102 select, label {
103 height : 19px;
103 height : 19px;
104 vertical-align:middle;
104 vertical-align:middle;
105 margin-right:2px;
105 margin-right:2px;
106 margin-bottom:0;
106 margin-bottom:0;
107 display: inline;
107 display: inline;
108 font-size: 92%;
108 font-size: 92%;
109 margin-left:0.3em;
109 margin-left:0.3em;
110 margin-right:0.3em;
110 margin-right:0.3em;
111 padding: 0px;
111 padding: 0px;
112 }
112 }
113 }
113 }
114
114
115 .toolbar select{
115 .toolbar select{
116 width:auto;
116 width:auto;
117 }
117 }
118
118
119 span#quick_help_area {
119 span#quick_help_area {
120 position: static;
120 position: static;
121 padding: 5px 0px;
121 padding: 5px 0px;
122 margin: 0px 0px 0px 0px;
122 margin: 0px 0px 0px 0px;
123 }
123 }
124
124
125 .help_string {
125 .help_string {
126 float: right;
126 float: right;
127 width: 170px;
127 width: 170px;
128 padding: 0px 5px;
128 padding: 0px 5px;
129 text-align: left;
129 text-align: left;
130 font-size: 85%;
130 font-size: 85%;
131 }
131 }
132
132
133 .help_string_label {
133 .help_string_label {
134 float: right;
134 float: right;
135 font-size: 85%;
135 font-size: 85%;
136 }
136 }
137
137
138 div#notebook_panel {
138 div#notebook_panel {
139 margin: 0px 0px 0px 0px;
139 margin: 0px 0px 0px 0px;
140 padding: 0px;
140 padding: 0px;
141 }
141 }
142
142
143 div#notebook {
143 div#notebook {
144 overflow-y: scroll;
144 overflow-y: scroll;
145 overflow-x: auto;
145 overflow-x: auto;
146 width: 100%;
146 width: 100%;
147 /* This spaces the cell away from the edge of the notebook area */
147 /* This spaces the cell away from the edge of the notebook area */
148 padding: 5px 5px 15px 5px;
148 padding: 5px 5px 15px 5px;
149 margin: 0px;
149 margin: 0px;
150 }
150 }
151
151
152 div#pager_splitter {
152 div#pager_splitter {
153 height: 8px;
153 height: 8px;
154 }
154 }
155
155
156 #pager_container {
156 #pager_container {
157 position : relative;
157 position : relative;
158 }
158 }
159
159
160 div#pager {
160 div#pager {
161 padding: 15px;
161 padding: 15px;
162 overflow: auto;
162 overflow: auto;
163 display: none;
163 display: none;
164
164
165 pre {
165 pre {
166 font-size: @baseFontSize;
166 font-size: @baseFontSize;
167 line-height: @baseLineHeight;
167 line-height: @baseLineHeight;
168 color: @textColor;
168 color: @textColor;
169 background-color: @cell_background;
169 background-color: @cell_background;
170 padding: 0.4em;
170 padding: 0.4em;
171 }
171 }
172 }
172 }
173
173
174 div.ui-widget-content {
174 div.ui-widget-content {
175 border: 1px solid @border_color;
175 border: 1px solid @border_color;
176 outline: none;
176 outline: none;
177 }
177 }
178
178
179 .cell {
179 .cell {
180 border: 1px solid transparent;
180 border: 1px solid transparent;
181 .vbox();
181 .vbox();
182
182
183 &.selected {
183 &.selected {
184 .corner-all;
184 .corner-all;
185 border : thin @border_color solid;
185 border : thin @border_color solid;
186 }
186 }
187 }
187 }
188
188
189 div.cell {
189 div.cell {
190 width: 100%;
190 width: 100%;
191 padding: 5px 5px 5px 0px;
191 padding: 5px 5px 5px 0px;
192 /* This acts as a spacer between cells, that is outside the border */
192 /* This acts as a spacer between cells, that is outside the border */
193 margin: 2px 0px 2px 0px;
193 margin: 2px 0px 2px 0px;
194 outline: none;
194 outline: none;
195 }
195 }
196
196
197 div.code_cell {
197 div.code_cell {
198 }
198 }
199
199
200 /* any special styling for code cells that are currently running goes here */
200 /* any special styling for code cells that are currently running goes here */
201 div.code_cell.running {
201 div.code_cell.running {
202 }
202 }
203
203
204 div.prompt {
204 div.prompt {
205 /* This needs to be wide enough for 3 digit prompt numbers: In[100]: */
205 /* This needs to be wide enough for 3 digit prompt numbers: In[100]: */
206 width: 11ex;
206 width: 11ex;
207 /* This 0.4em is tuned to match the padding on the CodeMirror editor. */
207 /* This 0.4em is tuned to match the padding on the CodeMirror editor. */
208 padding: 0.4em;
208 padding: 0.4em;
209 margin: 0px;
209 margin: 0px;
210 font-family: monospace;
210 font-family: monospace;
211 text-align: right;
211 text-align: right;
212 /* This has to match that of the the CodeMirror class line-height below */
212 /* This has to match that of the the CodeMirror class line-height below */
213 line-height: @baseLineHeight;
213 line-height: @baseLineHeight;
214 }
214 }
215
215
216 div.input {
216 div.input {
217 page-break-inside: avoid;
217 page-break-inside: avoid;
218 .hbox();
218 .hbox();
219 }
219 }
220
220
221 /* input_area and input_prompt must match in top border and margin for alignment */
221 /* input_area and input_prompt must match in top border and margin for alignment */
222 div.input_area {
222 div.input_area {
223 /*color: @base_font_color;*/
224 border: 1px solid @light_border_color;
223 border: 1px solid @light_border_color;
225 .corner-all;
224 .corner-all;
226 background: @cell_background;
225 background: @cell_background;
227 }
226 }
228
227
229 div.input_prompt {
228 div.input_prompt {
230 color: navy;
229 color: navy;
231 border-top: 1px solid transparent;
230 border-top: 1px solid transparent;
232 }
231 }
233
232
234 div.output_wrapper {
233 div.output_wrapper {
235 /* This is a spacer between the input and output of each cell */
234 /* This is a spacer between the input and output of each cell */
236 margin-top: 5px;
235 margin-top: 5px;
237 margin-left: 5px;
236 margin-left: 5px;
238 /* FF needs explicit width to stretch */
237 /* FF needs explicit width to stretch */
239 width: 100%;
238 width: 100%;
240 /* this position must be relative to enable descendents to be absolute within it */
239 /* this position must be relative to enable descendents to be absolute within it */
241 position: relative;
240 position: relative;
242 }
241 }
243
242
244 /* class for the output area when it should be height-limited */
243 /* class for the output area when it should be height-limited */
245 div.output_scroll {
244 div.output_scroll {
246 /* ideally, this would be max-height, but FF barfs all over that */
245 /* ideally, this would be max-height, but FF barfs all over that */
247 height: 24em;
246 height: 24em;
248 /* FF needs this *and the wrapper* to specify full width, or it will shrinkwrap */
247 /* FF needs this *and the wrapper* to specify full width, or it will shrinkwrap */
249 width: 100%;
248 width: 100%;
250
249
251 overflow: auto;
250 overflow: auto;
252 .corner-all;
251 .corner-all;
253 .box-shadow(inset 0 2px 8px rgba(0, 0, 0, .8));
252 .box-shadow(inset 0 2px 8px rgba(0, 0, 0, .8));
254 }
253 }
255
254
256 /* output div while it is collapsed */
255 /* output div while it is collapsed */
257 div.output_collapsed {
256 div.output_collapsed {
258 margin-right: 5px;
257 margin-right: 5px;
259 }
258 }
260
259
261 div.out_prompt_overlay {
260 div.out_prompt_overlay {
262 height: 100%;
261 height: 100%;
263 padding: 0px;
262 padding: 0px;
264 position: absolute;
263 position: absolute;
265 .corner-all;
264 .corner-all;
266 }
265 }
267
266
268 div.out_prompt_overlay:hover {
267 div.out_prompt_overlay:hover {
269 /* use inner shadow to get border that is computed the same on WebKit/FF */
268 /* use inner shadow to get border that is computed the same on WebKit/FF */
270 .box-shadow(inset 0 0 1px #000);
269 .box-shadow(inset 0 0 1px #000);
271 background: rgba(240, 240, 240, 0.5);
270 background: rgba(240, 240, 240, 0.5);
272 }
271 }
273
272
274 div.output_prompt {
273 div.output_prompt {
275 color: darkred;
274 color: darkred;
276 /* 5px right shift to account for margin in parent container */
275 /* 5px right shift to account for margin in parent container */
277 margin: 0 5px 0 -5px;
276 margin: 0 5px 0 -5px;
278 }
277 }
279
278
280 /* This class is the outer container of all output sections. */
279 /* This class is the outer container of all output sections. */
281 div.output_area {
280 div.output_area {
282 padding: 0px;
281 padding: 0px;
283 page-break-inside: avoid;
282 page-break-inside: avoid;
284 .hbox();
283 .hbox();
285 }
284 }
286
285
287
286
288 /* This is needed to protect the pre formating from global settings such
287 /* This is needed to protect the pre formating from global settings such
289 as that of bootstrap */
288 as that of bootstrap */
290 div.output_area pre {
289 div.output_area pre {
291 font-family: monospace;
290 font-family: monospace;
292 margin: 0;
291 margin: 0;
293 padding: 0;
292 padding: 0;
294 border: 0;
293 border: 0;
295 font-size: 100%;
294 font-size: 100%;
296 vertical-align: baseline;
295 vertical-align: baseline;
297 color: black;
296 color: black;
298 background-color: white;
297 background-color: white;
299 .border-radius(0);
298 .border-radius(0);
300 line-height: inherit;
299 line-height: inherit;
301 }
300 }
302
301
303 /* This class is for the output subarea inside the output_area and after
302 /* This class is for the output subarea inside the output_area and after
304 the prompt div. */
303 the prompt div. */
305 div.output_subarea {
304 div.output_subarea {
306 padding: 0.44em 0.4em 0.4em 1px;
305 padding: 0.44em 0.4em 0.4em 1px;
307 .box-flex1();
306 .box-flex1();
308 }
307 }
309
308
310 /* The rest of the output_* classes are for special styling of the different
309 /* The rest of the output_* classes are for special styling of the different
311 output types */
310 output types */
312
311
313 /* all text output has this class: */
312 /* all text output has this class: */
314 div.output_text {
313 div.output_text {
315 text-align: left;
314 text-align: left;
316 color: @base_font_color;
315 color: @textColor;
317 font-family: monospace;
316 font-family: monospace;
318 /* This has to match that of the the CodeMirror class line-height below */
317 /* This has to match that of the the CodeMirror class line-height below */
319 line-height: @baseLineHeight;
318 line-height: @baseLineHeight;
320 }
319 }
321
320
322 /* stdout/stderr are 'text' as well as 'stream', but pyout/pyerr are *not* streams */
321 /* stdout/stderr are 'text' as well as 'stream', but pyout/pyerr are *not* streams */
323 div.output_stream {
322 div.output_stream {
324 padding-top: 0.0em;
323 padding-top: 0.0em;
325 padding-bottom: 0.0em;
324 padding-bottom: 0.0em;
326 }
325 }
327 div.output_stdout {
326 div.output_stdout {
328 }
327 }
329 div.output_stderr {
328 div.output_stderr {
330 background: #fdd; /* very light red background for stderr */
329 background: #fdd; /* very light red background for stderr */
331 }
330 }
332
331
333 div.output_latex {
332 div.output_latex {
334 text-align: left;
333 text-align: left;
335 }
334 }
336
335
337 div.output_html {
336 div.output_html {
338 }
337 }
339
338
340 div.output_png {
339 div.output_png {
341 }
340 }
342
341
343 div.output_jpeg {
342 div.output_jpeg {
344 }
343 }
345
344
346 div.text_cell {
345 div.text_cell {
347 padding: 5px 5px 5px 5px;
346 padding: 5px 5px 5px 5px;
348 }
347 }
349
348
350 div.text_cell_input {
349 div.text_cell_input {
351 color: @base_font_color;
350 color: @textColor;
352 border: 1px solid @light_border_color;
351 border: 1px solid @light_border_color;
353 .corner-all;
352 .corner-all;
354 background: @cell_background;
353 background: @cell_background;
355 }
354 }
356
355
357 div.text_cell_render {
356 div.text_cell_render {
358 /*font-family: "Helvetica Neue", Arial, Helvetica, Geneva, sans-serif;*/
357 /*font-family: "Helvetica Neue", Arial, Helvetica, Geneva, sans-serif;*/
359 outline: none;
358 outline: none;
360 resize: none;
359 resize: none;
361 width: inherit;
360 width: inherit;
362 border-style: none;
361 border-style: none;
363 padding: 5px;
362 padding: 5px;
364 color: @base_font_color;
363 color: @textColor;
365 }
364 }
366
365
367 /* The following gets added to the <head> if it is detected that the user has a
366 /* The following gets added to the <head> if it is detected that the user has a
368 * monospace font with inconsistent normal/bold/italic height. See
367 * monospace font with inconsistent normal/bold/italic height. See
369 * notebookmain.js. Such fonts will have keywords vertically offset with
368 * notebookmain.js. Such fonts will have keywords vertically offset with
370 * respect to the rest of the text. The user should select a better font.
369 * respect to the rest of the text. The user should select a better font.
371 * See: https://github.com/ipython/ipython/issues/1503
370 * See: https://github.com/ipython/ipython/issues/1503
372 *
371 *
373 * .CodeMirror span {
372 * .CodeMirror span {
374 * vertical-align: bottom;
373 * vertical-align: bottom;
375 * }
374 * }
376 */
375 */
377
376
378 .CodeMirror {
377 .CodeMirror {
379 line-height: @baseLineHeight; /* Changed from 1em to our global default */
378 line-height: @baseLineHeight; /* Changed from 1em to our global default */
380 height: auto; /* Changed to auto to autogrow */
379 height: auto; /* Changed to auto to autogrow */
381 background: none; /* Changed from white to allow our bg to show through */
380 background: none; /* Changed from white to allow our bg to show through */
382 }
381 }
383
382
384 .CodeMirror-scroll {
383 .CodeMirror-scroll {
385 /* The CodeMirror docs are a bit fuzzy on if overflow-y should be hidden or visible.*/
384 /* The CodeMirror docs are a bit fuzzy on if overflow-y should be hidden or visible.*/
386 /* We have found that if it is visible, vertical scrollbars appear with font size changes.*/
385 /* We have found that if it is visible, vertical scrollbars appear with font size changes.*/
387 overflow-y: hidden;
386 overflow-y: hidden;
388 overflow-x: auto; /* Changed from auto to remove scrollbar */
387 overflow-x: auto; /* Changed from auto to remove scrollbar */
389 }
388 }
390
389
391 .CodeMirror-lines {
390 .CodeMirror-lines {
392 /* In CM2, this used to be 0.4em, but in CM3 it went to 4px. We need the em value because */
391 /* In CM2, this used to be 0.4em, but in CM3 it went to 4px. We need the em value because */
393 /* we have set a different line-height and want this to scale with that. */
392 /* we have set a different line-height and want this to scale with that. */
394 padding: 0.4em;
393 padding: 0.4em;
395 }
394 }
396
395
397 .CodeMirror pre {
396 .CodeMirror pre {
398 /* In CM3 this went to 4px from 0 in CM2. We need the 0 value because of how we size */
397 /* In CM3 this went to 4px from 0 in CM2. We need the 0 value because of how we size */
399 /* .CodeMirror-lines */
398 /* .CodeMirror-lines */
400 padding: 0;
399 padding: 0;
401 border: 0;
400 border: 0;
402 .border-radius(0)
401 .border-radius(0)
403 }
402 }
404
403
405 /* CSS font colors for translated ANSI colors. */
404 /* CSS font colors for translated ANSI colors. */
406
405
407
406
408 .ansiblack {color: @base_font_color;}
407 .ansiblack {color: @textColor;}
409 .ansired {color: darkred;}
408 .ansired {color: darkred;}
410 .ansigreen {color: darkgreen;}
409 .ansigreen {color: darkgreen;}
411 .ansiyellow {color: brown;}
410 .ansiyellow {color: brown;}
412 .ansiblue {color: darkblue;}
411 .ansiblue {color: darkblue;}
413 .ansipurple {color: darkviolet;}
412 .ansipurple {color: darkviolet;}
414 .ansicyan {color: steelblue;}
413 .ansicyan {color: steelblue;}
415 .ansigrey {color: grey;}
414 .ansigrey {color: grey;}
416 .ansibold {font-weight: bold;}
415 .ansibold {font-weight: bold;}
417
416
418 .completions {
417 .completions {
419 position: absolute;
418 position: absolute;
420 z-index: 10;
419 z-index: 10;
421 overflow: hidden;
420 overflow: hidden;
422 border: 1px solid @border_color;
421 border: 1px solid @border_color;
423 .corner-all;
422 .corner-all;
424 .box-shadow(0px 6px 10px -1px #adadad);
423 .box-shadow(0px 6px 10px -1px #adadad);
425 }
424 }
426
425
427 .completions select {
426 .completions select {
428 background: white;
427 background: white;
429 outline: none;
428 outline: none;
430 border: none;
429 border: none;
431 padding: 0px;
430 padding: 0px;
432 margin: 0px;
431 margin: 0px;
433 overflow: auto;
432 overflow: auto;
434 font-family: monospace;
433 font-family: monospace;
435 font-size: 110%;
434 font-size: 110%;
436 color: @base_font_color;
435 color: @textColor;
437 }
436 }
438
437
439 .completions select option.context {
438 .completions select option.context {
440 color: @blueDark;
439 color: @blueDark;
441 }
440 }
442
441
443 pre.dialog {
442 pre.dialog {
444 background-color: @cell_background;
443 background-color: @cell_background;
445 border: 1px solid #ddd;
444 border: 1px solid #ddd;
446 .corner-all;
445 .corner-all;
447 padding: 0.4em;
446 padding: 0.4em;
448 padding-left: 2em;
447 padding-left: 2em;
449 }
448 }
450
449
451 p.dialog {
450 p.dialog {
452 padding : 0.2em;
451 padding : 0.2em;
453 }
452 }
454
453
455 .shortcut_key {
454 .shortcut_key {
456 display: inline-block;
455 display: inline-block;
457 width: 15ex;
456 width: 15ex;
458 text-align: right;
457 text-align: right;
459 font-family: monospace;
458 font-family: monospace;
460 }
459 }
461
460
462 .shortcut_descr {
461 .shortcut_descr {
463 }
462 }
464
463
465 /* Word-wrap output correctly. This is the CSS3 spelling, though Firefox seems
464 /* Word-wrap output correctly. This is the CSS3 spelling, though Firefox seems
466 to not honor it correctly. Webkit browsers (Chrome, rekonq, Safari) do.
465 to not honor it correctly. Webkit browsers (Chrome, rekonq, Safari) do.
467 */
466 */
468 pre, code, kbd, samp { white-space: pre-wrap; }
467 pre, code, kbd, samp { white-space: pre-wrap; }
469
468
470 #fonttest {
469 #fonttest {
471 font-family: monospace;
470 font-family: monospace;
472 }
471 }
473
472
474 .js-error {
473 .js-error {
475 color: darkred;
474 color: darkred;
476 }
475 }
477
476
478 a {
477 a {
479 text-decoration: underline;
478 text-decoration: underline;
480 }
479 }
481
480
482 p {
481 p {
483
482
484 margin-bottom:0;
483 margin-bottom:0;
485
484
486 }
485 }
487
486
488 a.heading-anchor:link, a.heading-anchor:visited {
487 a.heading-anchor:link, a.heading-anchor:visited {
489 text-decoration: none;
488 text-decoration: none;
490 color: inherit;
489 color: inherit;
491 }
490 }
492
491
493 /* raw_input styles */
492 /* raw_input styles */
494
493
495 div.raw_input {
494 div.raw_input {
496 padding-top: 0px;
495 padding-top: 0px;
497 padding-bottom: 0px;
496 padding-bottom: 0px;
498 height: 1em;
497 height: 1em;
499 line-height: 1em;
498 line-height: 1em;
500 font-family: monospace;
499 font-family: monospace;
501 }
500 }
502 span.input_prompt {
501 span.input_prompt {
503 font-family: inherit;
502 font-family: inherit;
504 }
503 }
505 input.raw_input {
504 input.raw_input {
506 font-family: inherit;
505 font-family: inherit;
507 font-size: inherit;
506 font-size: inherit;
508 color: inherit;
507 color: inherit;
509 width: auto;
508 width: auto;
510 margin: -2px 0px 0px 1px;
509 margin: -2px 0px 0px 1px;
511 padding-left: 1px;
510 padding-left: 1px;
512 padding-top: 2px;
511 padding-top: 2px;
513 height: 1em;
512 height: 1em;
514 }
513 }
515
514
516 p.p-space {
515 p.p-space {
517 margin-bottom: 10px;
516 margin-bottom: 10px;
518 }
517 }
519
518
@@ -1,11 +1,9 b''
1
1
2 // Our own variables for this page
2 // Our own variables for this page
3
3
4 @notebook_background: white;
4 @cell_selected_background: darken(@bodyBackground, 2%);
5 @cell_selected_background: darken(@notebook_background, 2%);
5 @cell_background: darken(@bodyBackground, 3.2%);
6 @cell_background: darken(@notebook_background, 3.2%);
7 @border_color: darken(@cell_selected_background, 31%);
6 @border_color: darken(@cell_selected_background, 31%);
8 @light_border_color: darken(@cell_selected_background, 17%);
7 @light_border_color: darken(@cell_selected_background, 17%);
9 @border_width: 1px;
8 @border_width: 1px;
10 @base_font_color: black;
11
9
General Comments 0
You need to be logged in to leave comments. Login now