When 4.1 is released will it be possible to add custom styles for the scrollers of Grid Panels? I would guess not.
If not, what considerations are there in overriding the new ExtJS OS-native scrollbars with custom styled ones maintaining the ExtJS header & table scrolling functionality? (i.e. should I override methods (where in code?), write a grid plugin, a grid feature, etc?)