From f1048463dab9ea0e7bb4d666094624b8b96bcca7 Mon Sep 17 00:00:00 2001
From: yann300 <yann.levreau@gmail.com>
Date: Mon, 11 Dec 2017 21:31:48 +0100
Subject: [PATCH] fix terminal input

---
 src/app/panels/terminal.js | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/src/app/panels/terminal.js b/src/app/panels/terminal.js
index b8708b7572..e1a5863ea8 100644
--- a/src/app/panels/terminal.js
+++ b/src/app/panels/terminal.js
@@ -67,9 +67,6 @@ var css = csjs`
     display           : flex;
     flex-direction    : column;
     height            : 100%;
-    padding-left      : 5px;
-    padding-right     : 5px;
-    padding-bottom    : 3px;
     overflow-y        : auto;
     font-family       : monospace;
   }
@@ -129,7 +126,6 @@ var css = csjs`
     word-break        : break-all;
     outline           : none;
     font-family       : monospace;
-    font-family: FontAwesome;
   }
   .search {
     display: flex;