In CSS speak this is called the `border-box`. Maybe we should just change the name to that?