Do we need to repeat the border-box here?