暂时注销掉了，明天打开

hjg

2023-10-14 f6c2f15c37aef4675dda01fb5ec17cde4e141c3f

1
2
3
4
5
6
// Resize anything
 
.resizable(@direction) {
  resize: @direction; // Options: horizontal, vertical, both
  overflow: auto; // Per CSS3 UI, `resize` only applies when `overflow` isn't `visible`
}