From e4de5d2edaee06def4158b49831653272cf7d3da Mon Sep 17 00:00:00 2001
From: cahrens <christina@edx.org>
Date: Tue, 1 Apr 2014 17:05:21 -0400
Subject: [PATCH] Match our default code editor font size of 13.

---
 .../js/vendor/tinymce/js/tinymce/plugins/codemirror/source.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/common/static/js/vendor/tinymce/js/tinymce/plugins/codemirror/source.html b/common/static/js/vendor/tinymce/js/tinymce/plugins/codemirror/source.html
index 8d827d8412..11e11be5e0 100644
--- a/common/static/js/vendor/tinymce/js/tinymce/plugins/codemirror/source.html
+++ b/common/static/js/vendor/tinymce/js/tinymce/plugins/codemirror/source.html
@@ -232,7 +232,7 @@ function submit() {
 
     .CodeMirror {
         height: 100%;
-        font-size: 12px;
+        font-size: 13px;
         line-height: 18px;
     }