Thanks for advice. I finally figured out the problem, which actually was a trivial one. (There was some historical code that tried to manually increase the width of the scrollbar. Removing this row solved the problem, though wider scrollbar would have been nice).