From 87dcd881e39064dd7910f6fee060aaae936dd20d Mon Sep 17 00:00:00 2001
From: Tobias Ahlin <tobias.ahlin@github.com>
Date: Thu, 11 Sep 2014 10:18:23 +0200
Subject: [PATCH] Use font shorthand

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

diff --git a/lib/ace/ext/searchbox.css b/lib/ace/ext/searchbox.css
index 90fb80dd..ca58e74d 100644
--- a/lib/ace/ext/searchbox.css
+++ b/lib/ace/ext/searchbox.css
@@ -93,10 +93,8 @@
     color: #656565;
     cursor: pointer;
     float: right;
-    font-family: Arial;
-    font-size: 16px;
+    font: 16px/16px Arial;
     height: 14px;
-    line-height: 16px;
     margin: 5px 1px 9px 5px;
     padding: 0;
     text-align: center;