Workaround dividers thickness inconsistent when decimal zoom

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:

And I just fixed v4, please fix v3 too.