/** * @var {number} * Grid column header resizer handle width */ $grid-column-resizer-width: dynamic(10px); /** * @var {number} * Grid column header resizer handle width in the {@link Global_CSS#$enable-big big} sizing scheme */ $grid-column-resizer-width-big: dynamic(20px);
