MediaWiki:Common.css: Difference between revisions

Revision as of 18:39, 25 August 2018

/* 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;
}