2013-10-14 21:52:40 +02:00
|
|
|
$os-icons: "icons/os-icons.png";
|
2013-10-11 22:17:32 +02:00
|
|
|
|
2013-10-14 21:52:40 +02:00
|
|
|
// TODO: Make these use a 16-base instead of 15.
|
2013-10-11 22:17:32 +02:00
|
|
|
%os-icons {
|
2013-10-14 21:52:40 +02:00
|
|
|
@include square(15px);
|
|
|
|
background: image-url($os-icons) 0 0 no-repeat;
|
2013-10-11 22:17:32 +02:00
|
|
|
@include background-size(auto 15px);
|
|
|
|
display: inline-block;
|
|
|
|
}
|
|
|
|
.mac-icon {
|
|
|
|
@extend %os-icons;
|
|
|
|
background-position: -35px 0;
|
|
|
|
}
|
|
|
|
.windows-icon {
|
|
|
|
@extend %os-icons;
|
|
|
|
}
|
|
|
|
.linux-icon {
|
|
|
|
@extend %os-icons;
|
|
|
|
background-position: -65px 0;
|
|
|
|
}
|
|
|
|
.paid-icon {
|
|
|
|
@extend %os-icons;
|
|
|
|
background-position: -100px 0;
|
|
|
|
}
|