Decided on dynamic resizing of the code mirror area using
window.onresize.