Wider scroll bar

In version 10 you can change this in Settings:

If you prefer to remain with version 9, you can change the width by editing the theme.

2 Likes