border width in whole number
Generated files by dart2js
Modification of function offset()