From 6a5d86fea98e34b5757f98922b6fa3d9726b29aa Mon Sep 17 00:00:00 2001
From: Liang Ding <dl88250@gmail.com>
Date: Fri, 14 Nov 2014 13:55:42 +0800
Subject: [PATCH] adjust line height

---
 conf/wide.json              | 2 +-
 static/user/admin/style.css | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/conf/wide.json b/conf/wide.json
index 0438a39..886f0da 100644
--- a/conf/wide.json
+++ b/conf/wide.json
@@ -24,7 +24,7 @@
             "Editor": {
                 "FontFamily": "Consolas, 'Courier New', monospace",
                 "FontSize": "13px",
-                "LineHeight": "19px"
+                "LineHeight": "17px"
             },
             "LatestSessionContent": {
                 "FileTree": [],
diff --git a/static/user/admin/style.css b/static/user/admin/style.css
index 01db86f..8d762ad 100644
--- a/static/user/admin/style.css
+++ b/static/user/admin/style.css
@@ -10,5 +10,5 @@ button {
 .CodeMirror-hints {
     font-family: Consolas, 'Courier New', monospace;
     font-size: 13px;
-    line-height: 19px;
+    line-height: 17px;
 }
\ No newline at end of file