Border-box box-sizing is now default

css was deleted, Gulp generates this anyway