Where is the vertical scroll bar width defined? Is it always 20px on both windows and mac? And won't it get changed as the user switch on themes?

So to be safe, I think we should have a larger padding that is always more then the width of the scroll bar.