From 2cdd9fef70fa0bf398e9f78711ab52f0e79a6363 Mon Sep 17 00:00:00 2001
From: Tobias Ahlin <tobias.ahlin@github.com>
Date: Thu, 11 Sep 2014 00:47:41 +0200
Subject: [PATCH] Use font shorthand for ace_editor

---
 lib/ace/css/editor.css | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/lib/ace/css/editor.css b/lib/ace/css/editor.css
index 35cdf57f..ff83878c 100644
--- a/lib/ace/css/editor.css
+++ b/lib/ace/css/editor.css
@@ -1,9 +1,7 @@
 .ace_editor {
     position: relative;
     overflow: hidden;
-    font-family: 'Monaco', 'Menlo', 'Ubuntu Mono', 'Consolas', 'source-code-pro', monospace;
-    font-size: 12px;
-    line-height: normal;
+    font: 12px/normal 'Monaco', 'Menlo', 'Ubuntu Mono', 'Consolas', 'source-code-pro', monospace;
     direction: ltr;
 }