How do I change font sizes?

Basement
3

I’d guess so too. The CodeMirror classes .cm-header-1, .cm-header-2 etc. sound promising.