From 47fb5105c50379429f8d0b1c46e7ab7fda813567 Mon Sep 17 00:00:00 2001 From: Akos Kitta Date: Mon, 20 Jul 2020 16:44:38 +0200 Subject: [PATCH] removed unused styles. for the output we use a monaco editor. Signed-off-by: Akos Kitta --- arduino-ide-extension/src/browser/style/main.css | 9 --------- 1 file changed, 9 deletions(-) diff --git a/arduino-ide-extension/src/browser/style/main.css b/arduino-ide-extension/src/browser/style/main.css index d47e4728..65f44e02 100644 --- a/arduino-ide-extension/src/browser/style/main.css +++ b/arduino-ide-extension/src/browser/style/main.css @@ -2,15 +2,6 @@ background: var(--theia-editorGroupHeader-tabsBackground); } -.theia-output { - background: var(--theia-terminal-background); - color: var(--theia-terminal-foreground); -} - -#outputView { - cursor: text; -} - .p-TabBar-toolbar .item.arduino-tool-item { margin-left: 3px; }