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;