jQuery 3.4.1, HTML, CSS, JavaScript
Changes the CodeMirror default font-size.
Mootools 1.4.5, HTML, CSS, JavaScript
No-Library (pure JS), HTML, CSS, JavaScript