|
|
| Line 1: |
Line 1: |
| /* CSS placed here will be applied to all skins */ | | /* CSS placed here will be applied to all skins */ |
|
| |
| /* CSS override to fix diff page */
| |
| .diff-addedline,.diff-deletedline,.diff-context {
| |
| font-size:88%;
| |
| line-height:1.6;
| |
| vertical-align:top;
| |
| white-space:-moz-pre-wrap;
| |
| white-space:pre-wrap;
| |
| border-style:solid;
| |
| border-width:1px 1px 1px 4px;
| |
| border-radius:0.33em;
| |
| color: white;
| |
| }
| |
| .diff-addedline {
| |
| border-color:#a3d3ff;
| |
| }
| |
| .diff-deletedline {
| |
| border-color:#ffbf13;
| |
| }
| |
| .diff-context {
| |
| background: #111;
| |
| border-color: white;
| |
| color: #ccc;
| |
| }
| |
| .diff-addedline .diffchange {
| |
| background:#1390ff;
| |
| }
| |
| .diff-deletedline .diffchange {
| |
| background:#ffbf13;
| |
| }
| |
Revision as of 01:25, 26 August 2018
/* CSS placed here will be applied to all skins */
