Downsizing the codemirror fontsize a little bit