/**
 * @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);