2014-12-02 23:02:35 +01:00
|
|
|
// Sizing shortcuts
|
|
|
|
|
2015-08-26 12:17:00 +02:00
|
|
|
@mixin size($width, $height: $width) {
|
2014-12-02 23:02:35 +01:00
|
|
|
width: $width;
|
|
|
|
height: $height;
|
2019-02-07 08:21:47 +01:00
|
|
|
@include deprecate("`size()`", "v4.3.0", "v5");
|
2014-12-02 23:02:35 +01:00
|
|
|
}
|