# HG changeset patch
# User hamidouk
# Date 1322213480 -3600
# Node ID d37ca170cdb2dff7f73318831caaeba715be2fbb
# Parent  279f188a562430e09441b58a73374208138709b9
added a one pixel margin to the slider widget for readability.

diff -r 279f188a5624 -r d37ca170cdb2 src/js/widgets/sliderWidget.js
--- 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");