From de2f9914fdd2f87f620f3dbb006f3d211ccefcdf Mon Sep 17 00:00:00 2001
From: Koen Lageveen <k.lageveen@gmail.com>
Date: Wed, 19 Nov 2014 08:55:26 +0100
Subject: [PATCH] no box shadow on the editor

---
 index.html | 15 +++++++++------
 1 file changed, 9 insertions(+), 6 deletions(-)

diff --git a/index.html b/index.html
index 97e92ed..5f6029e 100755
--- a/index.html
+++ b/index.html
@@ -130,13 +130,16 @@
       }
       pre,
       textarea,
-      .CodeMirror {font-family: "gnu-freefont";}
       .CodeMirror {
-              border: none;
-              font-size:16px;
-              border-top-left-radius: 3px;
-              border-top-right-radius: 3px;
-              background: transparent;
+        font-family: "gnu-freefont";
+      }
+      .CodeMirror {
+        border: none;
+        font-size:16px;
+        border-top-left-radius: 3px;
+        border-top-right-radius: 3px;
+        background: transparent;
+        box-shadow: none !important;
       }
       .CodeMirror-gutters {
         background: transparent;