When looking at the manual, when using the scroll wheel on the mouse, it moves about a pixel per full rotation of the wheel. Grabbing the bar and sliding it up and down works correctly.
#Scrolling in manual...
unreal wigeon
orchid egret
Yeap, same issue here.