I assume all of these are in pixels? Whatever unit they're in, we should update the comment to mention it. I won't hold up merging for that, but please change master to have the units mentioned.