Do we really need this? and if so, I think it should be box-sizing, it's not a moz-only CSS style I think.