RCFilters: Align remaining outdated greys to WikimediaUI palette ones

[lhc/web/wiklou.git] / resources / src / mediawiki.rcfilters / styles / mw.rcfilters.mixins.less

diff --git a/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.mixins.less b/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.mixins.less
index 2ce2c7f..5a885ec 100644 (file)
--- a/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.mixins.less
+++ b/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.mixins.less
@@ -1,20 +1,25 @@
 @import 'mediawiki.mixins';
 @import 'mw.rcfilters.variables';
 
+.animation-delay( ... ) {
+       -webkit-animation-delay: @arguments; // Chrome 4-42, Safari 4-8, Opera 15-29, Android 2.1-4.4.4
+       -moz-animation-delay: @arguments; // Firefox 5-15
+       animation-delay: @arguments; // Chrome 43+, Firefox 16+, IE 10+, Edge 12+, Safari 9+, Opera 12.10 & 30+, iOS 9+, Android 47+
+}
+
 // This is a general mixin for a color circle
-.mw-rcfilters-mixin-circle( @color: white, @diameter: 2em, @padding: 0.5em, @border: false ) {
-       border-radius: 50%;
+.mw-rcfilters-mixin-circle( @color: #fff, @diameter: 2em, @padding: 0.5em, @border: false ) {
+       background-color: @color;
+       .box-sizing( border-box );
        min-width: @diameter;
        width: @diameter;
        min-height: @diameter;
        height: @diameter;
        margin: @padding;
-       .box-sizing( border-box );
-
-       background-color: @color;
+       border-radius: 50%;
 
-       & when (@border = true) {
-               border: 1px solid #565656;
+       & when ( @border = true ) {
+               border: 1px solid #54595d;
        }
 }