.mui-keywidth(@width) {
  width: (@width * @desktop-keyline-increment);
}

.mui-keyheight(@height) {
  height: (@height * @desktop-keyline-increment);
}

.mui-key-width-1 { .mui-keywidth(1); }
.mui-key-width-2 { .mui-keywidth(2); }
.mui-key-width-3 { .mui-keywidth(3); }
.mui-key-width-4 { .mui-keywidth(4); }
.mui-key-width-5 { .mui-keywidth(5); }
.mui-key-width-6 { .mui-keywidth(6); }
.mui-key-width-7 { .mui-keywidth(7); }
.mui-key-width-8 { .mui-keywidth(8); }
.mui-key-width-9 { .mui-keywidth(9); }
.mui-key-width-10 { .mui-keywidth(10); }

.mui-key-height-1 { .mui-keyheight(1); }
.mui-key-height-2 { .mui-keyheight(2); }
.mui-key-height-3 { .mui-keyheight(3); }
.mui-key-height-4 { .mui-keyheight(4); }
.mui-key-height-5 { .mui-keyheight(5); }
.mui-key-height-6 { .mui-keyheight(6); }
.mui-key-height-7 { .mui-keyheight(7); }
.mui-key-height-8 { .mui-keyheight(8); }
.mui-key-height-9 { .mui-keyheight(9); }
.mui-key-height-10 { .mui-keyheight(10); }