(you can also navigate with arrow keys if you are not satisfied with the way mouse scrolling currently behaves with whatever pointing device you may be using)
(you can also navigate with arrow keys if you are not satisfied with the way mouse scrolling currently behaves with whatever pointing device you may be using)