I'm trying to find a JS (or whatever) slider control that supports discontinuous ranges - by that I mean, for example, a slider where the legitimate values are 0 (off), 5-10, 15-20, but nothing in ...