From 842eefa0050d9f6c99c67822a890eef79b0367a3 Mon Sep 17 00:00:00 2001
From: Koen Lageveen <koen.lageveen@gmail.com>
Date: Wed, 2 Mar 2016 21:37:58 +0100
Subject: [PATCH] trying to get the fonts right on ios

---
 index.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/index.html b/index.html
index a691b74..c0c4e8b 100755
--- a/index.html
+++ b/index.html
@@ -144,7 +144,7 @@
   }
   .CodeMirror {
     border: none;
-    font-size:16px;
+    font-size: 100%;
     background: transparent;
     box-shadow: none !important;
     position: fixed;