Closed Hopding closed 7 years ago
Fiddled around with the CodeMirror CSS until it looked good at different zoom levels.
Fixes #521. The current CodeMirror CSS doesn't always work if the zoom level is not at 100% in all browsers.
Description
Fiddled around with the CodeMirror CSS until it looked good at different zoom levels.
Motivation and Context
Fixes #521. The current CodeMirror CSS doesn't always work if the zoom level is not at 100% in all browsers.
Checklist:
Browsers
Screenshots (in Chrome browser):
65% zoom
100% zoom
120% zoom