Fixing CSS for codemirror height, things now seem to render properly