[960987] Moved css styles from Codemirror.css to mozilla.css