[0x3b0b]If I'm not mistaken that's a default rather than a guarantee, and possibly also browser-specific; but whenever I come across something with auto-hiding or auto-shrinking scrollbars that I wind up using regularly, I go looking for how to prevent that; so I'm not sure.
