box-sizing: border-box; moved here because it broke CodeMirror