From 04069cc7f42a9661af99304cb147b0c1bd3951ea Mon Sep 17 00:00:00 2001
From: ansuz <ansuz@transitiontech.ca>
Date: Fri, 31 Mar 2017 13:28:30 +0200
Subject: [PATCH] fix font size

---
 www/common/theme/lol.css      | 4 ++--
 www/common/theme/src/lol.less | 6 ++++--
 2 files changed, 6 insertions(+), 4 deletions(-)

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;