更新pda接口

hjg

2024-07-05 a0879b60391616bb077b53815114af74ec7a77cd

1
2
3
4
5
6
7
8
9
// Contextual backgrounds
 
.bg-variant(@color) {
  background-color: @color;
  a&:hover,
  a&:focus {
    background-color: darken(@color, 10%);
  }
}