/** @class Ext.pivot.plugin.configurator.Panel */
 
/**
 * @var {number}
 * The border-width of the configurator panel's body.
 */
$pivot-grid-config-panel-body-border-width: dynamic(0 0 0 1px);
/**
 * @var {string}
 * The border-style of the configurator panel's body.
 */
$pivot-grid-config-panel-body-border-style: dynamic(solid);
/**
 * @var {color}
 * The border color of the configurator panel's body.
 */
$pivot-grid-config-panel-body-border-color: dynamic(top($panel-body-border-color));