##// END OF EJS Templates
styling: GFM tweaks #4054
lisaq -
r344:ddfb12e0 default
parent child Browse files
Show More
@@ -1,625 +1,638 b''
1 // Default styles
1 // Default styles
2
2
3 .diff-collapse {
3 .diff-collapse {
4 margin: @padding 0;
4 margin: @padding 0;
5 text-align: right;
5 text-align: right;
6 }
6 }
7
7
8 .diff-container {
8 .diff-container {
9 margin-bottom: @space;
9 margin-bottom: @space;
10
10
11 .diffblock {
11 .diffblock {
12 margin-bottom: @space;
12 margin-bottom: @space;
13 }
13 }
14
14
15 &.hidden {
15 &.hidden {
16 display: none;
16 display: none;
17 overflow: hidden;
17 overflow: hidden;
18 }
18 }
19 }
19 }
20
20
21 .compare_view_files {
21 .compare_view_files {
22
22
23 .diff-container {
23 .diff-container {
24
24
25 .diffblock {
25 .diffblock {
26 margin-bottom: 0;
26 margin-bottom: 0;
27 }
27 }
28 }
28 }
29 }
29 }
30
30
31 div.diffblock .sidebyside {
31 div.diffblock .sidebyside {
32 background: #ffffff;
32 background: #ffffff;
33 }
33 }
34
34
35 div.diffblock {
35 div.diffblock {
36 overflow-x: auto;
36 overflow-x: auto;
37 overflow-y: hidden;
37 overflow-y: hidden;
38 clear: both;
38 clear: both;
39 padding: 0px;
39 padding: 0px;
40 background: @grey6;
40 background: @grey6;
41 border: @border-thickness solid @grey5;
41 border: @border-thickness solid @grey5;
42 -webkit-border-radius: @border-radius @border-radius 0px 0px;
42 -webkit-border-radius: @border-radius @border-radius 0px 0px;
43 border-radius: @border-radius @border-radius 0px 0px;
43 border-radius: @border-radius @border-radius 0px 0px;
44
44
45
45
46 .comments-number {
46 .comments-number {
47 float: right;
47 float: right;
48 }
48 }
49
49
50 // BEGIN CODE-HEADER STYLES
50 // BEGIN CODE-HEADER STYLES
51
51
52 .code-header {
52 .code-header {
53 background: @grey6;
53 background: @grey6;
54 padding: 10px 0 10px 0;
54 padding: 10px 0 10px 0;
55 height: auto;
55 height: auto;
56 width: 100%;
56 width: 100%;
57
57
58 .hash {
58 .hash {
59 float: left;
59 float: left;
60 padding: 2px 0 0 2px;
60 padding: 2px 0 0 2px;
61 }
61 }
62
62
63 .date {
63 .date {
64 float: left;
64 float: left;
65 text-transform: uppercase;
65 text-transform: uppercase;
66 padding: 4px 0px 0px 2px;
66 padding: 4px 0px 0px 2px;
67 }
67 }
68
68
69 div {
69 div {
70 margin-left: 4px;
70 margin-left: 4px;
71 }
71 }
72
72
73 div.compare_header {
73 div.compare_header {
74 min-height: 40px;
74 min-height: 40px;
75 margin: 0;
75 margin: 0;
76 padding: 0 @padding;
76 padding: 0 @padding;
77
77
78 .drop-menu {
78 .drop-menu {
79 float:left;
79 float:left;
80 display: block;
80 display: block;
81 margin:0 0 @padding 0;
81 margin:0 0 @padding 0;
82 }
82 }
83
83
84 .compare-label {
84 .compare-label {
85 float: left;
85 float: left;
86 clear: both;
86 clear: both;
87 display: inline-block;
87 display: inline-block;
88 min-width: 5em;
88 min-width: 5em;
89 margin: 0;
89 margin: 0;
90 padding: @button-padding @button-padding @button-padding 0;
90 padding: @button-padding @button-padding @button-padding 0;
91 font-family: @text-semibold;
91 font-family: @text-semibold;
92 }
92 }
93
93
94 .compare-buttons {
94 .compare-buttons {
95 float: left;
95 float: left;
96 margin: 0;
96 margin: 0;
97 padding: 0 0 @padding;
97 padding: 0 0 @padding;
98
98
99 .btn {
99 .btn {
100 margin: 0 @padding 0 0;
100 margin: 0 @padding 0 0;
101 }
101 }
102 }
102 }
103 }
103 }
104
104
105 }
105 }
106
106
107 .parents {
107 .parents {
108 float: left;
108 float: left;
109 width: 100px;
109 width: 100px;
110 font-weight: 400;
110 font-weight: 400;
111 vertical-align: middle;
111 vertical-align: middle;
112 padding: 0px 2px 0px 2px;
112 padding: 0px 2px 0px 2px;
113 background-color: @grey6;
113 background-color: @grey6;
114
114
115 #parent_link {
115 #parent_link {
116 margin: 00px 2px;
116 margin: 00px 2px;
117
117
118 &.double {
118 &.double {
119 margin: 0px 2px;
119 margin: 0px 2px;
120 }
120 }
121
121
122 &.disabled{
122 &.disabled{
123 margin-right: @padding;
123 margin-right: @padding;
124 }
124 }
125 }
125 }
126 }
126 }
127
127
128 .children {
128 .children {
129 float: right;
129 float: right;
130 width: 100px;
130 width: 100px;
131 font-weight: 400;
131 font-weight: 400;
132 vertical-align: middle;
132 vertical-align: middle;
133 text-align: right;
133 text-align: right;
134 padding: 0px 2px 0px 2px;
134 padding: 0px 2px 0px 2px;
135 background-color: @grey6;
135 background-color: @grey6;
136
136
137 #child_link {
137 #child_link {
138 margin: 0px 2px;
138 margin: 0px 2px;
139
139
140 &.double {
140 &.double {
141 margin: 0px 2px;
141 margin: 0px 2px;
142 }
142 }
143
143
144 &.disabled{
144 &.disabled{
145 margin-right: @padding;
145 margin-right: @padding;
146 }
146 }
147 }
147 }
148 }
148 }
149
149
150 .changeset_header {
150 .changeset_header {
151 height: 16px;
151 height: 16px;
152
152
153 & > div{
153 & > div{
154 margin-right: @padding;
154 margin-right: @padding;
155 }
155 }
156 }
156 }
157
157
158 .changeset_file {
158 .changeset_file {
159 text-align: left;
159 text-align: left;
160 float: left;
160 float: left;
161 padding: 0;
161 padding: 0;
162
162
163 a{
163 a{
164 display: inline-block;
164 display: inline-block;
165 margin-right: 0.5em;
165 margin-right: 0.5em;
166 }
166 }
167
167
168 #selected_mode{
168 #selected_mode{
169 margin-left: 0;
169 margin-left: 0;
170 }
170 }
171 }
171 }
172
172
173 .diff-menu-wrapper {
173 .diff-menu-wrapper {
174 float: left;
174 float: left;
175 }
175 }
176
176
177 .diff-menu {
177 .diff-menu {
178 position: absolute;
178 position: absolute;
179 background: none repeat scroll 0 0 #FFFFFF;
179 background: none repeat scroll 0 0 #FFFFFF;
180 border-color: #003367 @grey3 @grey3;
180 border-color: #003367 @grey3 @grey3;
181 border-right: 1px solid @grey3;
181 border-right: 1px solid @grey3;
182 border-style: solid solid solid;
182 border-style: solid solid solid;
183 border-width: @border-thickness;
183 border-width: @border-thickness;
184 box-shadow: 2px 8px 4px rgba(0, 0, 0, 0.2);
184 box-shadow: 2px 8px 4px rgba(0, 0, 0, 0.2);
185 margin-top: 5px;
185 margin-top: 5px;
186 margin-left: 1px;
186 margin-left: 1px;
187 }
187 }
188
188
189 .diff-actions, .editor-actions {
189 .diff-actions, .editor-actions {
190 float: left;
190 float: left;
191
191
192 input{
192 input{
193 margin: 0 0.5em 0 0;
193 margin: 0 0.5em 0 0;
194 }
194 }
195 }
195 }
196
196
197 // END CODE-HEADER STYLES
197 // END CODE-HEADER STYLES
198
198
199 // BEGIN CODE-BODY STYLES
199 // BEGIN CODE-BODY STYLES
200
200
201 .code-body {
201 .code-body {
202 background: white;
202 background: white;
203 padding: 0;
203 padding: 0;
204 background-color: #ffffff;
204 background-color: #ffffff;
205 position: relative;
205 position: relative;
206 max-width: none;
206 max-width: none;
207 box-sizing: border-box;
207 box-sizing: border-box;
208 // TODO: johbo: Parent has overflow: auto, this forces the child here
208 // TODO: johbo: Parent has overflow: auto, this forces the child here
209 // to have the intended size and to scroll. Should be simplified.
209 // to have the intended size and to scroll. Should be simplified.
210 width: 100%;
210 width: 100%;
211 overflow-x: auto;
211 overflow-x: auto;
212 }
212 }
213
213
214 pre.raw {
214 pre.raw {
215 background: white;
215 background: white;
216 color: @grey1;
216 color: @grey1;
217 }
217 }
218 // END CODE-BODY STYLES
218 // END CODE-BODY STYLES
219
219
220 }
220 }
221
221
222
222
223 table.code-difftable {
223 table.code-difftable {
224 border-collapse: collapse;
224 border-collapse: collapse;
225 width: 99%;
225 width: 99%;
226 border-radius: 0px !important;
226 border-radius: 0px !important;
227
227
228 td {
228 td {
229 padding: 0 !important;
229 padding: 0 !important;
230 background: none !important;
230 background: none !important;
231 border: 0 !important;
231 border: 0 !important;
232 }
232 }
233
233
234 .context {
234 .context {
235 background: none repeat scroll 0 0 #DDE7EF;
235 background: none repeat scroll 0 0 #DDE7EF;
236 }
236 }
237
237
238 .add {
238 .add {
239 background: none repeat scroll 0 0 #DDFFDD;
239 background: none repeat scroll 0 0 #DDFFDD;
240
240
241 ins {
241 ins {
242 background: none repeat scroll 0 0 #AAFFAA;
242 background: none repeat scroll 0 0 #AAFFAA;
243 text-decoration: none;
243 text-decoration: none;
244 }
244 }
245 }
245 }
246
246
247 .del {
247 .del {
248 background: none repeat scroll 0 0 #FFDDDD;
248 background: none repeat scroll 0 0 #FFDDDD;
249
249
250 del {
250 del {
251 background: none repeat scroll 0 0 #FFAAAA;
251 background: none repeat scroll 0 0 #FFAAAA;
252 text-decoration: none;
252 text-decoration: none;
253 }
253 }
254 }
254 }
255
255
256 /** LINE NUMBERS **/
256 /** LINE NUMBERS **/
257 .lineno {
257 .lineno {
258 padding-left: 2px;
258 padding-left: 2px;
259 padding-right: 2px;
259 padding-right: 2px;
260 text-align: right;
260 text-align: right;
261 width: 32px;
261 width: 32px;
262 -moz-user-select: none;
262 -moz-user-select: none;
263 -webkit-user-select: none;
263 -webkit-user-select: none;
264 border-right: @border-thickness solid @grey5 !important;
264 border-right: @border-thickness solid @grey5 !important;
265 border-left: 0px solid #CCC !important;
265 border-left: 0px solid #CCC !important;
266 border-top: 0px solid #CCC !important;
266 border-top: 0px solid #CCC !important;
267 border-bottom: none !important;
267 border-bottom: none !important;
268
268
269 a {
269 a {
270 &:extend(pre);
270 &:extend(pre);
271 text-align: right;
271 text-align: right;
272 padding-right: 2px;
272 padding-right: 2px;
273 cursor: pointer;
273 cursor: pointer;
274 display: block;
274 display: block;
275 width: 32px;
275 width: 32px;
276 }
276 }
277 }
277 }
278
278
279 .context {
279 .context {
280 cursor: auto;
280 cursor: auto;
281 &:extend(pre);
281 &:extend(pre);
282 }
282 }
283
283
284 .lineno-inline {
284 .lineno-inline {
285 background: none repeat scroll 0 0 #FFF !important;
285 background: none repeat scroll 0 0 #FFF !important;
286 padding-left: 2px;
286 padding-left: 2px;
287 padding-right: 2px;
287 padding-right: 2px;
288 text-align: right;
288 text-align: right;
289 width: 30px;
289 width: 30px;
290 -moz-user-select: none;
290 -moz-user-select: none;
291 -webkit-user-select: none;
291 -webkit-user-select: none;
292 }
292 }
293
293
294 /** CODE **/
294 /** CODE **/
295 .code {
295 .code {
296 display: block;
296 display: block;
297 width: 100%;
297 width: 100%;
298
298
299 td {
299 td {
300 margin: 0;
300 margin: 0;
301 padding: 0;
301 padding: 0;
302 }
302 }
303
303
304 pre {
304 pre {
305 margin: 0;
305 margin: 0;
306 padding: 0;
306 padding: 0;
307 margin-left: .5em;
307 margin-left: .5em;
308 }
308 }
309 }
309 }
310 }
310 }
311
311
312
312
313 // Comments
313 // Comments
314
314
315 div.comment:target {
315 div.comment:target {
316 border-left: 6px solid @comment-highlight-color;
316 border-left: 6px solid @comment-highlight-color;
317 padding-left: 3px;
317 padding-left: 3px;
318 margin-left: -9px;
318 margin-left: -9px;
319 }
319 }
320
320
321 //TODO: anderson: can't get an absolute number out of anything, so had to put the
321 //TODO: anderson: can't get an absolute number out of anything, so had to put the
322 //current values that might change. But to make it clear I put as a calculation
322 //current values that might change. But to make it clear I put as a calculation
323 @comment-max-width: 1065px;
323 @comment-max-width: 1065px;
324 @pr-extra-margin: 34px;
324 @pr-extra-margin: 34px;
325 @pr-border-spacing: 4px;
325 @pr-border-spacing: 4px;
326 @pr-comment-width: @comment-max-width - @pr-extra-margin - @pr-border-spacing;
326 @pr-comment-width: @comment-max-width - @pr-extra-margin - @pr-border-spacing;
327
327
328 // Pull Request
328 // Pull Request
329 .cs_files .code-difftable {
329 .cs_files .code-difftable {
330 border: @border-thickness solid @grey5; //borders only on PRs
330 border: @border-thickness solid @grey5; //borders only on PRs
331
331
332 .comment-inline-form,
332 .comment-inline-form,
333 div.comment {
333 div.comment {
334 width: @pr-comment-width;
334 width: @pr-comment-width;
335 }
335 }
336 }
336 }
337
337
338 // Changeset
338 // Changeset
339 .code-difftable {
339 .code-difftable {
340 .comment-inline-form,
340 .comment-inline-form,
341 div.comment {
341 div.comment {
342 width: @comment-max-width;
342 width: @comment-max-width;
343 }
343 }
344 }
344 }
345
345
346 //Style page
346 //Style page
347 @style-extra-margin: @sidebar-width + (@sidebarpadding * 3) + @padding;
347 @style-extra-margin: @sidebar-width + (@sidebarpadding * 3) + @padding;
348 #style-page .code-difftable{
348 #style-page .code-difftable{
349 .comment-inline-form,
349 .comment-inline-form,
350 div.comment {
350 div.comment {
351 width: @comment-max-width - @style-extra-margin;
351 width: @comment-max-width - @style-extra-margin;
352 }
352 }
353 }
353 }
354
354
355 #context-bar > h2 {
355 #context-bar > h2 {
356 font-size: 20px;
356 font-size: 20px;
357 }
357 }
358
358
359 #context-bar > h2> a {
359 #context-bar > h2> a {
360 font-size: 20px;
360 font-size: 20px;
361 }
361 }
362 // end of defaults
362 // end of defaults
363
363
364 .file_diff_buttons {
364 .file_diff_buttons {
365 padding: 0 0 @padding;
365 padding: 0 0 @padding;
366
366
367 .drop-menu {
367 .drop-menu {
368 float: left;
368 float: left;
369 margin: 0 @padding 0 0;
369 margin: 0 @padding 0 0;
370 }
370 }
371 .btn {
371 .btn {
372 margin: 0 @padding 0 0;
372 margin: 0 @padding 0 0;
373 }
373 }
374 }
374 }
375
375
376 .code-body.textarea.editor {
376 .code-body.textarea.editor {
377 max-width: none;
377 max-width: none;
378 padding: 15px;
378 padding: 15px;
379 }
379 }
380
380
381 td.injected_diff{
381 td.injected_diff{
382 max-width: 1178px;
382 max-width: 1178px;
383 overflow-x: auto;
383 overflow-x: auto;
384 overflow-y: hidden;
384 overflow-y: hidden;
385
385
386 div.diff-container,
386 div.diff-container,
387 div.diffblock{
387 div.diffblock{
388 max-width: 100%;
388 max-width: 100%;
389 }
389 }
390
390
391 div.code-body {
391 div.code-body {
392 max-width: 1124px;
392 max-width: 1124px;
393 overflow-x: auto;
393 overflow-x: auto;
394 padding: 0;
394 padding: 0;
395 }
395 }
396 div.diffblock {
396 div.diffblock {
397 border: none;
397 border: none;
398 }
398 }
399
399
400 &.inline-form {
400 &.inline-form {
401 width: 99%
401 width: 99%
402 }
402 }
403 }
403 }
404
404
405
405
406 table.code-difftable {
406 table.code-difftable {
407 width: 100%;
407 width: 100%;
408 }
408 }
409
409
410 /** PYGMENTS COLORING **/
410 /** PYGMENTS COLORING **/
411 div.codeblock {
411 div.codeblock {
412
412
413 // TODO: johbo: Added interim to get rid of the margin around
413 // TODO: johbo: Added interim to get rid of the margin around
414 // Select2 widgets. This needs further cleanup.
414 // Select2 widgets. This needs further cleanup.
415 margin-top: @padding;
415 margin-top: @padding;
416
416
417 overflow: auto;
417 overflow: auto;
418 padding: 0px;
418 padding: 0px;
419 border: @border-thickness solid @grey5;
419 border: @border-thickness solid @grey5;
420 background: @grey6;
420 background: @grey6;
421 .border-radius(@border-radius);
421 .border-radius(@border-radius);
422
422
423 #remove_gist {
423 #remove_gist {
424 float: right;
424 float: right;
425 }
425 }
426
426
427 .author {
427 .author {
428 clear: both;
428 clear: both;
429 vertical-align: middle;
429 vertical-align: middle;
430 font-family: @text-bold;
430 font-family: @text-bold;
431 }
431 }
432
432
433 .btn-mini {
433 .btn-mini {
434 float: left;
434 float: left;
435 margin: 0 5px 0 0;
435 margin: 0 5px 0 0;
436 }
436 }
437
437
438 .code-header {
438 .code-header {
439 padding: @padding;
439 padding: @padding;
440 border-bottom: @border-thickness solid @grey5;
440 border-bottom: @border-thickness solid @grey5;
441
441
442 .rc-user {
442 .rc-user {
443 min-width: 0;
443 min-width: 0;
444 margin-right: .5em;
444 margin-right: .5em;
445 }
445 }
446
446
447 .stats {
447 .stats {
448 clear: both;
448 clear: both;
449 margin: 0 0 @padding 0;
449 margin: 0 0 @padding 0;
450 padding: 0;
450 padding: 0;
451 .left {
451 .left {
452 float: left;
452 float: left;
453 clear: left;
453 clear: left;
454 max-width: 75%;
454 max-width: 75%;
455 margin: 0 0 @padding 0;
455 margin: 0 0 @padding 0;
456
456
457 &.item {
457 &.item {
458 margin-right: @padding;
458 margin-right: @padding;
459 &.last { border-right: none; }
459 &.last { border-right: none; }
460 }
460 }
461 }
461 }
462 .buttons { float: right; }
462 .buttons { float: right; }
463 .author {
463 .author {
464 height: 25px; margin-left: 15px; font-weight: bold;
464 height: 25px; margin-left: 15px; font-weight: bold;
465 }
465 }
466 }
466 }
467
467
468 .commit {
468 .commit {
469 margin: 5px 0 0 26px;
469 margin: 5px 0 0 26px;
470 font-weight: normal;
470 font-weight: normal;
471 white-space: pre-wrap;
471 white-space: pre-wrap;
472 }
472 }
473 }
473 }
474
474
475 .message {
475 .message {
476 position: relative;
476 position: relative;
477 margin: @padding;
477 margin: @padding;
478
478
479 .codeblock-label {
479 .codeblock-label {
480 margin: 0 0 1em 0;
480 margin: 0 0 1em 0;
481 }
481 }
482 }
482 }
483
483
484 .code-body {
484 .code-body {
485 padding: @padding;
485 padding: @padding;
486 background-color: #ffffff;
486 background-color: #ffffff;
487 min-width: 100%;
487 min-width: 100%;
488 box-sizing: border-box;
488 box-sizing: border-box;
489 // TODO: johbo: Parent has overflow: auto, this forces the child here
489 // TODO: johbo: Parent has overflow: auto, this forces the child here
490 // to have the intended size and to scroll. Should be simplified.
490 // to have the intended size and to scroll. Should be simplified.
491 width: 100%;
491 width: 100%;
492 overflow-x: auto;
492 overflow-x: auto;
493 }
493 }
494 }
494 }
495
495
496 .code-highlighttable,
496 .code-highlighttable,
497 div.codeblock .code-body table {
497 div.codeblock {
498 width: 0 !important;
498
499 border: 0px !important;
499 .code-body .markdown-block table {
500 margin: 0;
500 border-collapse: collapse;
501 letter-spacing: normal;
501
502 th,
503 td {
504 padding: .5em !important;
505 border: @border-thickness solid @border-default-color !important;
506 }
507 }
502
508
503
509 .code-body table {
504 td {
510 width: 0 !important;
505 border: 0px !important;
511 border: 0px !important;
506 vertical-align: top;
512 margin: 0;
513 letter-spacing: normal;
514
515
516 td {
517 border: 0px !important;
518 vertical-align: top;
519 }
507 }
520 }
508 }
521 }
509
522
510 div.codeblock .code-header .search-path { padding: 0 0 0 10px; }
523 div.codeblock .code-header .search-path { padding: 0 0 0 10px; }
511 div.search-code-body {
524 div.search-code-body {
512 background-color: #ffffff; padding: 5px 0 5px 10px;
525 background-color: #ffffff; padding: 5px 0 5px 10px;
513 pre {
526 pre {
514 .match { background-color: #faffa6;}
527 .match { background-color: #faffa6;}
515 .break { display: block; width: 100%; background-color: #DDE7EF; color: #747474; }
528 .break { display: block; width: 100%; background-color: #DDE7EF; color: #747474; }
516 }
529 }
517 .code-highlighttable {
530 .code-highlighttable {
518 border-collapse: collapse;
531 border-collapse: collapse;
519
532
520 tr:hover {
533 tr:hover {
521 background: #fafafa;
534 background: #fafafa;
522 }
535 }
523 td.code {
536 td.code {
524 padding-left: 10px;
537 padding-left: 10px;
525 }
538 }
526 td.line {
539 td.line {
527 border-right: 1px solid #ccc !important;
540 border-right: 1px solid #ccc !important;
528 padding-right: 10px;
541 padding-right: 10px;
529 text-align: right;
542 text-align: right;
530 font-family: "Lucida Console",Monaco,monospace;
543 font-family: "Lucida Console",Monaco,monospace;
531 span {
544 span {
532 white-space: pre-wrap;
545 white-space: pre-wrap;
533 color: #666666;
546 color: #666666;
534 }
547 }
535 }
548 }
536 }
549 }
537 }
550 }
538
551
539 div.annotatediv { margin-left: 2px; margin-right: 4px; }
552 div.annotatediv { margin-left: 2px; margin-right: 4px; }
540 .code-highlight {
553 .code-highlight {
541 margin: 0; padding: 0; border-left: @border-thickness solid @grey5;
554 margin: 0; padding: 0; border-left: @border-thickness solid @grey5;
542 pre, .linenodiv pre { padding: 0 5px; margin: 0; }
555 pre, .linenodiv pre { padding: 0 5px; margin: 0; }
543 pre div:target {background-color: @comment-highlight-color !important;}
556 pre div:target {background-color: @comment-highlight-color !important;}
544 }
557 }
545
558
546 .linenos a { text-decoration: none; }
559 .linenos a { text-decoration: none; }
547
560
548 .CodeMirror-selected { background: @rchighlightblue; }
561 .CodeMirror-selected { background: @rchighlightblue; }
549 .CodeMirror-focused .CodeMirror-selected { background: @rchighlightblue; }
562 .CodeMirror-focused .CodeMirror-selected { background: @rchighlightblue; }
550 .CodeMirror ::selection { background: @rchighlightblue; }
563 .CodeMirror ::selection { background: @rchighlightblue; }
551 .CodeMirror ::-moz-selection { background: @rchighlightblue; }
564 .CodeMirror ::-moz-selection { background: @rchighlightblue; }
552
565
553 .code { display: block; border:0px !important; }
566 .code { display: block; border:0px !important; }
554 .code-highlight,
567 .code-highlight,
555 .codehilite {
568 .codehilite {
556 .hll { background-color: #ffffcc }
569 .hll { background-color: #ffffcc }
557 .c { color: #408080; font-style: italic } /* Comment */
570 .c { color: #408080; font-style: italic } /* Comment */
558 .err, .codehilite .err { border: @border-thickness solid #FF0000 } /* Error */
571 .err, .codehilite .err { border: @border-thickness solid #FF0000 } /* Error */
559 .k { color: #008000; font-weight: bold } /* Keyword */
572 .k { color: #008000; font-weight: bold } /* Keyword */
560 .o { color: #666666 } /* Operator */
573 .o { color: #666666 } /* Operator */
561 .cm { color: #408080; font-style: italic } /* Comment.Multiline */
574 .cm { color: #408080; font-style: italic } /* Comment.Multiline */
562 .cp { color: #BC7A00 } /* Comment.Preproc */
575 .cp { color: #BC7A00 } /* Comment.Preproc */
563 .c1 { color: #408080; font-style: italic } /* Comment.Single */
576 .c1 { color: #408080; font-style: italic } /* Comment.Single */
564 .cs { color: #408080; font-style: italic } /* Comment.Special */
577 .cs { color: #408080; font-style: italic } /* Comment.Special */
565 .gd { color: #A00000 } /* Generic.Deleted */
578 .gd { color: #A00000 } /* Generic.Deleted */
566 .ge { font-style: italic } /* Generic.Emph */
579 .ge { font-style: italic } /* Generic.Emph */
567 .gr { color: #FF0000 } /* Generic.Error */
580 .gr { color: #FF0000 } /* Generic.Error */
568 .gh { color: #000080; font-weight: bold } /* Generic.Heading */
581 .gh { color: #000080; font-weight: bold } /* Generic.Heading */
569 .gi { color: #00A000 } /* Generic.Inserted */
582 .gi { color: #00A000 } /* Generic.Inserted */
570 .go { color: #808080 } /* Generic.Output */
583 .go { color: #808080 } /* Generic.Output */
571 .gp { color: #000080; font-weight: bold } /* Generic.Prompt */
584 .gp { color: #000080; font-weight: bold } /* Generic.Prompt */
572 .gs { font-weight: bold } /* Generic.Strong */
585 .gs { font-weight: bold } /* Generic.Strong */
573 .gu { color: #800080; font-weight: bold } /* Generic.Subheading */
586 .gu { color: #800080; font-weight: bold } /* Generic.Subheading */
574 .gt { color: #0040D0 } /* Generic.Traceback */
587 .gt { color: #0040D0 } /* Generic.Traceback */
575 .kc { color: #008000; font-weight: bold } /* Keyword.Constant */
588 .kc { color: #008000; font-weight: bold } /* Keyword.Constant */
576 .kd { color: #008000; font-weight: bold } /* Keyword.Declaration */
589 .kd { color: #008000; font-weight: bold } /* Keyword.Declaration */
577 .kn { color: #008000; font-weight: bold } /* Keyword.Namespace */
590 .kn { color: #008000; font-weight: bold } /* Keyword.Namespace */
578 .kp { color: #008000 } /* Keyword.Pseudo */
591 .kp { color: #008000 } /* Keyword.Pseudo */
579 .kr { color: #008000; font-weight: bold } /* Keyword.Reserved */
592 .kr { color: #008000; font-weight: bold } /* Keyword.Reserved */
580 .kt { color: #B00040 } /* Keyword.Type */
593 .kt { color: #B00040 } /* Keyword.Type */
581 .m { color: #666666 } /* Literal.Number */
594 .m { color: #666666 } /* Literal.Number */
582 .s { color: #BA2121 } /* Literal.String */
595 .s { color: #BA2121 } /* Literal.String */
583 .na { color: #7D9029 } /* Name.Attribute */
596 .na { color: #7D9029 } /* Name.Attribute */
584 .nb { color: #008000 } /* Name.Builtin */
597 .nb { color: #008000 } /* Name.Builtin */
585 .nc { color: #0000FF; font-weight: bold } /* Name.Class */
598 .nc { color: #0000FF; font-weight: bold } /* Name.Class */
586 .no { color: #880000 } /* Name.Constant */
599 .no { color: #880000 } /* Name.Constant */
587 .nd { color: #AA22FF } /* Name.Decorator */
600 .nd { color: #AA22FF } /* Name.Decorator */
588 .ni { color: #999999; font-weight: bold } /* Name.Entity */
601 .ni { color: #999999; font-weight: bold } /* Name.Entity */
589 .ne { color: #D2413A; font-weight: bold } /* Name.Exception */
602 .ne { color: #D2413A; font-weight: bold } /* Name.Exception */
590 .nf { color: #0000FF } /* Name.Function */
603 .nf { color: #0000FF } /* Name.Function */
591 .nl { color: #A0A000 } /* Name.Label */
604 .nl { color: #A0A000 } /* Name.Label */
592 .nn { color: #0000FF; font-weight: bold } /* Name.Namespace */
605 .nn { color: #0000FF; font-weight: bold } /* Name.Namespace */
593 .nt { color: #008000; font-weight: bold } /* Name.Tag */
606 .nt { color: #008000; font-weight: bold } /* Name.Tag */
594 .nv { color: #19177C } /* Name.Variable */
607 .nv { color: #19177C } /* Name.Variable */
595 .ow { color: #AA22FF; font-weight: bold } /* Operator.Word */
608 .ow { color: #AA22FF; font-weight: bold } /* Operator.Word */
596 .w { color: #bbbbbb } /* Text.Whitespace */
609 .w { color: #bbbbbb } /* Text.Whitespace */
597 .mf { color: #666666 } /* Literal.Number.Float */
610 .mf { color: #666666 } /* Literal.Number.Float */
598 .mh { color: #666666 } /* Literal.Number.Hex */
611 .mh { color: #666666 } /* Literal.Number.Hex */
599 .mi { color: #666666 } /* Literal.Number.Integer */
612 .mi { color: #666666 } /* Literal.Number.Integer */
600 .mo { color: #666666 } /* Literal.Number.Oct */
613 .mo { color: #666666 } /* Literal.Number.Oct */
601 .sb { color: #BA2121 } /* Literal.String.Backtick */
614 .sb { color: #BA2121 } /* Literal.String.Backtick */
602 .sc { color: #BA2121 } /* Literal.String.Char */
615 .sc { color: #BA2121 } /* Literal.String.Char */
603 .sd { color: #BA2121; font-style: italic } /* Literal.String.Doc */
616 .sd { color: #BA2121; font-style: italic } /* Literal.String.Doc */
604 .s2 { color: #BA2121 } /* Literal.String.Double */
617 .s2 { color: #BA2121 } /* Literal.String.Double */
605 .se { color: #BB6622; font-weight: bold } /* Literal.String.Escape */
618 .se { color: #BB6622; font-weight: bold } /* Literal.String.Escape */
606 .sh { color: #BA2121 } /* Literal.String.Heredoc */
619 .sh { color: #BA2121 } /* Literal.String.Heredoc */
607 .si { color: #BB6688; font-weight: bold } /* Literal.String.Interpol */
620 .si { color: #BB6688; font-weight: bold } /* Literal.String.Interpol */
608 .sx { color: #008000 } /* Literal.String.Other */
621 .sx { color: #008000 } /* Literal.String.Other */
609 .sr { color: #BB6688 } /* Literal.String.Regex */
622 .sr { color: #BB6688 } /* Literal.String.Regex */
610 .s1 { color: #BA2121 } /* Literal.String.Single */
623 .s1 { color: #BA2121 } /* Literal.String.Single */
611 .ss { color: #19177C } /* Literal.String.Symbol */
624 .ss { color: #19177C } /* Literal.String.Symbol */
612 .bp { color: #008000 } /* Name.Builtin.Pseudo */
625 .bp { color: #008000 } /* Name.Builtin.Pseudo */
613 .vc { color: #19177C } /* Name.Variable.Class */
626 .vc { color: #19177C } /* Name.Variable.Class */
614 .vg { color: #19177C } /* Name.Variable.Global */
627 .vg { color: #19177C } /* Name.Variable.Global */
615 .vi { color: #19177C } /* Name.Variable.Instance */
628 .vi { color: #19177C } /* Name.Variable.Instance */
616 .il { color: #666666 } /* Literal.Number.Integer.Long */
629 .il { color: #666666 } /* Literal.Number.Integer.Long */
617 }
630 }
618
631
619 /* customized pre blocks for markdown/rst */
632 /* customized pre blocks for markdown/rst */
620 pre.literal-block, .codehilite pre{
633 pre.literal-block, .codehilite pre{
621 padding: @padding;
634 padding: @padding;
622 border: 1px solid @grey6;
635 border: 1px solid @grey6;
623 .border-radius(@border-radius);
636 .border-radius(@border-radius);
624 background-color: @grey7;
637 background-color: @grey7;
625 }
638 }
@@ -1,365 +1,376 b''
1
1
2 /** MODAL **/
2 /** MODAL **/
3 .modal-open {
3 .modal-open {
4 overflow:hidden;
4 overflow:hidden;
5 }
5 }
6 body.modal-open, .modal-open .navbar-fixed-top, .modal-open .navbar-fixed-bottom {
6 body.modal-open, .modal-open .navbar-fixed-top, .modal-open .navbar-fixed-bottom {
7 margin-right:15px;
7 margin-right:15px;
8 }
8 }
9 .modal {
9 .modal {
10 position:fixed;
10 position:fixed;
11 top:0;
11 top:0;
12 right:0;
12 right:0;
13 bottom:0;
13 bottom:0;
14 left:0;
14 left:0;
15 z-index:1040;
15 z-index:1040;
16 display:none;
16 display:none;
17 overflow-y:scroll;
17 overflow-y:scroll;
18 &.fade .modal-dialog {
18 &.fade .modal-dialog {
19 -webkit-transform:translate(0,-25%);
19 -webkit-transform:translate(0,-25%);
20 -ms-transform:translate(0,-25%);
20 -ms-transform:translate(0,-25%);
21 transform:translate(0,-25%);
21 transform:translate(0,-25%);
22 -webkit-transition:-webkit-transform 0.3s ease-out;
22 -webkit-transition:-webkit-transform 0.3s ease-out;
23 -moz-transition:-moz-transform 0.3s ease-out;
23 -moz-transition:-moz-transform 0.3s ease-out;
24 -o-transition:-o-transform 0.3s ease-out;
24 -o-transition:-o-transform 0.3s ease-out;
25 transition:transform 0.3s ease-out;
25 transition:transform 0.3s ease-out;
26 }
26 }
27 &.in .modal-dialog {
27 &.in .modal-dialog {
28 -webkit-transform:translate(0,0);
28 -webkit-transform:translate(0,0);
29 -ms-transform:translate(0,0);
29 -ms-transform:translate(0,0);
30 transform:translate(0,0);
30 transform:translate(0,0);
31 }
31 }
32 }
32 }
33 .modal-dialog {
33 .modal-dialog {
34 z-index:1050;
34 z-index:1050;
35 width:auto;
35 width:auto;
36 padding:10px;
36 padding:10px;
37 margin-right:auto;
37 margin-right:auto;
38 margin-left:auto;
38 margin-left:auto;
39 }
39 }
40 .modal-content {
40 .modal-content {
41 position:relative;
41 position:relative;
42 background-color:#ffffff;
42 background-color:#ffffff;
43 border: @border-thickness solid rgba(0,0,0,0.2);
43 border: @border-thickness solid rgba(0,0,0,0.2);
44 .border-radius(@border-radius);
44 .border-radius(@border-radius);
45 outline:none;
45 outline:none;
46 -webkit-box-shadow:0 3px 9px rgba(0,0,0,0.5);
46 -webkit-box-shadow:0 3px 9px rgba(0,0,0,0.5);
47 box-shadow:0 3px 9px rgba(0,0,0,0.5);
47 box-shadow:0 3px 9px rgba(0,0,0,0.5);
48 background-clip:padding-box;
48 background-clip:padding-box;
49 }
49 }
50 .modal-backdrop {
50 .modal-backdrop {
51 position:fixed;
51 position:fixed;
52 top:0;
52 top:0;
53 right:0;
53 right:0;
54 bottom:0;
54 bottom:0;
55 left:0;
55 left:0;
56 z-index:1030;
56 z-index:1030;
57 background-color:#000000;
57 background-color:#000000;
58
58
59 &.modal-backdrop.fade {
59 &.modal-backdrop.fade {
60 opacity:0;
60 opacity:0;
61 filter:alpha(opacity=0);
61 filter:alpha(opacity=0);
62 }
62 }
63 &.in {
63 &.in {
64 opacity:0.5;
64 opacity:0.5;
65 filter:alpha(opacity=50);
65 filter:alpha(opacity=50);
66 }
66 }
67 }
67 }
68 .modal-header {
68 .modal-header {
69 min-height:16.428571429px;
69 min-height:16.428571429px;
70 padding:15px;
70 padding:15px;
71 border-bottom: @border-thickness solid @grey6;
71 border-bottom: @border-thickness solid @grey6;
72 .close {
72 .close {
73 margin-top:-2px;
73 margin-top:-2px;
74 }
74 }
75 }
75 }
76 .modal-title {
76 .modal-title {
77 margin:0;
77 margin:0;
78 line-height:1.428571429;
78 line-height:1.428571429;
79 }
79 }
80 .modal-body {
80 .modal-body {
81 position:relative;
81 position:relative;
82 padding:20px;
82 padding:20px;
83 }
83 }
84 .modal-footer {
84 .modal-footer {
85 padding:19px 20px 20px;
85 padding:19px 20px 20px;
86 margin-top:15px;
86 margin-top:15px;
87 text-align:right;
87 text-align:right;
88 border-top:1px solid #e5e5e5;
88 border-top:1px solid #e5e5e5;
89 .btn + .btn {
89 .btn + .btn {
90 margin-bottom:0;
90 margin-bottom:0;
91 margin-left:5px;
91 margin-left:5px;
92 }
92 }
93 .btn-group .btn + .btn {
93 .btn-group .btn + .btn {
94 margin-left:-1px;
94 margin-left:-1px;
95 }
95 }
96 .btn-block + .btn-block {
96 .btn-block + .btn-block {
97 margin-left:0;
97 margin-left:0;
98 }
98 }
99 &:before {
99 &:before {
100 display:table;
100 display:table;
101 content:" ";
101 content:" ";
102 }
102 }
103 &:after {
103 &:after {
104 display:table;
104 display:table;
105 content:" ";
105 content:" ";
106 clear:both;
106 clear:both;
107 }
107 }
108 }
108 }
109
109
110 /** MARKDOWN styling **/
110 /** MARKDOWN styling **/
111 div.markdown-block {
111 div.markdown-block {
112 clear: both;
112 clear: both;
113 overflow: hidden;
113 overflow: hidden;
114 margin: 0;
114 margin: 0;
115 padding: 3px 15px 3px;
115 padding: 3px 15px 3px;
116 }
116 }
117
117
118 div.markdown-block h1,
118 div.markdown-block h1,
119 div.markdown-block h2,
119 div.markdown-block h2,
120 div.markdown-block h3,
120 div.markdown-block h3,
121 div.markdown-block h4,
121 div.markdown-block h4,
122 div.markdown-block h5,
122 div.markdown-block h5,
123 div.markdown-block h6 {
123 div.markdown-block h6 {
124 border-bottom: none !important;
124 border-bottom: none !important;
125 padding: 0 !important;
125 padding: 0 !important;
126 overflow: visible !important;
126 overflow: visible !important;
127 }
127 }
128
128
129 div.markdown-block h1 {
129 div.markdown-block h1 {
130 font-size: 32px;
130 font-size: 32px;
131 margin: 15px 0 15px 0 !important;
131 margin: 15px 0 15px 0 !important;
132 padding-bottom: 5px !important;
132 padding-bottom: 5px !important;
133 }
133 }
134
134
135 div.markdown-block h2 {
135 div.markdown-block h2 {
136 font-size: 24px !important;
136 font-size: 24px !important;
137 margin: 34px 0 10px 0 !important;
137 margin: 34px 0 10px 0 !important;
138 border-top: 3px #e6e5e5 solid !important;
138 border-top: 3px #e6e5e5 solid !important;
139 padding-top: 15px !important;
139 padding-top: 15px !important;
140 padding-bottom: 8px !important;
140 padding-bottom: 8px !important;
141 }
141 }
142
142
143 div.markdown-block h3 {
143 div.markdown-block h3 {
144 font-size: 18px !important;
144 font-size: 18px !important;
145 margin: 30px 0 8px 0 !important;
145 margin: 30px 0 8px 0 !important;
146 padding-bottom: 2px !important;
146 padding-bottom: 2px !important;
147 }
147 }
148
148
149 div.markdown-block h4 {
149 div.markdown-block h4 {
150 font-size: 13px !important;
150 font-size: 13px !important;
151 margin: 18px 0 3px 0 !important;
151 margin: 18px 0 3px 0 !important;
152 }
152 }
153
153
154 div.markdown-block h5 {
154 div.markdown-block h5 {
155 font-size: 12px !important;
155 font-size: 12px !important;
156 margin: 15px 0 3px 0 !important;
156 margin: 15px 0 3px 0 !important;
157 }
157 }
158
158
159 div.markdown-block h6 {
159 div.markdown-block h6 {
160 font-size: 12px;
160 font-size: 12px;
161 color: #777777;
161 color: #777777;
162 margin: 15px 0 3px 0 !important;
162 margin: 15px 0 3px 0 !important;
163 }
163 }
164
164
165 div.markdown-block hr {
165 div.markdown-block hr {
166 height: 1px;
166 height: 1px;
167 border: 0;
167 border: 0;
168 color: #CCCCCC;
168 color: #CCCCCC;
169 color: #e6e5e5;
169 color: #e6e5e5;
170 height: 3px;
170 height: 3px;
171 margin-bottom: 13px;
171 margin-bottom: 13px;
172 }
172 }
173
173
174 div.markdown-block ol,
174 div.markdown-block ol,
175 div.markdown-block ul,
175 div.markdown-block ul,
176 div.markdown-block p,
176 div.markdown-block p,
177 div.markdown-block blockquote,
177 div.markdown-block blockquote,
178 div.markdown-block dl,
178 div.markdown-block dl,
179 div.markdown-block li,
179 div.markdown-block li,
180 div.markdown-block table,
180 div.markdown-block table {
181 div.markdown-block pre {
182 margin: 15px 0 !important;
181 margin: 15px 0 !important;
183 margin: 3px 0px 13px 0px !important;
182 margin: 3px 0px 13px 0px !important;
184 color: #424242 !important;
183 color: #424242 !important;
185 font-size: 13px !important;
184 font-size: 13px !important;
186 font-family: "Helvetica" !important;
185 font-family: "Helvetica" !important;
187 font-weight: normal !important;
186 font-weight: normal !important;
188 overflow: visible !important;
187 overflow: visible !important;
189 line-height: 140% !important;
188 line-height: 140% !important;
190 }
189 }
191
190
191 div.markdown-block pre {
192 margin: 15px 0 !important;
193 margin: 3px 0px 13px 0px !important;
194 padding: .5em;
195 color: #424242 !important;
196 font-size: 13px !important;
197 overflow: visible !important;
198 line-height: 140% !important;
199 background-color: @grey7;
200 }
201
192 div.markdown-block img {
202 div.markdown-block img {
193 padding: 4px;
203 padding: 4px;
194 border: @border-thickness solid @grey5;
204 border: @border-thickness solid @grey5;
195 border: @border-thickness solid rgba(0, 0, 0, 0.2);
205 border: @border-thickness solid rgba(0, 0, 0, 0.2);
196 -webkit-box-shadow: 0 1px 3px rgba(0, 0, 0, 0.1);
206 -webkit-box-shadow: 0 1px 3px rgba(0, 0, 0, 0.1);
197 -moz-box-shadow: 0 1px 3px rgba(0, 0, 0, 0.1);
207 -moz-box-shadow: 0 1px 3px rgba(0, 0, 0, 0.1);
198 box-shadow: 0 1px 3px rgba(0, 0, 0, 0.1);
208 box-shadow: 0 1px 3px rgba(0, 0, 0, 0.1);
199 margin: 5px 0 0 0 !important;
209 margin: 5px 0 0 0 !important;
200 }
210 }
201
211
202 div.markdown-block ul,
212 div.markdown-block ul,
203 div.markdown-block ol {
213 div.markdown-block ol {
204 padding-left: 30px !important;
214 padding-left: 30px !important;
205 margin-top: 0px !important;
215 margin-top: 0px !important;
206 margin-bottom: 18px !important;
216 margin-bottom: 18px !important;
207 }
217 }
208
218
209 div.markdown-block ul li,
219 div.markdown-block ul li,
210 div.markdown-block ol li {
220 div.markdown-block ol li {
211 list-style: disc !important;
221 list-style: disc !important;
212 margin: 13px !important;
222 margin: 13px !important;
213 padding: 0 !important;
223 padding: 0 !important;
214 }
224 }
215
225
216 div.markdown-block ol li {
226 div.markdown-block ol li {
217 list-style: decimal !important;
227 list-style: decimal !important;
218 }
228 }
219
229
220 /*
230 /*
221 div.markdown-block a,
231 div.markdown-block a,
222 div.markdown-block a:visited {
232 div.markdown-block a:visited {
223 color: #4183C4 !important;
233 color: #4183C4 !important;
224 background-color: inherit;
234 background-color: inherit;
225 text-decoration: none;
235 text-decoration: none;
226 }
236 }
227 */
237 */
228
238
229 div.markdown-block #message {
239 div.markdown-block #message {
230 .border-radius(@border-radius);
240 .border-radius(@border-radius);
231 border: @border-thickness solid @grey5;
241 border: @border-thickness solid @grey5;
232 display: block;
242 display: block;
233 width: 100%;
243 width: 100%;
234 height: 60px;
244 height: 60px;
235 margin: 6px 0px;
245 margin: 6px 0px;
236 }
246 }
237
247
238 div.markdown-block button,
248 div.markdown-block button,
239 div.markdown-block #ws {
249 div.markdown-block #ws {
240 font-size: @basefontsize;
250 font-size: @basefontsize;
241 padding: 4px 6px;
251 padding: 4px 6px;
242 .border-radius(@border-radius);
252 .border-radius(@border-radius);
243 border: @border-thickness solid @grey5;
253 border: @border-thickness solid @grey5;
244 background-color: @grey6;
254 background-color: @grey6;
245 }
255 }
246
256
247 div.markdown-block code,
257 div.markdown-block code,
248 div.markdown-block pre,
258 div.markdown-block pre,
249 div.markdown-block #ws,
259 div.markdown-block #ws,
250 div.markdown-block #message {
260 div.markdown-block #message {
251 font-family: Monaco;
261 font-family: Monaco;
252 font-size: 11px;
262 font-size: 11px;
253 .border-radius(@border-radius);
263 .border-radius(@border-radius);
254 background-color: white;
264 background-color: white;
255 color: @grey3;
265 color: @grey3;
256 }
266 }
257
267
258
268
259 div.markdown-block code {
269 div.markdown-block code {
260 border: @border-thickness solid @grey6;
270 border: @border-thickness solid @grey6;
261 margin: 0 2px;
271 margin: 0 2px;
262 padding: 0 5px;
272 padding: 0 5px;
263 }
273 }
264
274
265 div.markdown-block pre {
275 div.markdown-block pre {
266 border: @border-thickness solid @grey5;
276 border: @border-thickness solid @grey5;
267 overflow: auto;
277 overflow: auto;
268 padding: 4px 8px;
278 padding: .5em;
279 background-color: @grey7;
269 }
280 }
270
281
271 div.markdown-block pre > code {
282 div.markdown-block pre > code {
272 border: 0;
283 border: 0;
273 margin: 0;
284 margin: 0;
274 padding: 0;
285 padding: 0;
275 }
286 }
276
287
277 /** RST STYLE **/
288 /** RST STYLE **/
278 div.rst-block {
289 div.rst-block {
279 clear: both;
290 clear: both;
280 overflow: hidden;
291 overflow: hidden;
281 margin: 0;
292 margin: 0;
282 padding: 3px 15px 3px;
293 padding: 3px 15px 3px;
283 }
294 }
284
295
285 div.rst-block h2 {
296 div.rst-block h2 {
286 font-weight: normal;
297 font-weight: normal;
287 }
298 }
288
299
289 div.rst-block h1,
300 div.rst-block h1,
290 div.rst-block h2,
301 div.rst-block h2,
291 div.rst-block h3,
302 div.rst-block h3,
292 div.rst-block h4,
303 div.rst-block h4,
293 div.rst-block h5,
304 div.rst-block h5,
294 div.rst-block h6 {
305 div.rst-block h6 {
295 border-bottom: 0 !important;
306 border-bottom: 0 !important;
296 margin: 0 !important;
307 margin: 0 !important;
297 padding: 0 !important;
308 padding: 0 !important;
298 line-height: 1.5em !important;
309 line-height: 1.5em !important;
299 }
310 }
300
311
301
312
302 div.rst-block h1:first-child {
313 div.rst-block h1:first-child {
303 padding-top: .25em !important;
314 padding-top: .25em !important;
304 }
315 }
305
316
306 div.rst-block h2,
317 div.rst-block h2,
307 div.rst-block h3 {
318 div.rst-block h3 {
308 margin: 1em 0 !important;
319 margin: 1em 0 !important;
309 }
320 }
310
321
311 div.rst-block h2 {
322 div.rst-block h2 {
312 margin-top: 1.5em !important;
323 margin-top: 1.5em !important;
313 border-top: 4px solid #e0e0e0 !important;
324 border-top: 4px solid #e0e0e0 !important;
314 padding-top: .5em !important;
325 padding-top: .5em !important;
315 }
326 }
316
327
317 div.rst-block p {
328 div.rst-block p {
318 color: black !important;
329 color: black !important;
319 margin: 1em 0 !important;
330 margin: 1em 0 !important;
320 line-height: 1.5em !important;
331 line-height: 1.5em !important;
321 }
332 }
322
333
323 div.rst-block ul {
334 div.rst-block ul {
324 list-style: disc !important;
335 list-style: disc !important;
325 margin: 1em 0 1em 2em !important;
336 margin: 1em 0 1em 2em !important;
326 clear: both;
337 clear: both;
327 }
338 }
328
339
329 div.rst-block ol {
340 div.rst-block ol {
330 list-style: decimal;
341 list-style: decimal;
331 margin: 1em 0 1em 2em !important;
342 margin: 1em 0 1em 2em !important;
332 }
343 }
333
344
334 div.rst-block pre,
345 div.rst-block pre,
335 div.rst-block code {
346 div.rst-block code {
336 font: 12px "Bitstream Vera Sans Mono","Courier",monospace;
347 font: 12px "Bitstream Vera Sans Mono","Courier",monospace;
337 }
348 }
338
349
339 div.rst-block code {
350 div.rst-block code {
340 font-size: 12px !important;
351 font-size: 12px !important;
341 background-color: ghostWhite !important;
352 background-color: ghostWhite !important;
342 color: #444 !important;
353 color: #444 !important;
343 padding: 0 .2em !important;
354 padding: 0 .2em !important;
344 border: 1px solid #dedede !important;
355 border: 1px solid #dedede !important;
345 }
356 }
346
357
347 div.rst-block pre code {
358 div.rst-block pre code {
348 padding: 0 !important;
359 padding: 0 !important;
349 font-size: 12px !important;
360 font-size: 12px !important;
350 background-color: #eee !important;
361 background-color: #eee !important;
351 border: none !important;
362 border: none !important;
352 }
363 }
353
364
354 div.rst-block pre {
365 div.rst-block pre {
355 margin: 1em 0;
366 margin: 1em 0;
356 padding: @padding;
367 padding: @padding;
357 border: 1px solid @grey6;
368 border: 1px solid @grey6;
358 .border-radius(@border-radius);
369 .border-radius(@border-radius);
359 overflow: auto;
370 overflow: auto;
360 font-size: 12px;
371 font-size: 12px;
361 color: #444;
372 color: #444;
362 background-color: @grey7;
373 background-color: @grey7;
363 }
374 }
364
375
365
376
General Comments 0
You need to be logged in to leave comments. Login now