Community
Participate
Working Groups
If the thumb is bigger (or as big) as the scrollbars line, its serves no purpose and looks broken. It should be hidden in that case.
This bug also has the nasty side-effect that its impossible to scroll with the buttons aswell.