/** @class Ext.pivot.plugin.configurator.Column */ /** * @var {string} * The cursor over a configurator field. */ $pivot-grid-config-column-cursor: dynamic(pointer); /** * @var {number} * The default padding of configurator fields */ $pivot-grid-config-column-padding: dynamic(3px); /** * @var {number} * The border-width of configurator fields */ $pivot-grid-config-column-border-width: dynamic($grid-header-border-width); /** * @var {string} * The border-style of configurator fields */ $pivot-grid-config-column-border-style: dynamic($grid-header-border-style); /** * @var {color} * The border-color of configurator fields */ $pivot-grid-config-column-border-color: dynamic($grid-header-border-color); //private $pivot-grid-config-column-border: dynamic($pivot-grid-config-column-border-width $pivot-grid-config-column-border-style $pivot-grid-config-column-border-color); /** * @var {number} * The default margin of configurator fields */ $pivot-grid-config-column-margin: dynamic(1px); /** * @var {string} * The font-family of configurator fields */ $pivot-grid-config-column-font-family: dynamic($grid-column-header-font-family); /** * @var {number} * The font-size of configurator fields */ $pivot-grid-config-column-font-size: dynamic($grid-column-header-font-size); /** * @var {string} * The font-weight of configurator fields */ $pivot-grid-config-column-font-weight: dynamic($grid-column-header-font-weight); /** * @var {number} * The line-height of configurator fields */ $pivot-grid-config-column-line-height: dynamic($grid-column-header-line-height); // private $pivot-grid-config-column-font: dynamic($pivot-grid-config-column-font-weight #{$pivot-grid-config-column-font-size}/#{$pivot-grid-config-column-line-height} $pivot-grid-config-column-font-family); /** * @var {color} * The background-color of configurator fields */ $pivot-grid-config-column-background-color: dynamic($grid-header-background-color); /** * @var {color} * The background-gradient of configurator fields */ $pivot-grid-config-column-background-gradient: dynamic($grid-header-background-gradient); /** * @var {number} * The default padding of configurator field indicators */ $pivot-grid-config-column-btn-image-padding: dynamic(0 13px 0 0);