From 7f0bdfd45eb91aa69b6651654227bd2692a5d451 Mon Sep 17 00:00:00 2001
From: Akos Kitta <kittaakos@typefox.io>
Date: Sat, 1 Aug 2020 18:19:39 +0200
Subject: [PATCH] check if we need output adjustments.

Signed-off-by: Akos Kitta <kittaakos@typefox.io>
---
 arduino-ide-extension/src/browser/style/main.css | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/arduino-ide-extension/src/browser/style/main.css b/arduino-ide-extension/src/browser/style/main.css
index 14d5f040..05c4842f 100644
--- a/arduino-ide-extension/src/browser/style/main.css
+++ b/arduino-ide-extension/src/browser/style/main.css
@@ -132,6 +132,11 @@
     box-sizing: border-box;
 }
 
+/* To left shift the content in the Output view */
+/* .theia-output {
+    margin-left: -20px;
+} */
+
 .theia-output .monaco-editor .margin {
     border-right: none;
 }