wikimedia/mediawiki-extensions-RevisionSlider
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/RevisionSlider synced 2024-11-27 08:40:35 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Replace some more colors with LESS design tokens"

Browse source
This commit is contained in:
jenkins-bot 2024-07-24 11:05:33 +00:00 committed by Gerrit Code Review
parent 208b59ed01 93d33916a4
commit 5a7e33d9f9
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
modules/ext.RevisionSlider.less
View file

@ -49,7 +49,7 @@
.mw-revslider-revision-border-box {
height: 100%;
width: 100%;
border-left: @border-width-base @border-style-base #fff;
border-left: @border-width-base @border-style-base @background-color-base;
box-sizing: border-box;
.mw-revslider-revision-old & {
@ -61,7 +61,7 @@
}
.mw-revslider-revision-filter-highlight & {
border: @border-width-base @border-style-base #72777d;
border: @border-width-base @border-style-base @border-color-interactive;
background-color: #7f7f7f;
}
}
@ -132,11 +132,11 @@
}
.mw-revslider-change-positive {
color: #006400;
color: @color-content-added;
}
.mw-revslider-change-negative {
color: #8b0000;
color: @color-content-removed;
}
.mw-revslider-change-none {