/** * @class Ext.picker.Picker */ /** * @var {measurement} $picker-row-height * The height of each picker item */$picker-row-height: dynamic(2.5em); /** * @var {measurement} $picker-active-border-color * The height of each picker item */$picker-active-border-color: dynamic(red); /** * @var {measurement} $picker-sheet-radius * The border radius size for the picker sheet */$picker-sheet-radius: dynamic(.4em); /** * @var {color} $picker-title-color * The color for picker titles */// $picker-title-color: darken(desaturate($base-color, 10%), 25%) !dynamic; /** * @var {color} $picker-title-bg-color * The background color for picker titles */// $picker-title-bg-color: lighten(saturate($base-color, 10%), 5%) !dynamic;