added a one pixel margin to the slider widget for readability.
--- a/src/js/widgets/sliderWidget.js Fri Nov 25 10:27:31 2011 +0100
+++ b/src/js/widgets/sliderWidget.js Fri Nov 25 10:31:20 2011 +0100
@@ -66,8 +66,8 @@
/* handles mouse over the slider */
IriSP.SliderWidget.prototype.mouseOverHandler = function(event) {
- this.sliderBackground.animate({"height": "10px"}, 100);
- this.sliderForeground.animate({"height": "10px"}, 100);
+ this.sliderBackground.animate({"height": "9px"}, 100);
+ this.sliderForeground.animate({"height": "9px"}, 100);
// this.selector.removeClass("Ldt-SliderMinimized");
// this.selector.addClass("Ldt-SliderMaximized");