Created by: zcyzcy88
When decimal zoom, due to browser pixel rounding, the dividers look like this:
But border won't be rounding, so workaround this:
border
And I just fixed v4, please fix v3 too.