Update the CodeMirror CSS file for 5.62.

Review Request #2249 — Created Sept. 23, 2021 and updated

guest5237
Review Board
b04d651...
zzz
When upgrading CodeMirror from 5.48.2 to 5.62, I neglected to update the
CSS file, causing some rendering glitches. This fixes that up, switching
us to the correct CSS.

hbutfgtuy

Loading...