Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
Customization to the scrollbars #1204
This applies some styling updates to the scrollbars. Currently the webview defaults are in use which look fine for the light theme (although the side bar with notebooks etc. is a little bit lacking). But with the dark theme it's a little bit breaking.