Actually, I was using jquery-ui-1.7.2. (I didn't know they are offering 1.7.3 for download now, but I downloaded a while ago and it is 1.7.2) So, the versions seem to be compatible. It must be something else? Here is my slider:
$("#fSlider").slider({
orientation: 'vertical',
value:15,
min: 5,
max: 40,
step: 1,
slide: function(event, ui) {
$("#fontSize1").val(ui.value);
}
});
Thank you!