- .table-control {
- .table-dropdown-filter {
- width: @table-dropdown-filter-width;
- display: @table-dropdown-filter-display;
- }
- }
+ .table-control {
+ .table-dropdown-filter {
+ width: @table-dropdown-filter-width;
+ display: @table-dropdown-filter-display;
+ }
+ }