Fix a padding issue with the new CodeMirror CSS.

Review Request #2203 — Created Aug. 9, 2021 and updated

guest3418
Review Board
63152d8...
me
The updated CodeMirror CSS file introduced some new padding at the
beginning of lines, which we don't want to include. This turns it off in
favor of the padding we've already set.


Loading...