/** * @class Ext.slider.Multi */ /** * @var {number} * The horizontal slider thumb width */$horizontal-slider-thumb-width: dynamic(15px); /** * @var {number} * The horizontal slider thumb height */$horizontal-slider-thumb-height: dynamic(15px); /** * @var {number} * The width of the horizontal slider start cap */$horizontal-slider-start-cap-width: dynamic(floor($horizontal-slider-thumb-width / 2)); /** * @var {number} * The width of the horizontal slider end cap */$horizontal-slider-end-cap-width: dynamic(ceil($horizontal-slider-thumb-width / 2)); /** * @var {number} * The vertical slider thumb width */$vertical-slider-thumb-width: dynamic(15px); /** * @var {number} * The vertical slider thumb height */$vertical-slider-thumb-height: dynamic(15px); /** * @var {number} * The height of the vertical slider start cap */$vertical-slider-start-cap-height: dynamic(floor($vertical-slider-thumb-height / 2)); /** * @var {number} * The height of the vertical slider end cap */$vertical-slider-end-cap-height: dynamic(ceil($vertical-slider-thumb-height / 2)); /** * @var {boolean} * `true` to use imageless sliders */$slider-imageless: dynamic($enable-font-icons); /** * @var {number} * The size of the slider track when using {@link #$slider-imageless imageless} sliders */$slider-track-size: dynamic(10px); /** * @var {number} * The border-radius of the slider track when using {@link #$slider-imageless imageless} sliders */$slider-track-border-radius: dynamic(2px); /** * @var {number} * The border-width of the slider track when using {@link #$slider-imageless imageless} sliders */$slider-track-border-width: dynamic(1px); /** * @var {number} * The border-style of the slider track when using {@link #$slider-imageless imageless} sliders */$slider-track-border-style: dynamic(solid); /** * @var {number} * The border-color of the slider track when using {@link #$slider-imageless imageless} sliders */$slider-track-border-color: dynamic($base-color); /** * @var {number} * The background-color of the slider track when using {@link #$slider-imageless imageless} sliders */$slider-track-background-color: dynamic($neutral-color); /** * @var {number} * The border-radius of the slider thumb when using {@link #$slider-imageless imageless} sliders */$slider-thumb-border-radius: dynamic(2px); /** * @var {number} * The border-width of the slider thumb when using {@link #$slider-imageless imageless} sliders */$slider-thumb-border-width: dynamic(1px); /** * @var {number} * The border-style of the slider thumb when using {@link #$slider-imageless imageless} sliders */$slider-thumb-border-style: dynamic(solid); /** * @var {number} * The border-color of the slider thumb when using {@link #$slider-imageless imageless} sliders */$slider-thumb-border-color: dynamic($neutral-color); /** * @var {number} * The border-color of the hovered slider thumb when using {@link #$slider-imageless imageless} sliders */$slider-thumb-border-color-over: dynamic($slider-thumb-border-color); /** * @var {number} * The border-color of the focused slider thumb when using {@link #$slider-imageless imageless} sliders */$slider-thumb-border-color-focus: dynamic($base-color); /** * @var {number} * The border-color of the slider thumb while dragging when using {@link #$slider-imageless imageless} sliders */$slider-thumb-border-color-drag: dynamic($slider-thumb-border-color); /** * @var {number} * The background-color of the slider thumb when using {@link #$slider-imageless imageless} sliders */$slider-thumb-background-color: dynamic(#fff); /** * @var {number} * The background-color of the hovered slider thumb when using {@link #$slider-imageless imageless} sliders */$slider-thumb-background-color-over: dynamic($slider-thumb-background-color); /** * @var {number} * The background-color of the focused slider thumb when using {@link #$slider-imageless imageless} sliders */$slider-thumb-background-color-focus: dynamic($slider-thumb-background-color); /** * @var {number} * The background-color of the slider thumb while dragging when using {@link #$slider-imageless imageless} sliders */$slider-thumb-background-color-drag: dynamic($slider-thumb-background-color); /** * @var {color} * The color to use for the slider thumb glyph when {@link Global_CSS#$enable-font-icons} is `true`. */$slider-thumb-glyph-color: dynamic($neutral-color); /** * @var {number} * The color to use for the slider thumb glyph when hovered. */$slider-thumb-glyph-color-over: dynamic($slider-thumb-glyph-color); /** * @var {number} * The color to use for the slider thumb glyph when focused. */$slider-thumb-glyph-color-focus: dynamic($slider-thumb-border-color-focus); /** * @var {number} * The color to use for the slider thumb glyph while dragging. */$slider-thumb-glyph-color-drag: dynamic($slider-thumb-glyph-color); /** * @var {number} * The font-size to use for the slider thumb glyph when {@link Global_CSS#$enable-font-icons} is `true`. */$slider-thumb-glyph-font-size: dynamic(12px); /** * @var {string/list} * Glyph to display inside of the slider thumb when {@link Global_CSS#$enable-font-icons} is `true` */$horizontal-slider-thumb-glyph: dynamic($ext-var-equals-vertical $slider-thumb-glyph-font-size ExtJS); /** * @var {string/list} * Glyph to display inside of the slider thumb when {@link Global_CSS#$enable-font-icons} is `true` */$vertical-slider-thumb-glyph: dynamic($ext-var-equals $slider-thumb-glyph-font-size ExtJS);