There's a ```.border-box()``` mixin to provide the vendor-prefixed versions of the border-box. Maybe it isn't needed here because this is only for up-to-date versions of Firefox?