Always use the default monospace font in the codemirror editor.
As of 15. 03. 2021. See the latest version.
These are versions of this script where the code was updated. Show all versions.
Update it to match URLs such as leetcode.com/explore
