Give code-mirror minimum size; allow expansion

I think this is a better fix for #70, because the overflow
scroll is ugly.