.codewrap { border: 1px solid #333; background: #fff; font-size: 11px; clear: both; position: relative }
.CodeMirror { height: auto; max-height: 550px; }
.searched {background: yellow;}