Nerf bad codemirror element height