Inline box-sizing CSS, because loading it in an external stylesheet seems to expose bugs.