From 6a31cc8cd00721befaede31098a99d25f6b1535f Mon Sep 17 00:00:00 2001
From: TornjV <tornjanski.veljko@gmail.com>
Date: Thu, 26 May 2016 07:00:14 +0200
Subject: [PATCH] Revert font change

---
 js/script.js | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/js/script.js b/js/script.js
index 01a4e0b..3193b27 100644
--- a/js/script.js
+++ b/js/script.js
@@ -25,9 +25,7 @@ var initEditor = function(id) {
     editor.setOptions({
         enableBasicAutocompletion: true,
         enableSnippets: true,
-        enableLiveAutocompletion: true,
-        fontFamily: "Source Code Pro",
-        fontSize: "10pt"
+        enableLiveAutocompletion: true
     });
     editor.setTheme("ace/theme/tomorrow_night_eighties");
     editor.session.setMode("ace/mode/javascript");
-- 
GitLab