From c913e8c26b621a558db0afe7b060fc044d16379e Mon Sep 17 00:00:00 2001
From: yann300 <yann.levreau@gmail.com>
Date: Wed, 6 Sep 2017 10:48:46 +0200
Subject: [PATCH] fix margin on terminal

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

diff --git a/src/app/panels/terminal.js b/src/app/panels/terminal.js
index 568be164d0..5f2b6b0dab 100644
--- a/src/app/panels/terminal.js
+++ b/src/app/panels/terminal.js
@@ -20,7 +20,6 @@ var css = csjs`
     font-family       : monospace;
     color             : black;
     background-color  : lightgrey;
-    margin-top        : auto;
     height            : 100%;
     min-height        : 1.7em;
     overflow          : hidden;