/**
 * @class Ext.grid.column.RowNumberer
 */
 
/**
 * @var {number}
 * The horizontal space before the number in the RowNumberer cell
 */
$grid-row-numberer-cell-spacing-before: dynamic(3px);
 
/**
 * @var {number}
 * The horizontal space after the number in the RowNumberer cell
 */
$grid-row-numberer-cell-spacing-after: dynamic(5px);
 
// private
$grid-row-numberer-cell-padding:
    top($grid-cell-inner-padding)
    $grid-row-numberer-cell-spacing-after
    bottom($grid-cell-inner-padding)
    $grid-row-numberer-cell-spacing-before;