I wonder if we can't somehow fetch it from the CSS? or use another box-sizing?