/** * @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);