Hairlines on high dpi displays

[philholden]

Need to align pane boundaries to pixel boundaries browsers do a good job of this except on high DPI displays. We need to round splitRatio * width to an integer in such a way that we leave no gaps on the right.