// This is a separate file because importing the mixin causes
// the keyframes blocks to be included in the output, regardless
// of whether .rotation is used.
-@import "mediawiki.mixins.animation";
+@import 'mediawiki.mixins.animation';
-.rotate-frames () {
+.rotate-frames() {
from {
- .transform-rotate(0deg);
+ .transform-rotate( 0deg );
}
to {
- .transform-rotate(360deg);
+ .transform-rotate( 360deg );
}
}
}
.rotation( @time ) {
- .animation(rotate, @time, infinite, linear);
+ .animation( rotate, @time, infinite, linear );
}