Change text size of the number in the numeric slider widget