From 5151aae07e029c5c56207f1a24000f98e43dfa74 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Stefanie=20J=C3=A4ger?= <stefijaeger@gmail.com>
Date: Fri, 9 Nov 2018 17:34:57 +0100
Subject: [PATCH] Update comment

Comment in editor.js referenced file called "general.styl", changed that
to "general.css".
---
 src/theme/playpen_editor/editor.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/theme/playpen_editor/editor.js b/src/theme/playpen_editor/editor.js
index 7c32f851..f1072d4e 100644
--- a/src/theme/playpen_editor/editor.js
+++ b/src/theme/playpen_editor/editor.js
@@ -13,7 +13,7 @@ window.editors = [];
             showLineNumbers: false,
             showGutter: false,
             maxLines: Infinity,
-            fontSize: "0.875em" // please adjust the font size of the code in general.styl
+            fontSize: "0.875em" // please adjust the font size of the code in general.css
         });
 
         editor.$blockScrolling = Infinity;