From 7ae2175d2d71df6044e2c609f90948df3fdf73cb Mon Sep 17 00:00:00 2001
From: Francisco Demartino <demartino.francisco@gmail.com>
Date: Fri, 25 Sep 2020 11:19:00 -0300
Subject: [PATCH] increase margin-left for "shell input"

Shells usually have a space character on their prompt after the "$" or "#"
---
 src/style/main.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/style/main.css b/src/style/main.css
index 1d0f18b2..48372314 100644
--- a/src/style/main.css
+++ b/src/style/main.css
@@ -553,7 +553,7 @@ p.commandLine span.prompt {
 
 #commandLineBar p.command {
   margin: 0;
-  margin-left: 12px;
+  margin-left: 20px;
 }
 
 #commandLineBar #commandTextField {