$(".CodeMirror").height(($(".CodeMirror").parent().parent().innerHeight() - 14) + "px");