hackpad font change

gistfile1.txt

diff --git a/etherpad/src/static/css/ace2/editor.less b/etherpad/src/static/css/ace2/editor.less
index 28524a9..31d4a9a 100644
--- a/etherpad/src/static/css/ace2/editor.less
+++ b/etherpad/src/static/css/ace2/editor.less
@@ -338,7 +338,7 @@ div.ace-line {
   padding-left: @new_left_padding;
   padding-right: @new_right_padding;
   border-left: @left_border solid white;
-  font-size: 17px;
+  font-size: 14px;
   line-height: 1.8em; /* 32px at 17px font */
   font-weight: 100;
 }
diff --git a/etherpad/src/static/css/ace2/inner.less b/etherpad/src/static/css/ace2/inner.less
index 3d4ab8e..84a1e31 100644
--- a/etherpad/src/static/css/ace2/inner.less
+++ b/etherpad/src/static/css/ace2/inner.less
@@ -146,7 +146,7 @@ ul.list-code1 {
   font-family: monospace;
   color: @color_code;
   font-size: 14px;
-  line-height: 1.8;
+  line-height: 1.4;
   white-space: pre-wrap;
   word-break: break-all;
 }