I should have just kept reading. When I saw the parent comment it got me thinking I really should see how easy it is to change the scrollbar size in Firefox. Took me a few minutes to find exactly the instructions you shared.