Merge remote-tracking branch 'origin/master'

hjg

2024-10-28 b5fbd89107c49777ff92a5b81797c56583949ca6

1
2
3
4
5
6
7
8
// Opacity
 
.opacity(@opacity) {
  opacity: @opacity;
  // IE8 filter
  @opacity-ie: (@opacity * 100);
  filter: ~"alpha(opacity=@{opacity-ie})";
}