From fd433dd26c7d4aa1a4cfc6a3aa83c1114ec7cbf9 Mon Sep 17 00:00:00 2001
From: yann300 <yann.levreau@gmail.com>
Date: Wed, 6 Sep 2017 11:27:22 +0200
Subject: [PATCH] change terminal font / background color

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

diff --git a/src/app/panels/terminal.js b/src/app/panels/terminal.js
index 5f2b6b0dab..f56ba045c0 100644
--- a/src/app/panels/terminal.js
+++ b/src/app/panels/terminal.js
@@ -18,8 +18,8 @@ var css = csjs`
     flex-direction    : column;
     font-size         : 12px;
     font-family       : monospace;
-    color             : black;
-    background-color  : lightgrey;
+    color             : #777;
+    background-color  : #ededed;
     height            : 100%;
     min-height        : 1.7em;
     overflow          : hidden;