jquery/jquery-mobile — comment on commit 84f1e4f257268b4b8d6132065263702e61074797
File:  line 0
By staabm:

should this depend on the css attribute "box-sizing"? e.g. border-box?