Upgrade CodeMirror to 3.20.
[demo] Use different font per header level.