Fix codemirror styling to let it prune non-visible lines: big perf boost on many-lined files