暂时注销掉了，明天打开

hjg

2023-10-14 f6c2f15c37aef4675dda01fb5ec17cde4e141c3f

1
2
3
4
5
6
7
8
9
10
11
12
// Labels
 
.label-variant(@color) {
  background-color: @color;
 
  &[href] {
    &:hover,
    &:focus {
      background-color: darken(@color, 10%);
    }
  }
}