Modernize scroll bar style

[craxal]

Our scroll bars are pretty chunky and distracting when lots of different panels are open.

Suggestions:

1. Slim scroll bars down so they don't take up too much space.
2. Round the ends for a nicer look and feel (not as important).