Pull request !2251 From Fri, 07 Dec 2018 07:29:44
Shadow repository data not available.
Closed, Under Review - calculated based on 5 reviewers votes
  • Bug 5509 - remove !important from css rules.
Pull request versions not available.
Author of this pull request
Pull request reviewers
Time Author Commit Description
r3048:ec80e5e97132
Bug 5509 - remove \!important from css rules.
Add another comment
TODOs: 0 unresolved 0 Resolved
COMMENTS: 4 General, 0 Inline (0 Outdated)
@@ -213,12 +213,12
213 table.code-difftable {
213 table.code-difftable {
214 border-collapse: collapse;
214 border-collapse: collapse;
215 width: 99%;
215 width: 99%;
216 border-radius: 0px !important;
216 border-radius: 0px;
217
217
218 td {
218 td {
219 padding: 0 !important;
219 padding: 0;
220 background: none !important;
220 background: none;
221 border: 0 !important;
221 border: 0;
222 }
222 }
223
223
224 .context {
224 .context {
@@ -245,16 +245,16
245
245
246 /** LINE NUMBERS **/
246 /** LINE NUMBERS **/
247 .lineno {
247 .lineno {
248 padding-left: 2px !important;
248 padding-left: 2px;
249 padding-right: 2px;
249 padding-right: 2px;
250 text-align: right;
250 text-align: right;
251 width: 32px;
251 width: 32px;
252 -moz-user-select: none;
252 -moz-user-select: none;
253 -webkit-user-select: none;
253 -webkit-user-select: none;
254 border-right: @border-thickness solid @grey5 !important;
254 border-right: @border-thickness solid @grey5;
255 border-left: 0px solid #CCC !important;
255 border-left: 0px solid #CCC;
256 border-top: 0px solid #CCC !important;
256 border-top: 0px solid #CCC;
257 border-bottom: none !important;
257 border-bottom: none;
258
258
259 a {
259 a {
260 &:extend(pre);
260 &:extend(pre);
@@ -272,7 +272,7
272 }
272 }
273
273
274 .lineno-inline {
274 .lineno-inline {
275 background: none repeat scroll 0 0 #FFF !important;
275 background: none repeat scroll 0 0 #FFF;
276 padding-left: 2px;
276 padding-left: 2px;
277 padding-right: 2px;
277 padding-right: 2px;
278 text-align: right;
278 text-align: right;
@@ -303,7 +303,7
303 // Comments
303 // Comments
304
304
305 div.comment:target {
305 div.comment:target {
306 border-left: 6px solid @comment-highlight-color !important;
306 border-left: 6px solid @comment-highlight-color;
307 padding-left: 3px;
307 padding-left: 3px;
308 margin-left: -9px;
308 margin-left: -9px;
309 }
309 }
@@ -540,7 +540,7
540 padding-left: 10px;
540 padding-left: 10px;
541 }
541 }
542 td.line {
542 td.line {
543 border-right: 1px solid #ccc !important;
543 border-right: 1px solid #ccc;
544 padding-right: 10px;
544 padding-right: 10px;
545 text-align: right;
545 text-align: right;
546 font-family: "Lucida Console",Monaco,monospace;
546 font-family: "Lucida Console",Monaco,monospace;
@@ -556,7 +556,7
556 .code-highlight {
556 .code-highlight {
557 margin: 0; padding: 0; border-left: @border-thickness solid @grey5;
557 margin: 0; padding: 0; border-left: @border-thickness solid @grey5;
558 pre, .linenodiv pre { padding: 0 5px; margin: 0; }
558 pre, .linenodiv pre { padding: 0 5px; margin: 0; }
559 pre div:target {background-color: @comment-highlight-color !important;}
559 pre div:target {background-color: @comment-highlight-color;}
560 }
560 }
561
561
562 .linenos a { text-decoration: none; }
562 .linenos a { text-decoration: none; }
@@ -566,7 +566,7
566 .CodeMirror ::selection { background: @rchighlightblue; }
566 .CodeMirror ::selection { background: @rchighlightblue; }
567 .CodeMirror ::-moz-selection { background: @rchighlightblue; }
567 .CodeMirror ::-moz-selection { background: @rchighlightblue; }
568
568
569 .code { display: block; border:0px !important; }
569 .code { display: block; border:0px; }
570 .code-highlight, /* TODO: dan: merge codehilite into code-highlight */
570 .code-highlight, /* TODO: dan: merge codehilite into code-highlight */
571 .codehilite {
571 .codehilite {
572 .hll { background-color: #ffffcc }
572 .hll { background-color: #ffffcc }
@@ -720,7 +720,7
720 }
720 }
721 &.diffset-comments-disabled {
721 &.diffset-comments-disabled {
722 .cb-comment-box-opener, .comment-inline-form, .cb-comment-add-button {
722 .cb-comment-box-opener, .comment-inline-form, .cb-comment-add-button {
723 display: none !important;
723 display: none;
724 }
724 }
725 }
725 }
726 }
726 }
@@ -801,7 +801,7
801 clear: both;
801 clear: both;
802 }
802 }
803 .filediff-heading:hover {
803 .filediff-heading:hover {
804 background: #e1e9f4 !important;
804 background: #e1e9f4;
805 }
805 }
806
806
807 .filediff-menu {
807 .filediff-menu {
@@ -953,11 +953,11
953 }
953 }
954
954
955 /* intentionally general selector since .cb-line-selected must override it
955 /* intentionally general selector since .cb-line-selected must override it
956 and they both use !important since the td itself may have a random color
956 and they both use since the td itself may have a random color
957 generated by annotation blocks. TLDR: if you change it, make sure
957 generated by annotation blocks. TLDR: if you change it, make sure
958 annotated block selection and line selection in file view still work */
958 annotated block selection and line selection in file view still work */
959 .cb-line-fresh .cb-content {
959 .cb-line-fresh .cb-content {
960 background: white !important;
960 background: white;
961 }
961 }
962 .cb-warning {
962 .cb-warning {
963 background: #fff4dd;
963 background: #fff4dd;
@@ -1000,7 +1000,7
1000 font-size: 12.35px;
1000 font-size: 12.35px;
1001
1001
1002 &.cb-line-selected .cb-code {
1002 &.cb-line-selected .cb-code {
1003 background: @comment-highlight-color !important;
1003 background: @comment-highlight-color;
1004 }
1004 }
1005
1005
1006 span.cb-code {
1006 span.cb-code {
@@ -1050,7 +1050,7
1050 }
1050 }
1051 &.cb-line-selected > div {
1051 &.cb-line-selected > div {
1052 display: block;
1052 display: block;
1053 background: @comment-highlight-color !important;
1053 background: @comment-highlight-color;
1054 line-height: @cb-line-height;
1054 line-height: @cb-line-height;
1055 color: rgba(0, 0, 0, 0.3);
1055 color: rgba(0, 0, 0, 0.3);
1056 }
1056 }
@@ -1069,7 +1069,7
1069 content: attr(data-line-no);
1069 content: attr(data-line-no);
1070 }
1070 }
1071 &.cb-line-selected a {
1071 &.cb-line-selected a {
1072 background: @comment-highlight-color !important;
1072 background: @comment-highlight-color;
1073 }
1073 }
1074
1074
1075 a {
1075 a {
@@ -150,7 +150,7
150 }
150 }
151
151
152 .CodeMirror-scroll {
152 .CodeMirror-scroll {
153 overflow: scroll !important; /* Things will break if this is overridden */
153 overflow: scroll; /* Things will break if this is overridden */
154 /* 30px is the magic margin used to hide the element's real scrollbars */
154 /* 30px is the magic margin used to hide the element's real scrollbars */
155 /* See overflow: hidden in .CodeMirror */
155 /* See overflow: hidden in .CodeMirror */
156 margin-bottom: -30px; margin-right: -30px;
156 margin-bottom: -30px; margin-right: -30px;
@@ -236,7 +236,7
236
236
237 .markdown-block p,
237 .markdown-block p,
238 .rst-block p {
238 .rst-block p {
239 margin: .5em 0 !important;
239 margin: .5em 0;
240 // TODO: lisa: This is needed because of other rst !important rules :[
240 // TODO: lisa: This is needed because of other rst !important rules :[
241 }
241 }
242 }
242 }
@@ -122,7 +122,7
122 .deform-seq-container {
122 .deform-seq-container {
123 .deform-seq-item {
123 .deform-seq-item {
124 .form-group {
124 .form-group {
125 width: 45% !important; padding: 0 2px; float: left; clear: none;
125 width: 45% padding: 0 2px; float: left; clear: none;
126 }
126 }
127 }
127 }
128 }
128 }
@@ -131,7 +131,7
131 .deform-seq-container {
131 .deform-seq-container {
132 .deform-seq-item {
132 .deform-seq-item {
133 .form-group {
133 .form-group {
134 width: 30% !important; padding: 0 2px; float: left; clear: none;
134 width: 30% padding: 0 2px; float: left; clear: none;
135 }
135 }
136 }
136 }
137 }
137 }
@@ -16,7 +16,7
16
16
17 // TODO: anderson: fixing mouse-over bug.
17 // TODO: anderson: fixing mouse-over bug.
18 // why was it vertical-align baseline in first place??
18 // why was it vertical-align baseline in first place??
19 vertical-align: top !important;
19 vertical-align: top;
20 // Force width and display for IE 9
20 // Force width and display for IE 9
21 .add-comment-content {
21 .add-comment-content {
22 display: inline-block;
22 display: inline-block;
@@ -62,14 +62,14
62
62
63 &.hover, &.selected {
63 &.hover, &.selected {
64 &, del, ins {
64 &, del, ins {
65 background-color: lighten(@alert3, 10%) !important;
65 background-color: lighten(@alert3, 10%);
66 }
66 }
67 }
67 }
68
68
69 &.commenting {
69 &.commenting {
70 &, del, ins {
70 &, del, ins {
71 background-image: none !important;
71 background-image: none;
72 background-color: lighten(@alert4, 10%) !important;
72 background-color: lighten(@alert4, 10%);
73 }
73 }
74 }
74 }
75 }
75 }
@@ -28,11 +28,11
28 }
28 }
29
29
30 .pull-right {
30 .pull-right {
31 float: right !important;
31 float: right;
32 }
32 }
33
33
34 .pull-left {
34 .pull-left {
35 float: left !important;
35 float: left;
36 }
36 }
37
37
38 .block-left {
38 .block-left {
@@ -121,45 +121,45
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;
125 padding: 0 !important;
125 padding: 0;
126 overflow: visible !important;
126 overflow: visible;
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;
132 padding-bottom: 5px !important;
132 padding-bottom: 5px;
133 }
133 }
134
134
135 div.markdown-block h2 {
135 div.markdown-block h2 {
136 font-size: 24px !important;
136 font-size: 24px;
137 margin: 34px 0 10px 0 !important;
137 margin: 34px 0 10px 0;
138 border-top: 3px #e6e5e5 solid !important;
138 border-top: 3px #e6e5e5 solid;
139 padding-top: 15px !important;
139 padding-top: 15px;
140 padding-bottom: 8px !important;
140 padding-bottom: 8px;
141 }
141 }
142
142
143 div.markdown-block h3 {
143 div.markdown-block h3 {
144 font-size: 18px !important;
144 font-size: 18px;
145 margin: 30px 0 8px 0 !important;
145 margin: 30px 0 8px 0;
146 padding-bottom: 2px !important;
146 padding-bottom: 2px;
147 }
147 }
148
148
149 div.markdown-block h4 {
149 div.markdown-block h4 {
150 font-size: 13px !important;
150 font-size: 13px;
151 margin: 18px 0 3px 0 !important;
151 margin: 18px 0 3px 0;
152 }
152 }
153
153
154 div.markdown-block h5 {
154 div.markdown-block h5 {
155 font-size: 12px !important;
155 font-size: 12px;
156 margin: 15px 0 3px 0 !important;
156 margin: 15px 0 3px 0;
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;
163 }
163 }
164
164
165 div.markdown-block hr {
165 div.markdown-block hr {
@@ -177,22 +177,22
177 div.markdown-block dl,
177 div.markdown-block dl,
178 div.markdown-block li,
178 div.markdown-block li,
179 div.markdown-block table {
179 div.markdown-block table {
180 margin: 3px 0px 13px 0px !important;
180 margin: 3px 0px 13px 0px;
181 color: #424242 !important;
181 color: #424242;
182 font-size: 13px !important;
182 font-size: 13px;
183 font-family: "Helvetica" !important;
183 font-family: "Helvetica";
184 font-weight: normal !important;
184 font-weight: normal ;
185 overflow: visible !important;
185 overflow: visible;
186 line-height: 140% !important;
186 line-height: 140%;
187 }
187 }
188
188
189 div.markdown-block pre {
189 div.markdown-block pre {
190 margin: 3px 0px 13px 0px !important;
190 margin: 3px 0px 13px 0px;
191 padding: .5em;
191 padding: .5em;
192 color: #424242 !important;
192 color: #424242;
193 font-size: 13px !important;
193 font-size: 13px;
194 overflow: visible !important;
194 overflow: visible;
195 line-height: 140% !important;
195 line-height: 140%;
196 background-color: @grey7;
196 background-color: @grey7;
197 }
197 }
198
198
@@ -209,26 +209,26
209
209
210 div.markdown-block ul,
210 div.markdown-block ul,
211 div.markdown-block ol {
211 div.markdown-block ol {
212 padding-left: 30px !important;
212 padding-left: 30px;
213 margin-top: 0px !important;
213 margin-top: 0px;
214 margin-bottom: 18px !important;
214 margin-bottom: 18px;
215 }
215 }
216
216
217 div.markdown-block ul li,
217 div.markdown-block ul li,
218 div.markdown-block ol li {
218 div.markdown-block ol li {
219 list-style: disc !important;
219 list-style: disc;
220 margin: 6px !important;
220 margin: 6px;
221 padding: 0 !important;
221 padding: 0;
222 }
222 }
223
223
224 div.markdown-block ol li {
224 div.markdown-block ol li {
225 list-style: decimal !important;
225 list-style: decimal;
226 }
226 }
227
227
228 /*
228 /*
229 div.markdown-block a,
229 div.markdown-block a,
230 div.markdown-block a:visited {
230 div.markdown-block a:visited {
231 color: #4183C4 !important;
231 color: #4183C4;
232 background-color: inherit;
232 background-color: inherit;
233 text-decoration: none;
233 text-decoration: none;
234 }
234 }
@@ -301,43 +301,43
301 div.rst-block h4,
301 div.rst-block h4,
302 div.rst-block h5,
302 div.rst-block h5,
303 div.rst-block h6 {
303 div.rst-block h6 {
304 border-bottom: 0 !important;
304 border-bottom: 0;
305 margin: 0 !important;
305 margin: 0;
306 padding: 0 !important;
306 padding: 0;
307 line-height: 1.5em !important;
307 line-height: 1.5em;
308 }
308 }
309
309
310
310
311 div.rst-block h1:first-child {
311 div.rst-block h1:first-child {
312 padding-top: .25em !important;
312 padding-top: .25em;
313 }
313 }
314
314
315 div.rst-block h2,
315 div.rst-block h2,
316 div.rst-block h3 {
316 div.rst-block h3 {
317 margin: 1em 0 !important;
317 margin: 1em 0;
318 }
318 }
319
319
320 div.rst-block h2 {
320 div.rst-block h2 {
321 margin-top: 1.5em !important;
321 margin-top: 1.5em;
322 border-top: 4px solid #e0e0e0 !important;
322 border-top: 4px solid #e0e0e0;
323 padding-top: .5em !important;
323 padding-top: .5em;
324 }
324 }
325
325
326 div.rst-block p {
326 div.rst-block p {
327 color: black !important;
327 color: black;
328 margin: 1em 0 !important;
328 margin: 1em 0;
329 line-height: 1.5em !important;
329 line-height: 1.5em;
330 }
330 }
331
331
332 div.rst-block ul {
332 div.rst-block ul {
333 list-style: disc !important;
333 list-style: disc;
334 margin: 1em 0 1em 2em !important;
334 margin: 1em 0 1em 2em;
335 clear: both;
335 clear: both;
336 }
336 }
337
337
338 div.rst-block ol {
338 div.rst-block ol {
339 list-style: decimal;
339 list-style: decimal;
340 margin: 1em 0 1em 2em !important;
340 margin: 1em 0 1em 2em;
341 }
341 }
342
342
343 div.rst-block pre,
343 div.rst-block pre,
@@ -346,18 +346,18
346 }
346 }
347
347
348 div.rst-block code {
348 div.rst-block code {
349 font-size: 12px !important;
349 font-size: 12px;
350 background-color: ghostWhite !important;
350 background-color: ghostWhite;
351 color: #444 !important;
351 color: #444;
352 padding: 0 .2em !important;
352 padding: 0 .2em;
353 border: 1px solid #dedede !important;
353 border: 1px solid #dedede;
354 }
354 }
355
355
356 div.rst-block pre code {
356 div.rst-block pre code {
357 padding: 0 !important;
357 padding: 0;
358 font-size: 12px !important;
358 font-size: 12px;
359 background-color: #eee !important;
359 background-color: #eee;
360 border: none !important;
360 border: none;
361 }
361 }
362
362
363 div.rst-block pre {
363 div.rst-block pre {
@@ -56,7 +56,7
56 //--- LAYOUT ------------------//
56 //--- LAYOUT ------------------//
57
57
58 .hidden{
58 .hidden{
59 display: none !important;
59 display: none;
60 }
60 }
61
61
62 .box{
62 .box{
@@ -120,7 +120,7
120 }
120 }
121
121
122 .wide-mode-wrapper {
122 .wide-mode-wrapper {
123 max-width:4000px !important;
123 max-width:4000px;
124 }
124 }
125
125
126 .wrapper {
126 .wrapper {
@@ -372,8 +372,8
372 }
372 }
373
373
374 .pr-mergeinfo {
374 .pr-mergeinfo {
375 min-width: 95% !important;
375 min-width: 95%;
376 padding: 0 !important;
376 padding: 0;
377 border: 0;
377 border: 0;
378 }
378 }
379 .pr-mergeinfo-copy {
379 .pr-mergeinfo-copy {
@@ -381,8 +381,8
381 }
381 }
382
382
383 .pr-pullinfo {
383 .pr-pullinfo {
384 min-width: 95% !important;
384 min-width: 95%;
385 padding: 0 !important;
385 padding: 0;
386 border: 0;
386 border: 0;
387 }
387 }
388 .pr-pullinfo-copy {
388 .pr-pullinfo-copy {
@@ -1218,7 +1218,7
1218 }
1218 }
1219
1219
1220 .autocomplete-suggestions {
1220 .autocomplete-suggestions {
1221 width: auto !important; // overrides autocomplete.js
1221 width: auto; // overrides autocomplete.js
1222 margin: 0;
1222 margin: 0;
1223 border: @border-thickness solid @rcblue;
1223 border: @border-thickness solid @rcblue;
1224 border-radius: @border-radius;
1224 border-radius: @border-radius;
@@ -1469,7 +1469,7
1469 width: 16px;
1469 width: 16px;
1470 margin-bottom: 10px;
1470 margin-bottom: 10px;
1471 padding: 0;
1471 padding: 0;
1472 color: black !important;
1472 color: black;
1473 cursor: pointer;
1473 cursor: pointer;
1474 }
1474 }
1475
1475
@@ -355,7 +355,7
355 cursor: pointer;
355 cursor: pointer;
356
356
357 div {
357 div {
358 overflow: visible !important;
358 overflow: visible;
359 }
359 }
360
360
361 &.sorting {
361 &.sorting {
@@ -426,7 +426,7
426 // Header Repository Switcher
426 // Header Repository Switcher
427 // Select2 Dropdown
427 // Select2 Dropdown
428 #select2-drop.select2-drop.repo-switcher-dropdown {
428 #select2-drop.select2-drop.repo-switcher-dropdown {
429 width: auto !important;
429 width: auto;
430 margin-top: 5px;
430 margin-top: 5px;
431 padding: 1em 0;
431 padding: 1em 0;
432 text-align: left;
432 text-align: left;
@@ -685,8 +685,8
685 }
685 }
686
686
687 .notice-box {
687 .notice-box {
688 display:block !important;
688 display:block;
689 padding: 9px 0 !important;
689 padding: 9px 0;
690 }
690 }
691
691
692 .menulabel-notice {
692 .menulabel-notice {
@@ -138,12 +138,12
138
138
139 //--- ICONS STYLING ------------------//
139 //--- ICONS STYLING ------------------//
140
140
141 .icon-git { color: @color4 !important; }
141 .icon-git { color: @color4; }
142 .icon-hg { color: @color8 !important; }
142 .icon-hg { color: @color8; }
143 .icon-svn { color: @color1 !important; }
143 .icon-svn { color: @color1; }
144 .icon-git-inv { color: @color4 !important; }
144 .icon-git-inv { color: @color4; }
145 .icon-hg-inv { color: @color8 !important; }
145 .icon-hg-inv { color: @color8; }
146 .icon-svn-inv { color: @color1 !important; }
146 .icon-svn-inv { color: @color1; }
147 .icon-repo-lock { color: #FF0000; }
147 .icon-repo-lock { color: #FF0000; }
148 .icon-repo-unlock { color: #FF0000; }
148 .icon-repo-unlock { color: #FF0000; }
149
149
@@ -12,45 +12,45
12 div.readme_box h4,
12 div.readme_box h4,
13 div.readme_box h5,
13 div.readme_box h5,
14 div.readme_box h6 {
14 div.readme_box h6 {
15 border-bottom: none !important;
15 border-bottom: none;
16 padding: 0 !important;
16 padding: 0;
17 overflow: visible !important;
17 overflow: visible;
18 }
18 }
19
19
20 div.readme_box h1 {
20 div.readme_box h1 {
21 font-size: 32px;
21 font-size: 32px;
22 margin: 15px 0 15px 0 !important;
22 margin: 15px 0 15px 0;
23 padding-bottom: 5px !important;
23 padding-bottom: 5px;
24 }
24 }
25
25
26 div.readme_box h2 {
26 div.readme_box h2 {
27 font-size: 24px !important;
27 font-size: 24px;
28 margin: 34px 0 10px 0 !important;
28 margin: 34px 0 10px 0;
29 border-top: 3px #e6e5e5 solid !important;
29 border-top: 3px #e6e5e5 solid;
30 padding-top: 15px !important;
30 padding-top: 15px;
31 padding-bottom: 8px !important;
31 padding-bottom: 8px;
32 }
32 }
33
33
34 div.readme_box h3 {
34 div.readme_box h3 {
35 font-size: 18px !important;
35 font-size: 18px;
36 margin: 30px 0 8px 0 !important;
36 margin: 30px 0 8px 0;
37 padding-bottom: 2px !important;
37 padding-bottom: 2px;
38 }
38 }
39
39
40 div.readme_box h4 {
40 div.readme_box h4 {
41 font-size: 13px !important;
41 font-size: 13px;
42 margin: 18px 0 3px 0 !important;
42 margin: 18px 0 3px 0;
43 }
43 }
44
44
45 div.readme_box h5 {
45 div.readme_box h5 {
46 font-size: 12px !important;
46 font-size: 12px;
47 margin: 15px 0 3px 0 !important;
47 margin: 15px 0 3px 0;
48 }
48 }
49
49
50 div.readme_box h6 {
50 div.readme_box h6 {
51 font-size: 12px;
51 font-size: 12px;
52 color: #777777;
52 color: #777777;
53 margin: 15px 0 3px 0 !important;
53 margin: 15px 0 3px 0;
54 }
54 }
55
55
56 div.readme_box hr {
56 div.readme_box hr {
@@ -68,22 +68,22
68 div.readme_box dl,
68 div.readme_box dl,
69 div.readme_box li,
69 div.readme_box li,
70 div.readme_box table {
70 div.readme_box table {
71 margin: 3px 0px 13px 0px !important;
71 margin: 3px 0px 13px 0px;
72 color: #424242 !important;
72 color: #424242;
73 font-size: 13px !important;
73 font-size: 13px;
74 font-family: "Helvetica" !important;
74 font-family: "Helvetica";
75 font-weight: normal !important;
75 font-weight: normal ;
76 overflow: visible !important;
76 overflow: visible;
77 line-height: 140% !important;
77 line-height: 140%;
78 }
78 }
79
79
80 div.readme_box pre {
80 div.readme_box pre {
81 margin: 3px 0px 13px 0px !important;
81 margin: 3px 0px 13px 0px;
82 padding: .5em;
82 padding: .5em;
83 color: #424242 !important;
83 color: #424242;
84 font-size: 13px !important;
84 font-size: 13px;
85 overflow: visible !important;
85 overflow: visible;
86 line-height: 140% !important;
86 line-height: 140%;
87 background-color: @grey7;
87 background-color: @grey7;
88 }
88 }
89
89
@@ -100,26 +100,26
100
100
101 div.readme_box ul,
101 div.readme_box ul,
102 div.readme_box ol {
102 div.readme_box ol {
103 padding-left: 30px !important;
103 padding-left: 30px;
104 margin-top: 0px !important;
104 margin-top: 0px;
105 margin-bottom: 18px !important;
105 margin-bottom: 18px;
106 }
106 }
107
107
108 div.readme_box ul li,
108 div.readme_box ul li,
109 div.readme_box ol li {
109 div.readme_box ol li {
110 list-style: bullet !important;
110 list-style: bullet;
111 margin: 6px !important;
111 margin: 6px;
112 padding: 0 !important;
112 padding: 0;
113 }
113 }
114
114
115 div.readme_box ol li {
115 div.readme_box ol li {
116 list-style: decimal !important;
116