Skip to content

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:

  1. The background color of the left (navigation) scrollbar is fixed to match the background color of the navigation.
  2. 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).

Merge request reports

Loading