You are tired of every time to scroll through documents using the wheel of a computer mouse? Then just install this extension!
Choose the border color and scroll it fills, turn on the plugin via the plugin Manager and rejoice.
Page scrolling down is easier and faster.
Perhaps auto-hide scroll.
Fast code and optimized settings