From 42d2285fa89b16a9a2ef0bd63956e15badb5e889 Mon Sep 17 00:00:00 2001
From: Akos Kitta <kittaakos@typefox.io>
Date: Tue, 21 Jul 2020 19:39:49 +0200
Subject: [PATCH] style outline.

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

diff --git a/arduino-ide-extension/src/browser/style/main.css b/arduino-ide-extension/src/browser/style/main.css
index 0cde7e13..14d5f040 100644
--- a/arduino-ide-extension/src/browser/style/main.css
+++ b/arduino-ide-extension/src/browser/style/main.css
@@ -132,6 +132,10 @@
     box-sizing: border-box;
 }
 
+.theia-output .monaco-editor .margin {
+    border-right: none;
+}
+
 .noWrapInfo {
     white-space: nowrap;
     overflow: hidden;