mirror of
https://github.com/HeyPuter/firefox.git
synced 2026-11-13 20:14:57 -10:00
Nicolas Chevobbe
5bcb4a6f35
Instead use the class that are set on the elements to add CSS rules in mozilla.css. The classes are renamed to make it clear they're for CodeMirror 5. The style of the element is slightly tweaked to use our theme variables, and we set proper focus indicator on the search/replace input. Differential Revision: https://phabricator.services.mozilla.com/D242513