From 083337de1ce79336ede081a9a2d9571772089028 Mon Sep 17 00:00:00 2001
From: Francesco Spissu <94986937+francescospissu@users.noreply.github.com>
Date: Tue, 21 Jun 2022 18:04:28 +0200
Subject: [PATCH] IDE updater dialog colors fix (#1092)

---
 .../src/browser/style/ide-updater-dialog.css                 | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/arduino-ide-extension/src/browser/style/ide-updater-dialog.css b/arduino-ide-extension/src/browser/style/ide-updater-dialog.css
index 0060e323..d655cdef 100644
--- a/arduino-ide-extension/src/browser/style/ide-updater-dialog.css
+++ b/arduino-ide-extension/src/browser/style/ide-updater-dialog.css
@@ -27,8 +27,9 @@
 }
 
 .ide-updater-dialog .changelog-container {
-  background: white;
-  border: 1px solid #dae3e3;
+  color: var(--theia-dropdown-foreground);
+  background-color: var(--theia-dropdown-background);
+  border: 1px solid var(--theia-tree-indentGuidesStroke);
   border-radius: 2px;
   font-size: 12px;
   height: 180px;