@@ -13,6 +13,7 @@
.CodeMirror {
font-family: var(--font-family-monospace);
+ font-size: 15px;
pre.CodeMirror-line.grw-cm-header-line {
padding-top: 0.16em;