From 3510e93b4bec5246e435fb5feccaecbcefd98931 Mon Sep 17 00:00:00 2001
From: yann300 <yann.levreau@gmail.com>
Date: Tue, 19 Sep 2017 17:04:24 +0200
Subject: [PATCH] terminal prompt css

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

diff --git a/src/app/panels/terminal.js b/src/app/panels/terminal.js
index d97495d592..578bfffd68 100644
--- a/src/app/panels/terminal.js
+++ b/src/app/panels/terminal.js
@@ -81,6 +81,8 @@ var css = csjs`
   .prompt             {
     margin-right      : 0.5em;
     font-family       : monospace;
+    font-weight       : bold;
+    font-size         : large;
   }
   .input              {
     word-break        : break-all;