fix #533 Double Slider wrong border width

Fix the border computation in Firefox