16
.mixin (@a: 1px, @b: 2px) {
24
.mixin (@a: 1px, @b: 2px, @c: 3px) {
63
.border (@side, @width) {
65
.border-side(@side, @width);
67
.border-side (left, @w) {
70
.border-side (right, @w) {
87
.border-radius (@r, left) {
90
.border-radius (@r, right) {
95
.border-radius(33, right);
98
.border-radius(33, left);