Added: class DoubleSlider, like the Slider widget, but has an upper
and lower value.

Changed: the brightness sliders are now replaced by on doubleSlider.