From 989b0a602d50ad5ed07a6790e271ad1bede091d4 Mon Sep 17 00:00:00 2001
From: Matt Pass <matt@mattpass.com>
Date: Wed, 15 Aug 2012 11:35:42 +0100
Subject: [PATCH] Remove font size from theme

Should be set in CodeMirror class if different font-sizes are wanted
---
 lib/editor.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/editor.css b/lib/editor.css
index 38eb5b8..2f3e31c 100644
--- a/lib/editor.css
+++ b/lib/editor.css
@@ -1,6 +1,6 @@
 /* ICE coder default theme: Based VERY loosely on Monokai */
 
-.cm-s-icecoder {font-size: 12px; color: #666; background: #1c1c19;}
+.cm-s-icecoder {color: #666; background: #1c1c19;}
 
 .cm-s-icecoder span.cm-keyword {color: #f8f8f8; font-weight:bold;}
 .cm-s-icecoder span.cm-atom {color: #ae81ff;}