doc: increase webkit scrollbar width and fix colors
Checklist
-
the commit message follows commit guidelines
Affected core subsystem(s)
doc
Description of change
Only -webkit-scrollbar-*
properties are affected.
There are two changes here:
- The background color of the left (navigation) scrollbar is fixed to match the background color of the navigation.
- The width of the scrollbars has been increased to 16px, but their visible width is 10px until the users hovers them. This way, they don't bother people who don't want to see gigantic scrollbars, but they are actually big enough for people who want to use them.
Unfortunately, the second change forced me to remove border-radius on unhovered scrollbars, but it still looks nice to me this way.
This is alternate to #6445 and should fix #6443 (closed).