div.container-main{padding-bottom:10px}div.src_editor{margin-bottom:10px}div.src_editor .CodeMirror{height:88%;-webkit-box-sizing:border-box;-moz-box-sizing:border-box;box-sizing:border-box}