diff --git a/www/common/theme/lol.css b/www/common/theme/lol.css index 06364cdb5..dad698600 100644 --- a/www/common/theme/lol.css +++ b/www/common/theme/lol.css @@ -1,6 +1,6 @@ -.cm-s-lol { +.cm-s-lol.CodeMirror { font-family: Comic Sans MS, cursive; - font-size: 24px; + font-size: 16px; } .cm-s-lol.CodeMirror, .cm-s-lol .CodeMirror-gutters { diff --git a/www/common/theme/src/lol.less b/www/common/theme/src/lol.less index b1b1352ba..c3fd839f5 100644 --- a/www/common/theme/src/lol.less +++ b/www/common/theme/src/lol.less @@ -18,8 +18,10 @@ @property-fg: #66d9ef; .cm-s-lol { - font-family: Comic Sans MS, cursive; - font-size: 24px; + &.CodeMirror { + font-family: Comic Sans MS, cursive; + font-size: 16px; + } &.CodeMirror, .CodeMirror-gutters { background-color: @gutter-bg !important;