Steps to replicate the issue (include links if applicable):
- Enable CodeMirror syntax highlighting.
- Edit a page using WTE2017 with the default or colorblind-friendly syntax highlighting theme.
- Type ==1== and check the font size.
- Here is an example: https://en.wikipedia.beta.wmcloud.org/wiki/Dog?veaction=editsource
What happens?:
The font size is larger than normal, which causes text misalignment.
What should have happened instead?:
The font size should be normal, and there is no text misalignment.
Software version (on Special:Version page; skip for WMF-hosted wikis like Wikipedia):
Master branch of Extension:CodeMirror or beta clusters.
Other information (browser name/version, screenshots, etc.):
This is caused by a recent patch which increases the precedence of CodeMirror style rules.
