fix font size

8 years ago · 04069cc7f4
parent 1e51f89096
commit 04069cc7f4
2 changed files with 6 additions and 4 deletions
--- 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 {
--- 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;