Thanks
In the example you linked to, changing the value of sliderButtonSize has no effect on the size of the thumb.
I need to make a small slider, and the thumb size is just too big.
