剪贴板问题修复

heyuntao

2023-06-12 6d5bda47851782efcf5743ef591a6e423b837c04

1
2
3
4
5
6
7
8
9
10
// Sizing shortcuts
 
.size(@width; @height) {
  width: @width;
  height: @height;
}
 
.square(@size) {
  .size(@size; @size);
}